A Qualitative Theory of Cognitive Attitudes and their Change - Archive ouverte HAL
Article Dans Une Revue Theory and Practice of Logic Programming Année : 2021

A Qualitative Theory of Cognitive Attitudes and their Change

Résumé

We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, conditional desire, strong desire and preference. We also present two extensions of the logic, one by the notion of choice and the other by dynamic operators for belief change and desire change, and we apply the former to the analysis of single-stage games under incomplete information. We provide sound and complete axiomatizations for the basic logic and for its two extensions.
Fichier principal
Vignette du fichier
TheoryCognitiveStates.pdf (308.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03453908 , version 1 (30-11-2021)

Identifiants

Citer

Emiliano Lorini. A Qualitative Theory of Cognitive Attitudes and their Change. Theory and Practice of Logic Programming, 2021, 21 (4), pp.428-458. ⟨10.1017/S1471068421000053⟩. ⟨hal-03453908⟩
68 Consultations
65 Téléchargements

Altmetric

Partager

More