Reasoning about agent deliberation

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 16-26

  Alechina, N ^a   Dastani, M ^b   Logan, B S ^a   Meyer, J J Ch ^b  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

AGENT PROGRAMMING LANGUAGES; COGNITIVE AGENTS; CORRECTNESS PROPERTIES; LIVENESS PROPERTIES; OPERATIONAL SEMANTICS; SOUND AND COMPLETE;

KNOWLEDGE REPRESENTATION;

EID: 77949785546     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Abrahamson, K. R. 1980. Decidability and expressiveness of logics of processes. Ph.D. Dissertation, Department of Computer Science, University of Washington.
2. Alechina, N.; Dastani, M.; Logan, B.; and Meyer, J.-J. C. 2007. A logic of agent programs. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), 795-800. AAAI Press.
3. Benerecetti, M.; Giunchiglia, F.; and Serafini, L. 1998. Model checking multiagent systems. J. Log. Comput. 8(3):401-423.
4. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
5. Bordini, R. H.; Dastani, M.; Dix, J.; and El Fallah Seghrouchni, A. 2005. Multi-Agent Programming: Languages, Platforms and Applications. Berlin: Springer.
6. Bordini, R. H.; Fisher, M.; Visser, W.; andWooldridge, M. 2006. Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12(2):239- 256.
7. Bordini, R. H.; Ḧubner, J.; and Vieira, R. 2005. Jason and the golden fleece of agent-oriented programming. In Bordini, R. H.; Dastani, M.; Dix, J.; and Seghrouchni, A. E. F., eds., Multi-Agent Programming - Languages, Platforms and Applications. Springer.
8. Dastani, M., and Meyer, J. 2007. A Practical Agent Programming Language. In Proc. of PROMAS.
9. Dastani, M.; van Riemsdijk, M. B.; Dignum, F.; andMeyer, J.-J. C. 2004. A programming language for cognitive agents: Goal directed 3APL. In Proc. ProMAS 2003, volume 3067 of LNCS, 111-130. Springer.
10. Dastani, M.; van Riemsdijk, M. B.; and Meyer, J.-J. C. 2005. Programming multi-agent systems in 3APL. In Bordini, R. H.; Dastani, M.; Dix, J.; and Seghrouchni, A. E. F., eds., Multi-Agent Programming - Languages, Platforms and Applications. Springer.
11. Georgeff, M. P., and Lansky, A. L. 1987. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI-87, 677-682.
12. Harel, D.; Kozen, D.; and Tiuryn, J. 2000. Dynamic Logic. MIT Press.
13. Hindriks, K., and Meyer, J.-J. C. 2007. Agent logics as program logics: Grounding KARO. In Proc. 29th German Conference on AI (KI 2006), volume 4314 of LNAI. Springer.
14. Lomuscio, A., and Raimondi, F. 2006. MCMAS: A model checker for multi-agent systems. In Proc. TACAS 2006, 450-454.
15. Mulder, M.; Treur, J.; and Fisher, M. 1997. Agent modelling in METATEM and DESIRE. In Singh, M. P.; Rao, A. S.; and Wooldridge, M., eds., Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop (ATAL'97), volume 1365 of Lecture Notes in Computer Science, 193-207. Springer.
16. Pokahr, A.; Braubach, L.; and Lamersdorf, W. 2005. Jadex: A BDI reasoning engine. In Bordini, R. H.; Dastani, M.; Dix, J.; and Seghrouchni, A. E. F., eds., Multi- Agent Programming - Languages, Platforms and Applications. Springer.
17. Schmidt, R. A. 2003. PDL-TABLEAU. http://www.cs.man.ac.uk/̃schmidt/ pdl-tableau.
18. Shapiro, S.; Lespérance, Y.; and Levesque, H. J. 2002. The cognitive agents specification language and verification environment for multiagent systems. In Proc. AAMAS 2002, 19-26. ACM Press.