科研之友
微信
新浪微博
Facebook
分享链接
摘要
知识推理是关于知识的推理,认知逻辑中的显性知识和算法知识具有密切的联系。认知逻辑有两种建模方法,其一是对可及关系进行限制的方法,其二是假定可能世界是计算封闭的方法。这样做的目的是为了对主体的行为进行推理,而不是刻画主体是如何做的。在某种意义上,认知逻辑是针对认知主体进行的高阶推理的逻辑,而博弈论则是建立在涉及对参与人的知识和信念进行推理的基础上的,并通过在互动结构框架中增加策略博弈重新构造新的框架的方法而建立的理论,该理论中的参与人的初始信息只包括自己的偏好,且根据互动结构可以交流偏好。研究互动结构中的知识和博弈对逻辑和计算机科学等领域具有重要的价值。
- 单位
