Modelling Multiagent Systems

Authors: Gilbert Ndjatou

Abstract:

We propose a formal framework for the specification of the behavior of a system of agents, as well as those of the constituting agents. This framework allows us to model each agent-s effectoric capability including its interactions with the other agents. We also provide an algorithm based on Milner-s "observation equivalence" to derive an agent-s perception of its task domain situations from its effectoric capability, and use "system computations" to model the coordinated efforts of the agents in the system . Formal definitions of the concept of "behavior equivalence" of two agents and that of system computations equivalence for an agent are also provided.

Keywords: Multiagent system, object system, observation equivalence, reactive systems.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1059645

References:

[1] K.M. Chandy and J. Misra. How processes learn. Distributed Computing 1(1), pp. 40-52. Springer-Verlag, 1986.
[2] M.R. Genesereth and N.J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA, 1987.
[3] M. Hennesy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM 32(1), pp. 137-161. 1985.
[4] L. Lamport. A simple approach to specifying concurrent systems. Communications of the ACM 32(1), pp. 32-45. 1989.
[5] B. van Linder,W. van der Hoek, and J.J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informatica, 34, (1,2), pp. 53- 101, 1998.
[6] N. Lynch and M. Tuttle. An introduction to input/output automata. CWI Quaterly 2(3), pp. 219-246. 1989.
[7] G. Ndjatou. Minimizing agent specifications using a logic of knowledge and actions. Journal of Logic and Computation , vol. 11, No. 2, pp. 337-354, Oxford University Press, 2001.
[8] G. Ndjatou. Modelling Objects, Knowledge and Learning in Distributed Object-Based Systems. Ph.D thesis, Dept. of Computer Science, CUNY Graduate School, New York, NY, Feb. 93. Also appeared as Technical Report N0 TR-93-04-02, CUNY Graduate School, New York, NY, April 93.
[9] G. Ndjatou. Modelling objects and distributed object-based systems. In proceedings of the 10th Israeli Symposium on AI and Computer Vision , pp. 39-49, Ramat Gan, Israel, December 1993.
[10] N. Reingold, D.W. Wang and L.D. Zuck. Games I/O automata play. Concur -92, Lecture Notes in Computer Science, vol. 630, W.R Cleaveland, ed. pp. 325-339. Springer-verlag, 1992.
[11] G. Weiss, ed., Multiagent Systems, A Modern Approach to Distributed Artificial Intelligence. The MIT Press, 1999.