命题逻辑中三元子句集的冗余文字

摘要：

自动推理是人工智能领域研究的核心问题之一.由于在基于归结的自动推理过程中会产生大量的冗余文字和冗余子句,进而影响归结自动推理的效率,因此消除子句集中的冗余文字和冗余子句具有重要的意义.在命题逻辑中,依据必需文字、有用文字、无用文字的相关概念和性质,针对部分三元子句集,分类给出这些三元子句集中冗余文字的判别方法,并通过具体实例对这些判别方法进行说明.

关键词：必需文字、有用文字、无用文字、三元子句集、命题逻辑

所属期刊栏目：49

分类号：TP181(自动化基础理论)

资助基金：教育部人文社会科学研究项目;教育部人文社会科学研究项目

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

页数：共5页

页码：109-112,118