Verifiable multi-agent programs

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

Volumn 3067, Issue , 2004, Pages 72-89

  Bordini, Rafael H ^a   Fisher, Michael ^a   Visser, Willem ^b   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b Research Institute for Advanced Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; MODEL CHECKING; SPECIFICATION LANGUAGES; TRANSLATION (LANGUAGES); COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING; NETWORK PROTOCOLS; PLANNING; SPACECRAFT;

AGENT IMPLEMENTATION; AGENTSPEAK AGENTS; CURRENT PRACTICES; JAVA MODELS; LTL MODEL-CHECKING; MODEL-CHECKING TECHNIQUES; MULTI-AGENT PROGRAMS; REACTIVE PLANNING;

MULTI AGENT SYSTEMS;

AUTONOMOUS SPACECRAFT CONTROL; MULTI-AGENT PROGRAMS; RATIONAL AGENTS; REACTIVE PLANNING SYSTEMS;

EID: 23244438734     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25936-7_4     Document Type: Conference Paper

References (30)

1. M. Benerecetti and A. Cimatti. Symbolic model checking for multi-agent systems. In Proceedings of the Model Checking and Artificial Intelligence Wor kshop (MoChArt-2002), held with 15th ECAI, 21-26 July, 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): Ef ficient intention selection in BDI agents via decisiontheoretic task scheduling. In C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 1 5-19 July, Bologna, Italy, pages 1294-1302, New York, NY, 2002. ACM Press.
3. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In J. S. Rosenschein, T. Sandhol m, W. Michael, and M. Yokoo, editors, Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, 14-18 July, pages 409-416, New York, NY, 2003. ACM Press.
4. R. H. Bordini and A. F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In J. Dix, J. A. Leite, and K. Satoh, editors, Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (C L IMA-02), 1st August, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science 70(5). Elsevier, 2002. URL:. http://www.elsevier.nl/locate/entcs/volume70.html
5. CLIMA-02 was held as part of FLoC-02. This paper was originally publi shed in Datalogiske Skrifter number 93, Roskilde University, Denmark, pages 94-108.
6. R. H. Bordini, W. Visser, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking multi-agent programs wit h CASP. In W. A. Hunt Jr. and F. Somenzi, editors, Proceedgins of the Fifteenth Conference on Computer-Aided Verification (CAV-2003), Boulder, CO, 8-12 July, number 2725 in Lecture Notes in Computer Science, pages 110-113, Berlin, 200 3. Springer-Verlag. Tool description.
7. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.
8. M. Dastani, B. Van Riemsdijk, F. Dignum, and J.-J. C. Meyer. A programming language for cognitive agents: Goal directed 3apl. In this volume.
9. G. de Giacomo, Y. Lesperance, H. J. Levesque, and S. Sardiña. On deliberation under incomplete information and the inadequacy of entailment and consistencybased formalizations. In this volume.
10. M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In M. P. Singh, A. S. R ao, and M. Wooldridge, editors, Intelligent Agents IV-Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI, 24-26 July, 1997, number 1365 in Lecture Notes in Artificial In telligence, pages 155-176. Springer-Verlag, Berlin, 1998.
11. M. d'Inverno and M. Luck. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3):1-27, 1998.
12. M. Fisher and C. Ghidini. The ABC of rational agent modelling. In C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Syste ms (AAMAS-2002), 15-19 July, Bologna, Italy, pages 849-856, New York, NY, 2002. ACM Press.
13. M. Fisher and W. Visser. Verification of autonomous spacecraft control-a logical vision of the future. In Proceedings of the Workshop on AI Planning and Scheduling For Autonomy in Space Applications, co-located with TIME-2002, 7-9 July, Manchester, UK, 2002.
14. W. Hoek and M. Wooldridge. Model checking knowledge and time. In D. Bo?sna?cki and S. Leue, editors, Model Checking Software, Proceedings of SPIN 2002 (LNCS Volume 2318), pages 95-111. Springer-Verlag: Berlin, Germany, 2002.
15. G. Holzmann. The Spin m odel checker. IEEE Transaction on Software Engineering, 23(5):279-295, May 1997.
16. D. Kinny. The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.
17. R. Machado and R. H. Bordini. Running AgentSpeak(L) agents on SIM AGENT. In J.-J. Meyer and M. Tambe , editors, Intelligent Agents VIII-Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence, pages 158-174, Berlin, 2002. Springer-Verlag.
18. J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an agent communication language. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II-Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, Montré al, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 347-360, Berlin, 1996. Springer-Verlag.
19. A. F. Moreira and R. H. Bordini. An operational semantics for a BDI agent-oriented programming language. In J.-J. C. Meyer and M. J. Wooldridge, editors, Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conj unction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, Toulouse, France, pages 45-59, 2002.
20. N. Muscettola P. P. Nayak B. Pell B. C. Williams. Remote agents: To boldly go where no AI system has gone before. Artificial Intelligence 103 5-47 1998.
21. G. D. Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus, 1981.
22. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. Perram, editors, Proceedings of the Se venth Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence, pages 42-55, London, 1996. Springer-Verlag.
23. 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-93), pages 318-324, Chambéry, France, 1993.
24. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-343, 1998.
25. P. Scerri , D. V. Pynadath, N. Schurr, A. Farinelli, S. Gandhe, and M. Tambe. Team oriented programming and proxy agents: The next generation. In this volume.
26. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
27. A. Sloman and B. Logan. Building cognitively rich agents using the SIM AGENT toolkit. Communications of the Association of Computing Machinery, 43(2):71-77, Mar. 1999.
28. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE'00), 11-15 September, Grenoble, France, pages 3-12. IEEE Computer Society, 2000.
29. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.
30. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multiagent systems with MABLE. In C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Syst ems (AAMAS-2002), 15-19 July, Bologna, Italy, pages 952-959, New York, NY, 2002. ACM Press.