Title :
α-group resolution method based on lattice-valued propositional logic LP(X)
Author :
Xiaomei Zhong ; Yang Xu
Author_Institution :
Sch. of Math., Southwest Jiaotong Univ., Chengdu, China
Abstract :
In the present paper, resolution-based automated reasoning method in lattice-valued propositional logic LP(X) with truth-value in lattice implication algebras is focused. Concretely, α-group resolution method based on the general form of α-resolution principle is studied in LP(X). Firstly, concepts of α-group resolution and α-group resolution deduction are proposed in LP(X). Secondly, soundness and weak completeness of α-group resolution are also established in LP(X). Finally, the fact that α-group resolution method can improve the efficiency of resolution to some extent is illustrated through two examples.
Keywords :
formal logic; group theory; inference mechanisms; lattice theory; α-group resolution deduction; α-group resolution method; lattice implication algebras; lattice valued propositional logic; resolution based automated reasoning method; truth value; Algebra; Cognition; Cost accounting; Educational institutions; Lattices; Pragmatics; Presses; α-Group resolution method; Automated reasoning; Lattice-valued propositional logic LP(X); lattice implication algebra;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-180-9
DOI :
10.1109/FSKD.2011.6019839
