Automating belief revision for agentspeak

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4327 LNAI, Issue , 2006, Pages 61-77

  Alechina, Natasha ^a   Bordini, Rafael H ^b   Hübner, Jomi F ^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

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; POLYNOMIAL APPROXIMATION; SPEECH COMMUNICATION;

AGENT PROGRAMMING LANGUAGES; AGENTSPEAK; AGENTSPEAK AGENTS; BELIEF REVISION; CUSTOMISATION; LANGUAGE CONSTRUCTS; POLYNOMIAL-TIME; SPEECH ACTS;

PROGRAM INTERPRETERS;

EID: 84889266154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11961536_5     Document Type: Conference Paper

References (27)

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), number 3904 in LNCS, pages 141–154, Utrecht, the Netherlands, July 2005. Springer-Verlag.
3. D. Ancona, V. Mascardi, J. F. Hübner, and R. H. Bordini. Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In N. R. Jennings, C. Sierra, L. Sonenberg, and M. Tambe, editors, Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19–23 July, pages 698–705, New York, NY, 2004. ACM Press.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. Handbook of Description Logics. Cambridge University Press, Cambridge, 2003.
5. 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.
6. 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/.
7. R. H. Bordini, J. F. Hübner, and R. Vieira. Jason and the Golden Fleece of agent-oriented programming. In Bordini et al. [5], chapter 1.
8. 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, Sept. 2004. Special Issue on Computational Logic in Multi-Agent Systems.
9. H. Chen, T. Finin, and A. Joshi. The SOUPA Ontology for Pervasive Computing. In V. T. et al, editor, Ontologies for Agents: Theory and Experiences, pages 233–258. BirkHauser, 2005.
10. K. L. Clark and F. G. McCabe. Ontology schema for an agent belief store. IJCIS, 2006. To appear.
11. M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer. Programming multi-agent systems in 3APL. In Bordini et al. [5], chapter 2.
12. J. de Bruijn, A. Polleres, and D. Fensel. Owl lite − . working draft, WSML delieverable D20 v0.1, WSML, 18th July 2004. http://www.wsmo.org/2004/d20/v0.1/20040629/.
13. P. Gärdenfors. Conditionals and changes of belief. In I. Niiniluoto and R. Tuomela, editors, The Logic and Epistemology of Scientific Change, pages 381–404. North Holland, 1978.
14. P. Gärdenfors. Knowledge in Flux: Modelling the Dynamics of Epistemic States. The MIT Press, Cambridge, Mass., 1988.
15. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL rules language. In S. I. Feld-man, M. Uretsky, M. Najork, and C. E. Wills, editors, Proceedings of the 13th international conference on World Wide Web, WWW 2004, pages 723–731. ACM, 2004.
16. D. Makinson. How to give it up: A survey of some formal aspects of the logic of theory change. Synthese, 62:347–363, 1985.
17. Á. F. Moreira, R. Vieira, and R. H. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In J. Leite, A. Omicini, L. Sterling, and P. Torroni, editors, Declarative Agent Languages and Technologies, Proc. of the First Int. Workshop (DALT-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia, number 2990 in LNAI, pages 135–154, Berlin, 2004. Springer-Verlag.
18. 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), number 3904 in LNCS, pages 155–170, Utrecht, the Netherlands, July 2005. Springer-Verlag.
19. B. Nebel. A knowledge level analysis of belief revision. In R. Brachman, H. J. Levesque, and R. Reiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference, pages 301–311, San Mateo, 1989. Morgan Kaufmann.
20. B. Nebel. Syntax-based approaches to belief revision. In P. Gärdenfors, editor, Belief Revision, volume 29, pages 52–88. Cambridge University Press, Cambridge, UK, 1992.
21. B. Nebel. Base revision operations and schemes: Representation, semantics and complexity. In A. G. Cohn, editor, Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI’94), pages 341–345, Amsterdam, The Netherlands, August 1994. John Wiley and Sons.
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 Seventh 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. H. Rott. “Just Because”: Taking belief bases seriously. In S. R. Buss, P. Hájaek, and P. Pudlák, editors, Logic Colloquium ’98—Proceedings of the 1998 ASL European Summer Meeting, volume 13 of Lecture Notes in Logic, pages 387–408. Association for Symbolic Logic, 1998.
24. 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 J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL ’98, Paris, France, July 4-7, 1998, Proceedings, volume 1555 of LNCS, pages 29–45, Berlin, 1999. Springer-Verlag.
25. M.-A. Williams. Two operators for theory base change. In Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, pages 259–265. World Scientific, 1992.
26. M.-A. Williams. Iterated theory base change: A computational model. In Proceedings of Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pages 1541– 1549, San Mateo, 1995. Morgan Kaufmann.
27. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.