Towards a framework for goal revision

Belgian/Netherlands Artificial Intelligence Conference

Volumn , Issue , 2006, Pages

  Pereira, Célia da Costa ^a   Tettamanzi, Andrea ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL PROPOSITIONAL LOGIC; MENTAL STATE; RATIONAL AGENTS;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

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

References (8)

1. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510-530, 1985.
2. L. Amgoud. A formal framework for handling conflicting desires. In Proc. of the ECSQARU-2003 Conference, pages 552-563, 2003.
3. L. Amgoud and I. Rahwan. An argumentation-based approach for practical reasoning. In To Appear in Proc. of the AAMAS-2006 Conference, 2006.
4. John Bell and Zhisheng Huang. Dynamic goal hierarchies. In PRICAI '96: Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues, pages 88-103, London, UK, 1997. Springer-Verlag.
5. J. Benton, Minh Binh Do, and Subbarao Kambhampati. Over-subscription planning with numeric goals. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 1207-1213, Edinburgh, Scotland, UK, July 30-August 5 2005. Professional Book Center.
6. Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Goal change. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 582-588, Edinburgh, Scotland, UK, July 30-August 5 2005. Professional Book Center.
7. David E. Smith. Choosing objectives in over-subscription planning. In Shlomo Zilberstein, Jana Koehler, and Sven Koenig, editors, Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), pages 393-401, Whistler, British Columbia, Canada, June 3-7 2004. AAAI.
8. John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in bdi agents. In CRPITS '02: Proceedings of the twenty-fifth Australasian conference on Computer science, pages 259-265, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc.