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