α-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 [J].
He, Xingxing ;
Xu, Yang ;
Liu, Jun ;
Chen, Shuwei .
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 [J].
Meng, Jia ;
Paulson, Lawrence C. .
JOURNAL OF APPLIED LOGIC, 2009, 7 (01) :41-57
123