欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
经典认知逻辑中的知道算子具有性质“知道的皆为真”，但这不符合汉语直观。在汉语中，所知之事的真假还取决于认识能力的高低。本文提出一种觉知模型来解释汉语中的“知道”。在此类模型下，“知道φ”可以解读为“在当前觉知情形下认识到φ”。当前状态并不一定被觉知，由此解决所知皆真的问题。文章引入觉知语义学，将其与信念逻辑进行对比，然后给出公理系统并证明其完全性。
英文摘要：
In classical espitemic logic what one knows must be true. This property, however, is not commonly accepted for its Chinese translation ＂zhidao （知道）＂, i.e., what one zhid~o is not necessarily true： it depends on the agent＇s capability of learning and understanding the thing, matter, or fact. In this paper we propose the notion of an awareness model to interpret zhidao. In this setting, ＂zhidao φ＂ can be understood as ＂knowing φ in the current awareness situation＂. An agent is not necessarily aware of the current state, hence making a solution. A comparison between the resulting Awareness State Logic and the classical doxastic logic is given, followed by a strong completeness result for Awareness State Logic.
同期刊论文项目
同项目期刊论文
期刊信息
位置：