命题逻辑的子句集中文字的分类

摘要：

检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题. 针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类,并分别给出其定义. 讨论3种文字与无冗余等价子集的性质,给出其等价子集的等价描述方法. 得到题逻辑的子句集中必需文字、有用文字和无用文字的判定方法,借助子句集的可满足性得到3种文字与子句集的可满足性的等价条件. 上述结果对命题逻辑中文字属性的判断提供了多种可选择方法,同时为命题逻辑公式的化简奠定了理论基础.

关键词：命题逻辑、子句集、冗余子句、冗余文字、可满足性

所属期刊栏目：10

分类号：TH186

资助基金：国家自然科学基金资助项目61175055, 61305074;四川省科技支撑计划资助项目2011FZ0051

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

页数：共5页

页码：736-740