α-MINIMAL RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)

被引：0
作者：
Jia, Hairui [1 ]
Xu, Yang [1 ]
Liu, Yi [1 ,2 ]
He, Huicong [1 ]
机构：
[1] Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Sichuan, Peoples R China
[2] Neijiang Normal Univ, Coll Math & Informat Sci, Neijiang 641112, Sichuan, Peoples R China
来源：
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4 | 2013年
关键词：
Automated reasoning; Lattice-valued propositional logic LP(X); alpha-minimal resolution principle; alpha-minimal resolution group;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary a-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice algebraic structure - lattice implication algebras (LIA), this paper is focused on investigating alpha-n(t)-ary resolution based dynamic automated reasoning system based on lattice-valued propositional logic LP(X) based in LIA. One of key issues for alpha-n(t) ary resolution automated reasoning for LP(X) is how to choose generalized literals. In this paper, the definition of alpha-minimal resolution principle which determines how to choose generalized literals in LP(X) is introduced. Then, its soundness and completeness are proved. These results lay the foundation for research of alpha-n(t) ary resolution automated reasoning.
引用
收藏
页码：1729 / 1734
页数：6
相关论文
共 26 条
  • [1] [Anonymous], 2003, STUD FUZZINESS SOFT
  • [2] Cal Z. N., 2005, MODERN COMPUTER, V5, P92
  • [3] He Xi, 2012, THESIS
  • [4] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (06): : 1120 - 1134
  • [5] Li X. B., 2008, CHINESE Q J MATH, V6, P262
  • [6] Liu X. H., 1985, CHINESE SCI BULL, V16, P1201
  • [7] Liu X. H., 1987, THEOREM MACHINE PROV
  • [8] Liu X. H, 1992, J SOFTWARE, V2, P60
  • [9] Liu XH, 1979, J JILIN U SCI EDITIO, V4, P129
  • [10] Lightweight relevance filtering for machine-generated resolution problems
    Meng, Jia
    Paulson, Lawrence C.
    [J]. JOURNAL OF APPLIED LOGIC, 2009, 7 (01) : 41 - 57
123