On the use of an ATMS for handling conflicting desires - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

On the use of an ATMS for handling conflicting desires

Résumé

This paper presents a revised version of a framework proposed by Amgoud which computes consistent sets of intentions from a conflicting set of desires and a set of beliefs. That framework enables us to restate the problem of computing intentions in the context of argumentation theory. Indeed, interacting arguments are interpreted as competing plans for achieving some desire, or conflicting plans for achieving different desires. Another important contribution of this paper is to present an ATMS-based proof theory for that framwork. Indeed, we show that the different concepts defined and used by Amgoud can be restated taking advantage of the well-known Assumption-based Truth Maintenance System.
Fichier principal
Vignette du fichier
1KR04amgoud.pdf (94.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04323111 , version 1 (06-12-2023)

Identifiants

  • HAL Id : hal-04323111 , version 1

Citer

Leila Amgoud, Claudette Cayrol. On the use of an ATMS for handling conflicting desires. 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.194--201. ⟨hal-04323111⟩
15 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More