{"title":"Modelling Multiagent Systems","authors":"Gilbert Ndjatou","volume":18,"journal":"International Journal of Computer and Information Engineering","pagesStart":2286,"pagesEnd":2291,"ISSN":"1307-6892","URL":"https:\/\/publications.waset.org\/pdf\/4681","abstract":"We propose a formal framework for the specification of\r\nthe behavior of a system of agents, as well as those of the constituting\r\nagents. This framework allows us to model each agent-s effectoric\r\ncapability including its interactions with the other agents. We also\r\nprovide an algorithm based on Milner-s \"observation equivalence\" to\r\nderive an agent-s perception of its task domain situations from its\r\neffectoric capability, and use \"system computations\" to model the\r\ncoordinated efforts of the agents in the system . Formal definitions\r\nof the concept of \"behavior equivalence\" of two agents and that of\r\nsystem computations equivalence for an agent are also provided.","references":"[1] K.M. Chandy and J. Misra. How processes learn. Distributed Computing\r\n1(1), pp. 40-52. Springer-Verlag, 1986.\r\n[2] M.R. Genesereth and N.J. Nilsson. Logical Foundations of Artificial\r\nIntelligence. Morgan Kaufmann, Palo Alto, CA, 1987.\r\n[3] M. Hennesy and R. Milner. Algebraic laws for nondeterminism and\r\nconcurrency. Journal of the ACM 32(1), pp. 137-161. 1985.\r\n[4] L. Lamport. A simple approach to specifying concurrent systems.\r\nCommunications of the ACM 32(1), pp. 32-45. 1989.\r\n[5] B. van Linder,W. van der Hoek, and J.J. Ch. Meyer. Formalising abilities\r\nand opportunities of agents. Fundamenta Informatica, 34, (1,2), pp. 53-\r\n101, 1998.\r\n[6] N. Lynch and M. Tuttle. An introduction to input\/output automata. CWI\r\nQuaterly 2(3), pp. 219-246. 1989.\r\n[7] G. Ndjatou. Minimizing agent specifications using a logic of knowledge\r\nand actions. Journal of Logic and Computation , vol. 11, No. 2, pp.\r\n337-354, Oxford University Press, 2001.\r\n[8] G. Ndjatou. Modelling Objects, Knowledge and Learning in Distributed\r\nObject-Based Systems. Ph.D thesis, Dept. of Computer Science, CUNY\r\nGraduate School, New York, NY, Feb. 93. Also appeared as Technical\r\nReport N0 TR-93-04-02, CUNY Graduate School, New York, NY, April\r\n93.\r\n[9] G. Ndjatou. Modelling objects and distributed object-based systems. In\r\nproceedings of the 10th Israeli Symposium on AI and Computer Vision ,\r\npp. 39-49, Ramat Gan, Israel, December 1993.\r\n[10] N. Reingold, D.W. Wang and L.D. Zuck. Games I\/O automata play. Concur\r\n-92, Lecture Notes in Computer Science, vol. 630, W.R Cleaveland,\r\ned. pp. 325-339. Springer-verlag, 1992.\r\n[11] G. Weiss, ed., Multiagent Systems, A Modern Approach to Distributed\r\nArtificial Intelligence. The MIT Press, 1999.","publisher":"World Academy of Science, Engineering and Technology","index":"Open Science Index 18, 2008"}