Summary: On Formal Modeling of Agent Computations
Tadashi Araragi 1 , Paul Attie 2 3 , Idit Keidar 2 , Kiyoshi Kogure 1 ,
Victor Luchangco 2 , Nancy Lynch 2 , and Ken Mano 1
1 NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun,
Kyoto 619-0237 Japan.
fararagi, kogure, firstname.lastname@example.org
2 MIT Laboratory for Computer Science, 545 Technology Square,
Cambridge, MA, 02139, USA.
fidish, victor l, email@example.com
3 College of Computer Science, Northeastern University, Cullinane Hall,
360 Huntington Avenue, Boston, Massachusetts 02115.
This paper describes a comparative study of three formal methods for modeling
and validating agent systems. The study is part of a joint project by researchers
in MIT's Theory of Distributed Systems research group and NTT's Cooperative
Computing research group. Our goal is to establish a mathematical and linguistic
foundation for describing and reasoning about agent-style systems.
Agents are autonomous software entities that cooperate with other agents
in carrying out delegated tasks. A key feature of agent systems is that they