基于格值一阶逻辑LF（X）的自动推理算法

doi:10.3778/j.issn.1002-8331.2010.23.005

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (23): 18-20.DOI: 10.3778/j.issn.1002-8331.2010.23.005

基于格值一阶逻辑LF（X）的自动推理算法

李晓冰¹，徐扬²

1.东北财经大学管理科学与工程学院，辽宁大连 116025
2.西南交通大学智能控制开发中心，成都 610031

收稿日期:2010-05-10 修回日期:2010-06-28 出版日期:2010-08-11 发布日期:2010-08-11
通讯作者: 李晓冰

Automated reasoning algorithm based on lattice-valued first-order logic LF（X）

LI Xiao-bing¹，XU Yang²

1.Department of Management Science and Engineering，Dongbei University of Finance and Economics，Dalian，Liaoning 116025，China
2.Intelligent Control Development Center，Southwest Jiaotong University，Chengdu 610031，China

Received:2010-05-10 Revised:2010-06-28 Online:2010-08-11 Published:2010-08-11
Contact: LI Xiao-bing

摘要/Abstract

摘要： 基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题，以格值一阶逻辑LF(X)的α-归结原理为理论基础，通过对例子进行分析，提出了LF(X)中简单广义子句集的归结自动推理算法，并证明了该算法的可靠性和完备性。

关键词: 格值一阶逻辑, 自动推理, α-归结原理, 简单广义子句集

Abstract: Resolution reasoning method based on predicate logic is one of methods which are well-developed and can be implemented on computer.In order to solve automated reasoning based on resolution principle in lattice-valued first-order logic，a resolution automated reasoning algorithm based on α-resolution principle in lattice-valued first-order logic is proposed by analyzing an example.Its soundness and completeness are proved.

Key words: lattice-valued first-order logic, automated reasoning, α-resolution principle, simple generalized clause set

中图分类号:

TP301.6

李晓冰¹，徐扬². 基于格值一阶逻辑LF（X）的自动推理算法[J]. 计算机工程与应用, 2010, 46(23): 18-20.

LI Xiao-bing¹，XU Yang². Automated reasoning algorithm based on lattice-valued first-order logic LF（X）[J]. Computer Engineering and Applications, 2010, 46(23): 18-20.

[1]	张家锋1，曹发生2. 格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性[J]. 计算机工程与应用, 2015, 51(24): 8-11.
[2]	刘熠1，2，徐扬2，贾海瑞2. 基于格值一阶逻辑[LF(X)]的多元[α]-归结原理的注记[J]. 计算机工程与应用, 2015, 51(14): 51-56.
[3]	陈振宇¹,袁毓林²,张秀松²,周强³. 亲属关系的逻辑意义及其自动推理[J]. 计算机工程与应用, 2009, 45(16): 43-47.
[4]	李晓冰¹,邱小平²,徐扬¹. 格值命题逻辑系统L₉P（X）中的自动推理算法[J]. 计算机工程与应用, 2008, 44(10): 6-9.

基于格值一阶逻辑LF（X）的自动推理算法

Automated reasoning algorithm based on lattice-valued first-order logic LF（X）

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics