Using the π-calculus to model multiagent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1871, Issue , 2001, Pages 164-179

  Esterline, Albert C ^a   Rorie, Toinette ^a  

^a North Carolina Agricultural and Technical State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MULTI AGENT SYSTEMS;

AGENT ABSTRACTIONS; COMMUNICATION ACTIONS; COMMUNICATION STRUCTURES; DEVELOPMENT ACTIVITY; FORMAL FRAMEWORK; MODEL MULTI-AGENT SYSTEMS; PROCESS ALGEBRAS; PROCESS OPERATORS;

CALCULATIONS;

EID: 84955586508     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_14     Document Type: Conference Paper

References (21)

1. Bratman, M., Israel, D.I., and Pollack, M.E., Plans and Resource-Bounded Practical Reasoning, Computational Intelligence, vol. 4 (1988), pp. 349-355.
2. Brown, B., High-Level Petri Nets for Modeling Multi-Agent Systems, MS project, Dept. of Comp. Sci., North Carolina A&T State Univ., Greensboro, NC, 1998.
3. Bruns, G., Distributed Systems Analysis with CCS, Englewood Cliffs, NJ: Prentice- Hall, 1997.
4. Burge, J. and Esterline, A.C., Using Modal Logics to Model Societies of Agents, Proc. IC-AI’2000, Las Vegas, NV, 2000.
5. Cleaveland, R., Parrow, J., and Steffan, B., The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems, ACM TOPLAS, vol. 1, no. 1 (Jan. 1993), pp. 36-76.
6. Fujinami, T., A Process Algebraic Approach to Computational Linguistics, Center for Cognitive Science, University of Edinburgh, 1996.
7. Huhns, M.N. and Stephens, L.M., Multiagent Systems and Societies of Agents, in G. Weiss (ed.), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Cambridge, MA: The MIT Press, 1999, pp. 79-120.
8. Jennings, N.R., Specification and Implementation of a Belief-Desire-Joint-Intention Architecture for Collaborative Probem Solving Int. Journal of Cognitive Information Systems, vol. 2, no. 3 (1993), pp. 289-318.
9. Liu, Y. and Esterline A.C., Prima Facie Obligations and a Deontic Transaction Model For Multiagent Systems, Proc. IEEE SoutheastCon 2000, Nashville, TN, April 2000.
10. LOGOS Development Team, Automation Technology Section, LOGOS Requirements & Design Document, Greenbelt, MD: NASA/GSFC, 1997.
11. Milner, R., Communication and Concurrency, New York: Prentice-Hall, 1989.
12. Milner, R. The Polyadic π-Calculus: a Tutorial, in F. L. Bauer, W. Braueer, and H. Schwichtenberg (eds.), Logic and Algebra for Specification. Berlin: Springer-Verlag, 1993, pp. 203-246.
13. Milner, R., Communicating and Mobile Systems: The π-calculus, Cambridge: Cambridge University Press, 1999.
14. Milner, R., Parrow, J., and Walker, D. A Calculus of Mobile Processes, Parts I and II. Journal of Information and Computation, Vol. 100, 1992, pp. 1-77.
15. Rash, J., LOGOS FIRE Agent Concept & Design: Fault Isolation Resolution Expert Agent, Greenbelt, MD: NASA/GSFC, 1997.
16. Singh, M. P., A Semantics for Speech Acts, in M. N. Huhns and M. P. Singh (eds.), Readings in Software Agents. San Francisco: Morgan Kaufmann, 1998, pp. 458-470.
17. Singh, M.P., Rao, A.S., and Georgeff, M.P., Formal Methods in DAI: Logic-Based Representation and Reasoning, in G. Weiss (ed.), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Cambridge, MA: The MIT Press, 1999, pp. 331-376.
18. Tretyakova, Y. and Esterline, A.C, The Logic of Action in the Deontic Transaction Model, Proc. IEEE SoutheastCon 2000, Nashville, TN, April 2000.
19. Victor, B. and Moller, F., The Mobility Workbench—A Tool for the π-Calculus, Tech. Rep. DoCS 94/45, Dept. of Comp. Sci., Uppsala Univ., Sweden, 1994.
20. Wooldridge, M., Intelligent Agents, in G. Weiss (ed.), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Cambridge, MA: The MIT Press, 1999, pp. 27-77.
21. Wu, X., Cox, B.D., and Esterline, A.C., Representing and Interpreting Multiagent Plans with Statecharts, Proc. WAC 2000, Maui, Hawaii, 2000.