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

• 作者: 徐扬 邓鹏
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 命题逻辑 子句集 冗余子句 冗余文字 可满足性
• 年，卷（期）: 2015,（5）
• 页码范围: 736-740
• 页数: 5页
• 分类号: TH186
• 字数: 6554字
• 语种: 中文
• DOI: 10.11992/tis.201410005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学学院	186	1462	15.0	32.0
5	邓鹏	西南交通大学数学学院	11	6	2.0	2.0