α-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

Volume

3

fYear

2011

fDate

26-28 July 2011

Firstpage

1418

Lastpage

1422

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on

Conference_Location

Shanghai

Print_ISBN

978-1-61284-180-9

Type

conf

DOI

10.1109/FSKD.2011.6019839

Filename

6019839