C&L intention revisited - Archive ouverte HAL
Communication Dans Un Congrès Année : 2004

C&L intention revisited

Résumé

The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, and choice. On top of these they define notions of achievement goal, persistent goal, and intention. We here revisit their approach in a simplified, propositional logic, for which we give complete axiomatization. Within that logic we study the definition of achievement goals, refining C&L's analysis. Our analysis allows us to identify the conditions under which achievement goals persist. We then discuss the C&L definition of intention as well as a variant that has been proposed by Sadek and Bretier. We argue that both are too strong and propose a weakened version.
Fichier principal
Vignette du fichier
2004_KR_camera_ready_version_2022_recompilee.pdf (324.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03519771 , version 1 (25-01-2022)

Identifiants

  • HAL Id : hal-03519771 , version 1

Citer

Andreas Herzig, Dominique Longin. C&L intention revisited. 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535. ⟨hal-03519771⟩
53 Consultations
29 Téléchargements

Partager

More