DocumentCode
2790517
Title
J - Automated Reasoning Method Based On LP(X)
Author
Li, Xiaobing ; Meng, Dan ; Xu, Yang
Author_Institution
Southwest Jiaotong University, Chengdu, Sichuan 610031, China
Volume
2
fYear
2006
fDate
9-11 Nov. 2006
Firstpage
141
Lastpage
144
Abstract
In the present paper, automated reasoning based on lattice-valued propositional logic, will be focused where the clauses only contains 0- IESFs as its generalized literals. A method of automated reasoning is given, and the soundness and the completeness of this method is proved. It is hoped that this research will make forward theoretical research of automated reasoning based on lattice-valued logic.
Keywords
Algebra; Artificial intelligence; Computer science; Cost accounting; Filters; Information science; Lattices; Logic functions; Multivalued logic; Paper technology;
fLanguage
English
Publisher
ieee
Conference_Titel
Hybrid Information Technology, 2006. ICHIT '06. International Conference on
Conference_Location
Cheju Island
Print_ISBN
0-7695-2674-8
Type
conf
DOI
10.1109/ICHIT.2006.253603
Filename
4021208
Link To Document