NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Formal Modeling of Multi-Agent Systems using the Pi-Calculus and Epistemic LogicMulti-agent systems have become important recently in computer science, especially in artificial intelligence (AI). We allow a broad sense of agent, but require at least that an agent has some measure of autonomy and interacts with other agents via some kind of agent communication language. We are concerned in this paper with formal modeling of multi-agent systems, with emphasis on communication. We propose for this purpose to use the pi-calculus, an extension of the process algebra CCS. Although the literature on the pi-calculus refers to agents, the term is used there in the sense of a process in general. It is our contention, however, that viewing agents in the AI sense as agents in the pi-calculus sense affords significant formal insight. One formalism that has been applied to agents in the AI sense is epistemic logic, the logic of knowledge. The success of epistemic logic in computer science in general has come in large part from its ability to handle concepts of knowledge that apply to groups. We maintain that the pi-calculus affords a natural yet rigorous means by which groups that are significant to epistemic logic may be identified, encapsulated, structured into hierarchies, and restructured in a principled way. This paper is organized as follows: Section 2 introduces the pi-calculus; Section 3 takes a scenario from the classical paper on agent-oriented programming [Sh93] and translates it into a very simple subset of the n-calculus; Section 4 then shows how more sophisticated features of the pi-calculus may bc brought into play; Section 5 discusses how the pi-calculus may be used to define groups for epistemic logic; and Section 6 is the conclusion.
Document ID
20000032317
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Rorie, Toinette
(North Carolina Agricultural and Technical State Univ. Greensboro, NC United States)
Esterline, Albert
(North Carolina Agricultural and Technical State Univ. Greensboro, NC United States)
Date Acquired
August 19, 2013
Publication Date
February 22, 1998
Publication Information
Publication: NASA University Research Centers Technical Advances in Aeronautics, Space Sciences and Technology, Earth Systems Sciences, Global Hydrology, and Education
Volume: 2 and 3
Subject Category
Numerical Analysis
Report/Patent Number
98URC155
Funding Number(s)
CONTRACT_GRANT: NAG5-4102
CONTRACT_GRANT: NAG2-1150
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available