多智能体系统研究室

About关于研究室

从个体行为出发，探寻秩序的涌现。

多智能体系统研究室研究由多个相互影响并进行决策的主体（智能体）构成的系统。
生物的群体、人类社会、自治分布式计算机系统等都是这类系统的例子。
该研究室致力于阐明秩序与均衡如何从单个智能体的行为中产生，并推进其工程应用。
其特色是将数理逻辑、博弈论、分布式算法、分布式优化等相结合，开展跨领域研究。

Research研究课题

由多个相互影响并进行决策的主体（智能体）构成的系统，称为多智能体系统。该研究室致力于阐明秩序与均衡如何从单个智能体的行为中产生，并研究其工程应用。

※示意图

基于形式化方法的系统验证↗

将用数学方法验证软件规格是否符合预期的形式化方法，应用于自治分布式的网络系统。同时也研究认知型Gossip协议对故障的容错能力。

※示意图

舆论形成与博弈分析↗

与法国INRIA的mOeX团队合作，目标是阐明知识与意见相互影响从而形成舆论的过程。同时也把棋盘游戏和纸牌游戏视为社会模型进行分析。

※示意图

分布式约束优化↗

研究多个智能体相互协作，寻找使整体最优的变量取值组合的问题。针对代表性算法ADOPT，给出了其终止性和最优性的反例，并提出了修正版本。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。