Game-Theorectic Foundation for Multi-Agent Systems

功利主义推理一直是多智能体系统中一个新兴的研究领域。该奖项支持的研究就是在这一领域，尽管它也将使用更经典的符号推理概念。这个项目将调查如何将非合作博弈论工具和方法有效地应用于模拟基于计算机的人工代理的交互。由于这样的代理必须被编程，所以研究必须提供代理如何推理解决方案的明确模型，这是传统博弈论从未解决过的任务。博弈论必须用表示法来补充，在这种表示法中，可以定义代理人的行动、参考和合理性，以及允许代理人计算决策问题的解决方案的机械程序。该项目旨在将代理视为简单的推理机器，可以从一组公理和推理规则中推导出解决方案。由于代理可能会重复交互，因此可能有机会从他们的环境中学习，我们需要为他们提供信念修正工具，并将这些工具嵌入到可行的计算过程中。这一研究结果将为研究如何在多智能体系统中实现合作和协调提供基础。

Utilitarian reasoning has been an area of emerging interest in multi-agent systems. The research supported by this award is in this area, though it will make use of more classical concepts of symbolic reasoning as well. This project will investigate how non-cooperative game-theoretic tools and methods can be usefully applied to model the interactions of artificial computer-based agents. Since such agents must be programmed, the research must provide explicit models of how agents reason to a solution, a task which has never been addressed in traditional game theory. Game theory must be supplemented with representations in which actions, references, and rationality for agents can be defined, as well as with mechanical procedures that allow agents to compute solutions to their decision problems. This project aims to view agents as simple inferential machines that can derive a solution from a set of axioms and inference rules. Since agents may repeatedly interact, and thus may have a chance to learn from their environments, we need to provide them with belief revision tools and embed such tools into viable computational procedures. The results of this research will form basis for studying how cooperation and coordination can be attained in multi-agent systems.