A Qualitative Theory of Cognitive Attitudes and their Change. Issue 4 (6th July 2021)

• Record Type: Journal Article
• Authors: LORINI, EMILIANO
• Is Part Of: Theory and practice of logic programming. Volume 21:Issue 4(2021)
• Page Start: 428
• Page End: 458
• Publication Date: 2021-07-06
• Subjects: knowledge representation -- nonmonotonic reasoning -- modal logic -- cognitive agents; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068421000053
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstarct: 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.