当前位置: X-MOL 学术arXiv.cs.AI › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Qualitative Theory of Cognitive Attitudes and their Change
arXiv - CS - Artificial Intelligence Pub Date : 2021-02-16 , DOI: arxiv-2102.11025
Emiliano Lorini

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. The paper is under consideration in Theory and Practice of Logic Programming (TPLP).

中文翻译:

认知态度的定性理论及其变化

我们提出了一个关于推理者的认知类型和动机类型的认知态度的一般逻辑框架。我们表明,它使我们能够表达定性决策理论的各种相关概念,包括知识,信念,强烈信念,条件信念,欲望,条件欲望,强烈欲望和偏好的概念。我们还提出了逻辑的两种扩展,一种是通过选择的概念,另一种是通过动态运营商的信念变化和欲望变化,并且我们将前者应用于不完全信息下的单阶段博弈分析。我们为基本逻辑及其两个扩展提供了完善的公理化方法。逻辑编程理论和实践(TPLP)中正在考虑该论文。
更新日期:2021-02-23
down
wechat
bug