A logic of intention and attempt - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2008

A logic of intention and attempt

Résumé

We present a modal logic called LIA (Logic of Intention and Attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of LIA, we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

Mots clés

Fichier principal
Vignette du fichier
Synthese08.pdf (311.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03526735 , version 1 (18-01-2022)

Identifiants

  • HAL Id : hal-03526735 , version 1

Citer

Emiliano Lorini, Andreas Herzig. A logic of intention and attempt. Synthese, 2008, 163 (1), pp.45-77. ⟨hal-03526735⟩
36 Consultations
83 Téléchargements

Partager

Gmail Facebook X LinkedIn More