Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Volume 2711 of the series Lecture Notes in Computer Science pp 552-563
A Formal Framework for Handling Conflicting Desires
- Leila AmgoudAffiliated withInstitut de Recherche en Informatique de Toulouse (IRIT)
Abstract
This paper combines ideas from argumentation [1,8] with desires and planning rules, in order to give a formal account of how consistent sets of intentions can be obtained from a conflicting set of desires. We show how conflicts may arise between desires and we resolve them. We argue that the set of desires can be clustered in three categories: i) the intentions of the agent, ii) the rejected desires and iii) the desires in abeyance. Finally, we show that the use of argumentation with desires is different from the usual kind of argumentation with default rules.
- Title
- A Formal Framework for Handling Conflicting Desires
- Book Title
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Book Subtitle
- 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings
- Pages
- pp 552-563
- Copyright
- 2003
- DOI
- 10.1007/978-3-540-45062-7_45
- Print ISBN
- 978-3-540-40494-1
- Online ISBN
- 978-3-540-45062-7
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2711
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
- Editor Affiliations
-
- 6. Department of Computer Science, Aalborg University
- 7. Department of Computer Science, Hong Kong University of Science and Technology
- Authors
-
- Leila Amgoud (8)
- Author Affiliations
-
- 8. Institut de Recherche en Informatique de Toulouse (IRIT), 118, route de Narbonne, 31062, Toulouse, France
Continue reading...
To view the rest of this content please follow the download PDF link above.