Model checking for multiagent systems: The mable language and its applications

International Journal on Artificial Intelligence Tools

Volumn 15, Issue 2, 2006, Pages 195-225

  Wooldridge, Michael ^a   Huget, Marc Philippe ^b   Fisher, Michael ^a   Parsons, Simon ^c  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b Université de Savoie   (France)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Model checking; agent communication; Multi agent systems; Semantics; Verification

Indexed keywords

EID: 33746185759     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213006002631     Document Type: Article

References (45)

1. R. Alur, L. de Alfaro, T. A. Henzinger, S. C. Krishnan, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Taşiran. MOCHA user manual. University of Berkeley Report, 2000.
2. M. Benerecetti, F. Giunchiglia, and L. Serafini. A model checking algorithm for multiagent systems. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V (LNAI Volume 1555). Springer-Verlag: Berlin, Germany, 1999.
3. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking agents-peak. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Columbia University, NY, USA, July 2003.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.
5. W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag: Berlin, Germany, 1981.
6. P. R. Cohen and C. R. Perrault. Elements of a plan based theory of speech acts. Cognitive Science, 3:177-212, 1979.
7. F. Dignum and M. Greaves, editors. Issues in Agent Communication (LNAI Volume 1916). Springer-Verlag: Berlin, Germany, 2000.
8. M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In M. P. Singh, A. Rao, and M. J. Wooldridge, editors, Intelligent Agents IV (LNAI Volume 1865), pages 155-176. Springer-Verlag: Berlin, Germany, 1997.
9. FIPA. Specification part 2 - Agent communication language, 1997. The text refers to the specification dated 23 October 1997.
10. FIPA. Specification part 2 - Agent communication language, 1999. The text refers to the specification dated 16 April 1999.
11. FIPA. The foundation for intelligent physical agents, 2001. See http://www.fipa.org/.
12. M. Fisher. A survey of Concurrent METATEM - the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic -Proceedings of the First International Conference (LNAI Volume 827), pages 480-505. Springer-Verlag: Berlin, Germany, July 1994.
13. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677-682, Seattle, WA, 1987.
14. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379, 1992.
15. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357-402, 1999.
16. G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall International: Hemel Hempstead, England, 1991.
17. G. Holzmann. The Spin model checker. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
18. K. Konolige. A Deduction Model of Belief. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1986.
19. Y. Labrou and T. Finin. Semantics and conversations for an agent communication language. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 584-591, Nagoya, Japan, 1997.
20. Y. Lésperance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 331-346. Springer-Verlag: Berlin, Germany, 1996.
21. H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1996.
22. J. Mayfield, Y. Labrou, and T. Finin. Evaluating KQML as an agent communication language. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 347-360. Springer-Verlag: Berlin, Germany, 1996.
23. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, 1969.
24. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers: Dordrecht, The Netherlands, 1993.
25. J.-J. Ch. Meyer and R. J. Wieringa, editors. Deontic Logic in Computer Science - Normative System Specification. John Wiley &: Sons, 1993.
26. J. Pitt and E. H. Mamdani. A protocol-based semantics for an agent communication language. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, August 1999.
27. Agostino Poggi and Giovanni Rimassa. Adding extensible synchronization capabilities to the agent model of a FIPA-compliant agent platform. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering - Proceedings of the First International Workshop AOSE-2000 (LNCS Volume 1957), pages 307-322. Springer-Verlag: Berlin, Germany, 2001.
28. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Volume 1038), pages 42-55. Springer-Verlag: Berlin, Germany, 1996.
29. A. S. Rao and M. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-344, 1998.
30. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439-449, 1992.
31. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-99), pages 318-324, Chambéry, France, 1993.
32. R. Reiter. Knowledge in Action. The MIT Press: Cambridge, MA, 2001.
33. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51-92, 1993.
34. M. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, pages 40-49, December 1998.
35. R. G. Smith. The contract net protocol. IEEE Transactions on Computers, C-29(12), 1980.
36. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.
37. V. S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozean, and R. Ross. Heterogeneous Agent Systems. The MIT Press: Cambridge, MA, 2000.
38. S. R. Thomas. The PLACA agent programming language. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 355-369. Springer-Verlag: Berlin, Germany, January 1995.
39. S. R. Thomas, Y. Shoham, A. Schwartz, and S. Kraus. Preliminary thoughts on an agent description language. International Journal of Intelligent Systems, 6:497-508, 1991.
40. M. Wooldridge. Agent-based software engineering. IEE Proceedings on Software Engineering, 144(1):26-37, February 1997.
41. M. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 349-365, Paris, France, 1998.
42. M. Wooldridge. Verifying that agents implement a communication language. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pages 52-57, Orlando, FL, July 1999.
43. M. Wooldridge. Computationally grounded theories of agency. In Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), pages 13-20, Boston, MA, 2000.
44. M. Wooldridge. Reasoning about Rational Agents. The MIT Press: Cambridge, MA, 2000.
45. M. Wooldridge. An Introduction to Multiagent Systems. John Wiley & Sons, 2002.