首页|基于真值区间的模糊认知逻辑

基于真值区间的模糊认知逻辑

扫码查看
Lorini提出了基于信念库的信念态度逻辑,以解决认知科学领域的逻辑全知问题;文章采用了 Levesque提出的"觉知"算子来区分显式信念和隐式信念.而在人工智能、决策和知识表征领域,需要研究信念的准确程度,这在信念态度逻辑中是没有涉及的.对此,文章尝试使用模糊模态逻辑的刻画方式引入真值区间从而对信念为真的概率进行描述,在此基础上提出新的逻辑框架并引入公理,最终证明其语义模型的可靠性.
Fuzzy Cognitive Logic With Truth Interval
Lorini proposesLogic of Doxastic Attitude to address the problem of logical omnisci-ence in cognitive science;the article employs the"awareness"operator proposed by Levesque to distinguish explicit from implicit beliefs.In the field of artificial intelligence,decision making and knowledge representation,the accuracy of beliefs needs to be studied,which is not covered in Logic of Doxastic Attitude.In this regard,the paper tries to use fuzzy logic to characterize the probability of beliefs being true by introducing truth intervals,based on which a new logical framework is proposed and axioms are introduced,and the soundness of semantic models are fi-nally proved.

Cognitive logicFuzzy logicSemantic modelsTruth intervalSoundness

张君瑶

展开 >

南京审计大学 计算机学院(智能审计学院),江苏 南京 211815

认知逻辑 模糊模态逻辑 语义模型 真值区间 可靠性

国家自然科学基金江苏省高等学校自然科学研究重大项目江苏省高等学校自然科学研究重大项目江苏省高等学校"青蓝工程"优秀青年骨干教师资助项目

6160224921KJA63000122KJA630001

2024

长江信息通信
湖北通信服务公司

长江信息通信

影响因子:0.338
ISSN:2096-9759
年,卷(期):2024.37(4)
  • 10