A Formal Specification Language for MAS Engineering
作者： Hong Zhu
DOI:
关键词:
摘要: One of the most appealing features multi-agent technology is its natural way to modularise a complex system in terms multiple, interacting, autonomous components that have particular objectives achieve. This paper presents formal specification language SLAB supports modular systems. The syntax and semantics are defined. style systems illustrated by an example.
researchgate.net 参考文章(20)
B. Moulin, L. Cloutier, Collaborative work based on multiagent architectures: a methodological perspective soft computing. pp. 261- 296 ,(1994)
Stefan Conrad, Gunter Saake, Can Türker, Towards an Agent-Oriented Framework for Specification of Information Systems Formal Models of Agents. pp. 57- 73 ,(1999) , 10.1007/3-540-46581-2_5
Sascha Ossowski, Ana García-Serrano, Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents intelligent agents. pp. 133- 148 ,(1998) , 10.1007/3-540-49057-4_9
Michael Fisher, If Z Is the Answer, What Could the Question Possibly Be? intelligent agents. pp. 65- 66 ,(1996) , 10.1007/BFB0013576
Carlos A. Iglesias, Mercedes Garijo, José C. González, A Survey of Agent-Oriented Methodologies intelligent agents. pp. 317- 330 ,(1998) , 10.1007/3-540-49057-4_21
Anand S. Rao, Michael P. Georgeff, Modeling rational agents with a BDI-architecture principles of knowledge representation and reasoning. pp. 317- 328 ,(1997)
Daniel Marcu, Raymond Reiter, Richard B. Scherl, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Foundations of a logical approach to agent programming intelligent agents. pp. 331- 346 ,(1995) , 10.1007/3540608052_76
J.J Ch Meyer, P.Y Schobbens, Formal Models of Agents (ESPRIT Project Modelage Final Workshop, Selected papers) Springer. ,(1999)
Munindar P. Singh, Semantical considerations on some primitives for agent specification intelligent agents. pp. 49- 64 ,(1995) , 10.1007/3540608052_58
Nicholas R. Jennings, Michael J. Wooldridge, Agent technology: foundations, applications, and markets Springer Verlag. ,(1998)