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
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;
Conference_Titel :
Hybrid Information Technology, 2006. ICHIT '06. International Conference on
Conference_Location :
Cheju Island
Print_ISBN :
0-7695-2674-8
DOI :
10.1109/ICHIT.2006.253603
