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.
Domaines
Intelligence artificielle [cs.AI]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|