计算机科学 ›› 2015, Vol. 42 ›› Issue (4): 249-252.doi: 10.11896/j.issn.1002-137X.2015.04.051

• 人工智能 • 上一篇    下一篇

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记

刘 熠,徐 扬,贾海瑞   

  1. 内江师范学院数学与信息科学学院 内江641112;西南交通大学智能控制开发中心 成都610031,西南交通大学智能控制开发中心 成都610031,西南交通大学智能控制开发中心 成都610031
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61175055,4),四川省教育厅科研项目重点项目(14ZA0245),教育部“数学与应用数学”专业综合改革(ZG0464),四川省教育厅“数学与应用数学”专业综合改革(01249),四川省应用基础研究计划(2015YJ0120)资助

Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)

LIU Yi, XU Yang and JIA Hai-rui   

  • Online:2018-11-14 Published:2018-11-14

摘要: 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。

关键词: 格蕴涵代数,格值命题逻辑,多元α-归结原理

Abstract: The basic theory of multi-ary α-resolution principle based on lattice-valued propositional logical system LP(X) with truth in a lattice implication algebra was further investigated,and the basic principle of the number of genera-lized literals which take part in the multi-ary α-resolution varies with the resolution deduction in LP(X) was gaven.The validities of multi-ary α-resolution principle in LP(X) were analyzed,which will lay the theoretical foundation for buil-ding the multi-ary α-semantic resolution method and constructing the multi-ary α-semantic resolution algorithm in LP(X).

Key words: Lattice implication algebras,Lattice-valued propositional logic,Multi-ary α-resolution principle

[1] Anatoli D,Robert N,Andrei V.Stratified Resolution[J].Journal of Symbolic Computation,2003,36:79-99
[2] 吴茂康,缪淮扣.自动定理证明中的一个通用证明法[J].上海大学学报:自然科学版,1997,3(3):283-288
[3] 刘叙华.基于归结方法的自动推理[M].北京:科学出版社,1994
[4] 刘叙华.广义模糊逻辑和锁语义归结原理[J].计算机学报,1980(2):97-111
[5] 蔡致暖,黄乾,黄庆彦,等.基于支持集策略的归结推理方法的实现及其优化[J].现代计算机,2005(5):92-94
[6] Xu Y,Qin K Y.Lattice-Valued Propositional Logic (I) [J].Southwest Jiaotong University,1993,1(2):123-128
[7] Xu Y,Ruan D,et al.α-Resolution principle based on first-order lattice-valued logic LF(X)[J].Information Sciences,2001,132(1-4):221-239
[8] Xu Y,Qin K Y,Liu J,et al.L-Valued Proposition Logic Lvpl[J].Information Sciences,1999,4:205-235
[9] Xu Y,Liu J,Song Z M,et al.On Semantics of L-valued First Order Logic Lvfl[J].Internat.J.Gen.Systems,2000,29(1):53-79
[10] Xu Y,Ruan D,Kerre E E,et al.α-Resolution Principle Based on Lattice-Valued Propositional Logic LP(X) [J].Information Scie-nces,2000,130:195-223
[11] Xu Y,Song Z M,Qin K Y,et al.Syntax of L-valued First-order Logic Lvfl[J].Internat.J.Multiple-Valued Logic,2001,7:213-257
[12] Xu Y,Ruan D,Kerre E E,et al.α-Resolution Principle Based on Lattice-valued First-order Logic LF(X) [J].Information Scie-nces,2001,2:221-239
[13] Xu Y,Ruan D,Qin K Q,et al.Lattice-valued Logic--An Alternative Approach to Treat Fuzziness and Incomparability[M].Springer-Verlag,2003
[14] Xu Y,Xu W T,Zhong X M,et al.α-Generalized Resolution Principle Based on Lattice-valued Propositional Logic LP(X)[C]∥Proceedings of the 9th International Conference on Foundations and Applications of Computational Intelligence.Chengdu(Emei),China,2010:66-71
[15] Xu Y,Liu J,Zhong X M,et al.Multi-ary α-Resolution Principle for a Lattice-valued Logic[J].IEEE Transactions on Fuzzy Systems,2013,21(5):88-912
[16] Xu Y,Liu J,Ruan D,et al.α-Resolution Determination in Lattice-valued First-order Logic LF(X) [J].Information Sciences,2011,181:1836-1862
[17] Liu Y,Jia H R,Xu Y.Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X) [J].International Journal of Computational Intelligence Systems,2013,6(5):943-953
[18] 刘熠,徐扬,秦亚.区间值(α,β)-模糊格蕴涵子代数[J].计算机科学,2011,8(4):263-266
[19] 张家锋,徐扬,何星星.格值语义归结推理方法[J].计算机科学,2011,8(9):201-204

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!