%0 Journal Article
%T Lattice-valued Semantic Resolution Reasoning Method
格值语义归结推理方法
%A GHANG Jia-feng
%A XU Yang
%A HE Xing-xing
%A
张家锋
%A 徐扬
%A 何星星
%J 计算机科学
%D 2011
%I
%X 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的二归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。
%K Lattice implication algebra
%K Lattice-valued propositional logic LP(X)
%K Automated reasoning
%K Semantic resolution method
格蕴涵代数,格值命题逻辑系统LP(X),自动推理,语义归结方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D2719B0E95810F6367&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=9CF7A0430CBB2DFD&sid=BC084ACE66B62CC8&eid=38685BC770C663F2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0