崔建英报告:“逻辑全知”问题与动态认知逻辑关系探究

发布时间:2007-05-25 来源:本站原创 作者:本站编辑   浏览次数:

 

“逻辑全知”问题与动态认知逻辑关系探究 

 

题目:“逻辑全知”问题与动态认知逻辑关系探究 

报告人:崔建英

时间:2007-5-31(周四)上午九点   地点:逻辑中心多媒体教室

报告简介:

    “逻辑全知”问题是认知逻辑的研究中存在的一个重要问题。即主体不仅知道所有的逻辑定理还知道她知识的所有逻辑后承,这与现实应用中对主体推理能力的要求相比,无疑是过强了。目前对“逻辑全知”问题的解决有两个方向:一个是从语法即限制或增加公理的角度去研究;一个是通过修改语义着手。其中主要问题出在对“知识”这一概念的理解上,严格说来,现在认知逻辑中刻画的只是主体经过推理得到的隐性知识,离现实知识差距甚远。因此,后来“逻辑全知”问题的解决主要从知识的重新定义入手,主要有四种方案:(1)语法方法。[Eberle 1974; Moore and Hendrix 1979; Konolige 1986]提出将主体的知识表示为一个公式集合。(2)增加意识(Awareness)算子。[Fagin and Halpern 1988]认为主体知道一个命题首先要意识到它,并且在她的所有认知择换世界上为真。(3)算法知识。[Halpern, Moses, and Vardi 1994]认为一个主体知道一个命题,是因为该命题在她所知道的算法中查询的结果是“是”。(4)不可能世界方法。 [Rantala 1982]则提出在认知模型中增加一个不可能世界即矛盾世界的方法,从而主体不一定知道所有的逻辑真理。

   这些方案都不是完全成功的,其中一个最大的矛盾就是如何处理“逻辑全知”和“逻辑无知”的矛盾问题。Ho Ngoc Duc[1996][2001]中提出从动态认知逻辑的角度去解决“逻辑全知”问题,提出将主体的思考作为动作引入到认知语言当中,一个主体知道一个命题,就是她经过一系列思考推理之后得到该命题。Ho Ngoc Duc提出了一些刻画这种知识的公理,但语义还没有得到解决。报告以Ho Ngoc Duc[1996]这一文本为主,结合目前动态认知逻辑的最新研究进展,重新去审视和考察这一问题。

参考文献:

[1]Eberle, R. A. (1974). A logic of believing, knowing and inferring. Synthese 26,356–382.

[2]Moore, R. C. and G. Hendrix (1979). Computational models of beliefs and the semantics

of belief sentences. Technical Note 187, SRI International, Menlo Park,Calif.

[3]Konolige, K. (1986). A Deduction Model of Belief. San Francisco: Morgan Kaufmann.

[4]Halpern, J. Y., Y. Moses, and M. Y. Vardi (1994). Algorithmic knowledge. In Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge(TARK’94), pp. 255–266. Morgan Kaufmann.

[5]Rantala, V. (1982). Impossible worlds semantics and logical omniscience. ActaPhilosophica Fennica 35, 18–24.

[6]Ho Ngoc Duc(1996). Reasoning about Rational, but not Logically Omniscient Agents. Diplomarbeit (M.Sc. thesis), Faculty of Mathematics and Informatics, University of Leipzig, May 1996.

[7]Ho Ngoc Duc(2001). Resource-Bounded Reasoning about Knowledge. Ph.D. thesis, Faculty of Mathematics and Informatics, University of Leipzig, April 2001.

欢迎广大师生参加!