Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On Formal Modeling of Agent Computations Tadashi Araragi 1 , Paul Attie 2 3 , Idit Keidar 2 , Kiyoshi Kogure 1 ,
 

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, manog@cslab.kecl.ntt.co.jp
2 MIT Laboratory for Computer Science, 545 Technology Square,
Cambridge, MA, 02139, USA.
fidish, victor l, lynchg@theory.lcs.mit.edu
3 College of Computer Science, Northeastern University, Cullinane Hall,
360 Huntington Avenue, Boston, Massachusetts 02115.
attie@ccs.neu.edu
1 Introduction
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

  

Source: Attie, Paul - Department of Computer Science, American University of Beirut

 

Collections: Computer Technologies and Information Sciences