计算机科学
計算機科學
계산궤과학
Computer Science
2015年
11期
123-129
,共7页
自动推理%语义归结%语言真值格蕴涵代数%格值逻辑
自動推理%語義歸結%語言真值格蘊涵代數%格值邏輯
자동추리%어의귀결%어언진치격온함대수%격치라집
Automated reasoning%Semantic resolution%Linguistic truth-valued lattice implication algebra%Lattice-valued logic
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法.首先给出了语言真值格值命题逻辑系统的α-语义归结与(Ψ)nP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性.接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性.
語言值智能信息處理是人工智能的一箇重要研究方嚮,基于歸結原理的自動推理因易于在計算機上實現而得到廣汎研究.為瞭提高基于語言真值格值邏輯的α-歸結原理的效率,將語義歸結策略應用于α-歸結原理,研究瞭基于格值邏輯的歸結自動推理方法.首先給齣瞭語言真值格值命題邏輯繫統的α-語義歸結與(Ψ)nP(X)中相應歸結水平的語義歸結之間的等價性,併通過實例說明其有效性.接著,給齣瞭語言真值格值命題邏輯繫統的α-語義歸結算法,併證明瞭該算法的可靠性和完備性.
어언치지능신식처리시인공지능적일개중요연구방향,기우귀결원리적자동추리인역우재계산궤상실현이득도엄범연구.위료제고기우어언진치격치라집적α-귀결원리적효솔,장어의귀결책략응용우α-귀결원리,연구료기우격치라집적귀결자동추리방법.수선급출료어언진치격치명제라집계통적α-어의귀결여(Ψ)nP(X)중상응귀결수평적어의귀결지간적등개성,병통과실례설명기유효성.접착,급출료어언진치격치명제라집계통적α-어의귀결산법,병증명료해산법적가고성화완비성.