命题逻辑的子句集中文字的分类-智能系统学报.PDFVIP

第 １０卷第５期　 　 　 　 　 　 　 　 　 　 　 　 　 　 智　 能　 系　 统　 学　 报　 　 　 　 　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．１０ №．５ ２０１５年１０月　 　 　 　 　 　 　 　 　 　 　 ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ　 　 　 　 　 　 　 　 　 　 　 　 Ｏｃｔ． ２０１５ ＤＯＩ：１０．１１９９２／ ｔｉｓ．２０１４１０００５ 网络出版地址：ｈｔｔｐ：／ ／ ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｅｔａｉｌ／ ２３．１５３８．ｔｐ１０００．００６．ｈｔｍｌ 命题逻辑的子句集中文字的分类 １，２ １，２ 邓鹏 ，徐扬 （１． 西南交通大学数学学院，四川 成都 ６１１７５６；２． 西南交通大学智能控制开发中心，四川 成都 ６１００３１） 摘　 要：检测和消除命题逻辑公式中的冗余文字，是人工智能领域广泛研究的基本问题。 针对命题逻辑的子句集中 子句的划分，结合冗余子句和冗余文字的概念，将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字３ 类，并分别给出其定义。 讨论３种文字与无冗余等价子集的性质，给出其等价子集的等价描述方法。 得到题逻辑的 子句集中必需文字、有用文字和无用文字的判定方法，借助子句集的可满足性得到３种文字与子句集的可满足性的 等价条件。 上述结果对命题逻辑中文字属性的判断提供了多种可选择方法，同时为命题逻辑公式的化简奠定了理 论基础。 关键词：命题逻辑；子句集；冗余子句；冗余文字；可满足性 中图分类号：ＴＨ１８６　 文献标志码：Ａ　 文章编号：１６７３⁃４７８５（２０１５）０５⁃０７３６⁃０５ 中文引用格式：邓鹏，徐扬． 命题逻辑的子句集中文字的分类［Ｊ］． 智能系统学报，２０１５，１０（５）：７３６⁃７４０． 英文引用格式：ＤＥＮＧＰｅｎｇ，ＸＵＹａｎｇ． Ｃｌａｓｓｉｆｉｃａｔｉｏｎｏｆｔｈｅｃｈａｒａｃｔｅｒｓｉｎｔｈｅｓｅｔｏｆｃｌａｕｓｅｓｏｆｐｒｏｐｏｓｉｔｉｏｎａｌｌｏｇｉｃ［Ｊ］． ＣＡＡＩＴｒａｎｓａｃ⁃ ｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ，２０１５，１０（５）：７３６⁃７４０． Ｃｌａｓｓｉｆｉｃａｔｉｏｎ ｏｆ ｔｈｅ ｃｈａｒａｃｔｅｒｓ ｉｎ ｔｈｅ ｓｅｔ ｏｆ ｃｌａｕｓｅｓ ｏｆ ｐｒｏｐｏｓｉｔｉｏｎａｌ ｌｏｇｉｃ １，２ １，２ ＤＥＮＧ Ｐｅｎｇ ，ＸＵ Ｙａｎｇ （１． Ｓｃｈｏｏｌｏｆ Ｍａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｃｈｅｎｇｄｕ６１１７５６，Ｃｈｉｎａ；２．Ｉｎｔｅｌｌｉｇｅｎｔ ＣｏｎｔｒｏｌＤｅｖｅｌｏｐｍｅｎｔ Ｃｅｎｔｅｒ，Ｓｏｕｔｈ⁃ ｗｅｓｔ Ｊｉａｏｔｏｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｃｈｅｎｇｄｕ ６１００３１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅ ｄｅｔｅｃｔｉｏｎ ａｎｄ ｅｌｉｍｉｎａｔｉｏｎ ｏｆ ｒｅｄｕｎｄａｎｔ ｃｌａｕｓｅｓｆｒｏｍ ｐｒｅｐｏｓｉｔｉｏｎａｌ ｌｏｇｉｃｆｏｒｍｕｌａｓ ｉｓ ａｆｕｎｄａｍｅｎｔａｌ ｉｓ⁃ ｓｕｅ ｔｈａｔ ｈａｓ ｂｅｅｎ ｗｉｄｅｌｙ ｒｅｓｅａｒｃｈｅｄ ｉｎ ａｒｔｉｆｉｃｉａｌ ｉｎｔｅｌｌｉｇｅｎｃｅ （ＡＩ）．Ｔｈｅ ｃｏｎｃｅｐｔ ｆｏｒ ｄｉｖｉｓｉｏｎ ｉｎ ｔｈｅ ｓｅｔ ｏｆ ｃｌａｕｓｅｓｏｆ ｐｒｏｐｏｓｉｔｉｏｎａｌ ｌｏｇｉｃ ｉｓｃｏｍｂｉｎｅｄｗｉｔｈ ｔｈｅ ｃｏｎｃｅｐｔｓｏｆ ｒｅｄｕｎｄａｎｔ ｃｌａｕｓｅ ａｎｄ ｒｅｄｕｎｄａｎｔ ｃｈａｒａｃｔｅｒ ｓｏ ａｓｔｏ ｒｅｓｅａｒｃｈ ｔｈｅ ｃｌａｓｓｉｆｉｃａｔｉｏｎ ｏｆｔｈｅｃｈａｒａｃｔｅｒｓｉｎｔｈｅｓｅｔｏｆ ｃｌａｕｓｅｓｏｆｐｒｏｐｏｓｉｔｉｏｎａｌｌｏｇｉｃ．Ｔｈｅｃｈａｒａｃｔｅｒｓａｒｅｃｌａｓｓｉｆｉｅｄｉｎｔｏｔｈｒｅｅｃａｔ⁃ ｅｇｏｒｉｅｓ：ｎｅｃｅ