矛盾与标注逻辑分析的意义

摘要：

矛盾问题是制约人工智能发展的重要问题,而基于矛盾的认识论解释表明了,矛盾是由矛盾信息的共存所致,因此解决矛盾的理想方法便是分析矛盾信息,从中推理命题的有效证据.而一些逻辑学家提出的标注逻辑正是对矛盾信息的分析,该逻辑通过对矛盾信息中有利证据与不利证据的标注,推理出证据的确定度与矛盾度,进而求解命题真正的证据度,以解释命题的意义.基于标注逻辑对矛盾问题的解决,不仅推动了人工智能的发展,同时也促进了人类理性思维的可计算化研究.

关键词：矛盾、不一致性、标注逻辑、注释、证据

所属期刊栏目：40

分类号：N0(自然科学理论与方法论)

资助基金：教育部人文社会科学重点基地重大项目"科学解释与科学哲学的现代性研究"16JJD720013;山西省高等学校人文社会科学重点研究基地项目"语境论与科学修辞解释研究"2017307

在线出版日期：2018-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：35-43