Model checking for ACL compliance verification

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2922, Issue , 2004, Pages 75-90

  Huget, Marc Philippe ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; INFORMATION DISSEMINATION; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; COMPLIANCE CONTROL; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; FORMAL VERIFICATION; PROBLEM ORIENTED LANGUAGES; RESEARCH LABORATORIES;

AGENT COMMUNICATION LANGUAGES (ACL); COMPLIANCE VERIFICATION; FINITE DOMAINS; LOGIC SPECIFICATIONS; AGENT COMMUNICATION LANGUAGES; AGENT TECHNOLOGY; ASSERTION LANGUAGE; CONVENTIONAL MODELING; FINITE-STATE CONCURRENT SYSTEM; MODEL-CHECKING TECHNIQUES; TEMPORAL LOGIC SPECIFICATIONS;

FORMAL LANGUAGES; MODEL CHECKING;

EID: 23144441329     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24608-4_5     Document Type: Conference Paper

References (19)

1. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.
2. P. R. Cohen and C. R. Perrault. Elements of a plan based theory of speech acts. Cognitive Science, 3:177-212, 1979.
3. T. Finin and R. Pritzson. KQML -a language and protocol for knowledge and information exchange. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, pages 126-136, Lake Quinalt, WA, July 1994.
4. FIPA. Specification part 2 - Agent communication language, 1999. The text refers to the specification dated 16 April 1999.
5. C. Guilfoyle, J. Jeffcoate, and H. Stark. Agents on the Web: Catalyst for ECommerce. Ovum Ltd, London, April 1997.
6. 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.
7. G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall International: Hemel Hempstead, England, 1991.
8. G. Holzmann. The Spin model checker. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
9. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley: Reading, MA, 2003.
10. 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.
11. 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.
12. 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.
13. 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.
14. A. S. Rao and M. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3)-.293-344, 1998.
15. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(l):51-92, 1993.
16. M. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, pages 40-49, December 1998.
17. M. Wooldridge. Verifiable semantics for agent communication languages. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS98), pages 349-365, Paris, France, 1998.
18. M. Wooldridge. Reasoning about Rational Agents. The MIT Press: Cambridge, MA, 2000.
19. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multiagent systems with MABLE. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-SOOS), pages 952-959, Bologna, Italy, 2002.