认知态度及其变化的定性理论
人工智能
2023-06-22 v1 计算机科学中的逻辑
摘要
我们提出了一个用于推理主体兼具认知型与动机型认知态度的一般逻辑框架。我们表明，它允许我们表达定性决策理论中多种相关概念，包括知识、信念、强信念、条件信念、愿望、条件愿望、强愿望和偏好等概念。我们还提出了该逻辑的两个扩展，一个引入选择概念，另一个引入用于信念改变和愿望改变的动态算子，并将前者应用于不完全信息下单阶段博弈的分析。我们为基逻辑及其两个扩展提供了可靠且完备的公理化。本文正在Theory and Practice of Logic Programming (TPLP) 审稿中。
引用
@article{arxiv.2102.11025,
title = {A Qualitative Theory of Cognitive Attitudes and their Change},
author = {Emiliano Lorini},
journal= {arXiv preprint arXiv:2102.11025},
year = {2023}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)