Title :
Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic
Author :
Liu, Jun ; López, Luis Martinez ; Xu, Yang ; Lu, Zhirui
Author_Institution :
Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey
Abstract :
In this paper, firstly a new automated reasoning algorithm based on Boolean logic is proposed and its theorems of soundness and completeness on validating the unsatisfiability of logic formulae are given. Then this procedure is extended to a linguistic valued Lukasiewicz propositional logic L(X) with truth-value in Lukasiewicz linguistic valued algebras, and an a- automated reasoning algorithm with respect to certain linguistic value level a in L(X) is given. Its theorems of soundness and completeness associated with the a- unsatisfiability of the logical formulae in L(X) are also proved. This reflects the symbolic approach acts by direct reasoning on linguistic truth values.
Keywords :
Boolean functions; algebra; computational linguistics; Boolean logic; Lukasiewicz linguistic valued algebras; automated reasoning algorithm; linguistic truth values; linguistic valued Lukasiewicz propositional logic; proof systems; Algebra; Artificial intelligence; Boolean functions; Computer science; Fuzzy logic; Lattices; Logic functions; Logic programming; Mathematics; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 2007. ISMVL 2007. 37th International Symposium on
Conference_Location :
Oslo
Print_ISBN :
0-7695-2831-7
DOI :
10.1109/ISMVL.2007.9
