Belief revision for AgentSpeak agents

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1288-1290

  Alechina, Natasha ^a   Bordini, Rafael H ^b   Hübner, Jomi Fred ^c   Jago, Mark ^a   Logan, Brian ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

^c REGIONAL UNIVERSITY OF BLUMENAU   (Brazil)

Author keywords

AgentSpeak; BDI; Belief revision; Jason

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; ONTOLOGY; POLYNOMIALS; SPEECH COMMUNICATION;

BELIEF REVISION; JASON AGENTSPEAK INTERPRETER; ONTOLOGICAL REASONING; PRACTICAL AGENT PROGRAMMING LANGUAGE;

MULTI AGENT SYSTEMS;

EID: 34247249366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160868     Document Type: Conference Paper

References (11)

1. C. E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50:510-530. 1985.
2. N. Alechina, M. Jago, and B. Logan. Resource-bounded belief revision and contraction. In Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005), 2005.
3. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors. Multi-Agent Programming: Languages, Platforms and Applications. Number 15 in Multiagent Systems, Artificial Societies, and Simulated Organizations. Springer, 2005.
4. R. H. Bordini, J. F. Hübner, et al. Jason: A Java-based agentSpeak interpreter used with saci for multi-agent distribution over the net, manual, release version 0.7 edition, August 2005. http://jason. sourceforge.net/.
5. 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, 42(1-3):197-226, 2004.
6. D. Kinny. Agents - the challenge of relevance to the it mainstream. In Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, LNCS Vol. 3346, pages 38-43. Springer-Verlag, 2005.
7. A. F. Moreira, R. Vieira, R. H. Bordini, and J. Hübner. Agent-oriented programming with underlying ontological reasoning. In Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005), 2005.
8. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), LNAI Vol. 1038, pages 42-55, London, 1996. Springer-Verlag.
9. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484, 1991.
10. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Information-passing and belief revision in multi-agent systems. In Intelligent Agents V - Agent Theories, Architectures, and Languages, LNCS Vol. 1555, pages 29-45. Berlin, 1999. Springer-Verlag.
11. M. Wooldridge. Reasoning About Rational Agents. MIT Press. 2000.