State-space reduction techniques in agent verification

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004

Volumn 2, Issue , 2004, Pages 896-903

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

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b NASA AMES RESEARCH CENTER   (United States)

^c DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTONOMOUS AGENTS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; FORMAL LOGIC; STATE SPACE METHODS;

AGENT ORIENTED PROGRAMMING; AGENT VERIFICATION; FINITE STATE SYSTEMS; ROVERS;

MULTI AGENT SYSTEMS;

EID: 4544273173     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. J. Biesiadecki, M. W. Maimone, and J. Morrison. The Athena SDM rover: A testbed for mars rover mobility. In 6th Int. Symposium on AI, Robotics and Automation in Space (ISAIRAS-01), Montreal, Canada, 2001.
2. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proc. 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, pages 409-416, New York, NY, 2003. ACM Press.
3. R. H. Bordini and Á. F. Moreira. Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 2004. To appear.
4. R. H. Bordini, W. Visser, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking multi-agent programs with CASP. In Proc. 15th Conf. on Computer-Aided Verification (CAV-2003), Boulder, CO, LNCS 2725, pages 110-113. Springer-Verlag, Berlin, 2003. Tool description.
5. M. Krishna Rao, D. Kapur, and R. Shyamasundar. Proving termination of GHC programs. In D. S. Warren, editor, Proc. 10th Int. Conf. on Logic Programming, Budapest, Hungary, pages 720-736, Cambridge, MA, 1993. MIT Press.
6. N. Muscettola, P. Pandurang Nayak, B. Pell, and B. C. Williams. Remote agent: to boldly go where no AI system has gone before, Artificial Intelligence, 103(l-2):5-47, 1998.
7. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proc. 7th Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAA-MAW'96), Eindhoven, The Netherlands, LNAI 1038, pages 42-55. Springer-Verlag, London, 1996.
8. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. J. Logic and Computation, 8(3):293-343, 1998.
9. S. Schoenig and M. Ducassé. A backward slicing algorithm for Prolog. In Proc. Third International Symposium on Static Analysis (SAS'96), Aachen, Germany, LNCS 1145, pages 317-331. Springer-Verlag, 1996.
10. F.Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995.
11. R. Washington, K. Golden, J. Bresina, D. E. Smith, C. Anderson, and T. Smith. Autonomous rovers for mars exploration. In Aerospace Conference, Aspen, CO. IEEE, 1999.
12. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.
13. J. Zhao, J. Cheng, and K. Ushijima. Literal dependence net and its use in concurrent logic programming environment. In Proc. Workshop on Parallel Logic Programming, held with FGCS'94, ICOT, Tokyo, pages 127-141, 1994.
14. J. Zhao, J. Cheng, and K. Ushijima. Slicing concurrent logic programs. In Proc. 2nd Fuji Int. Workshop on Functional and Logic Programming, Shonan Village Center, Japan, pages 143-162. World Scientific, 1997.