Model Checking AgentSpeak

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 409-416

  Bordini, Rafael H ^a   Fisher, Michael ^a   Pardavila, Carmen ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

AgentSpeak; BDI Logic Programming; Model Checking; Spin

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DECISION THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; MULTI AGENT SYSTEMS; SCHEDULING; SEMANTICS; SUPERVISORY AND EXECUTIVE PROGRAMS;

AGENTSPEAK; BDI LOGIC PROGRAMMING; MODEL CHECKING; SPIN;

COMPUTER SCIENCE;

EID: 1242265512     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860575.860641     Document Type: Conference Paper

References (18)

1. M. Benerecetti and A. Cimatti. Symbolic model checking for multi-agent systems. In Proc. ECAI Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), Lyon, France, pages 1-8, 2002.
2. R. H. Bordini, A. L. C. Bazzan, R. O. Jannone, D. M. Basso, R. M. Vicari, and V. R. Lesser. AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In C. Castelfranchi and W. L. Johnson (eds), Proc. First International Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, pages 1294-1302. ACM Press, 2002.
3. R. H. Bordini and Á. F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.
5. M. d'Inverno and M. Luck. Engineering AgentSpeak(L): A formal computational model. J. Logic and Computation, 8(3): 1-27, 1998.
6. M. Fisher and W. Visser. Verification of autonomous spacecraft control - a logical vision of the future. In Proc. Workshop on AI Planning and Scheduling For Autonomy in Space Applications, Manchester, UK, 2002.
7. K. Havelund, M. Lowry, and J. Penix. Formal analysis of a space craft controller using SPIN. IEEE Trans. Software Engineering, 27(8), Aug. 2001.
8. W. Hoek and M. Wooldridge. Model checking knowledge and time. In D. Bošnački and S. Leue (eds), Model Checking Software (LNCS Volume 2318), pages 95-111. Springer-Verlag: Berlin, Germany, 2002.
9. G. Holzmann. The Spin model checker. IEEE Trans. Software Engineering, 23(5):279-295, May 1997.
10. R. Machado and R. H. Bordini. Running AgentSpeak(L) agents on SIM AGENT. In J.-J. Meyer and M. Tambe, (eds), Intelligent Agents VIII-Proc. Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), 2001, Seattle, WA, number 2333 in LNAI, pages 158-174. Springer-Verlag, 2002.
11. Á. F. Moreira and R. H. Bordini. An operational semantics for a BDI agent-oriented programming language. In Proc. Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conf. on Principles of Knowledge Representation and Reasoning (KR-2002), Toulouse, France, pages 45-59, 2002.
12. N. Muscettola, P. P. Nayak, B. Pell, and B. C. Williams. Remote agents: To boldly go where no Al system has gone before. Artificial Intelligence, 103:5-47, 1998.
13. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. Perram (eds), Proc. Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Eindhoven, The Netherlands, number 1038 in LNAI, pages 42-55. Springer-Verlag, 1996.
14. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proc. Thirteenth International Joint Conf. on Artificial Intelligence (IJCAI-93), pages 318-324, Chambéry, France, 1993.
15. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. J. Logic and Computation, 8(3):293-343, 1998.
16. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. Fifteenth International Conf. on Automated Software Engineering (ASE'00), Grenoble, France, pages 3-12. IEEE Computer Society, 2000.
17. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.
18. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multi-agent systems with MABLE. In C. Castelfranchi and W. L. Johnson, (eds), Proc. First International Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, pages 952-959. ACM Press, 2002.