首页 | 本学科首页   官方微博 | 高级检索  
     检索      

LP(X)中MP归结推理
引用本文:夏世芬,秦应兵,徐扬.LP(X)中MP归结推理[J].模糊系统与数学,2013,27(3).
作者姓名:夏世芬  秦应兵  徐扬
作者单位:西南交通大学数学学院,四川成都,610031
基金项目:国家自然科学基金资助项目,国家青年科学基金资助项目
摘    要:首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.

关 键 词:格值命题逻辑系统LP(X)  MP归结  (A  α)-归结演绎  α-不可满足

MP Resolution Inference in LP(X)
XIA Shi-fen , QIN Ying-bin , XU Yang.MP Resolution Inference in LP(X)[J].Fuzzy Systems and Mathematics,2013,27(3).
Authors:XIA Shi-fen  QIN Ying-bin  XU Yang
Abstract:
Keywords:Lattice-valued Proposition Logic System LP (X)  MP Resolvent  (A  α)-resolution Inference  α-unsatisfiability
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号