Title :
Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)
Author :
Deng, Wenhong ; Lai, Jiajun ; Xu, Yang ; He, Xingxing ; Zhang, Jiafeng
Author_Institution :
Intell. Control Dev. Center, Southwest Jiaotong Univ., Chengdu, China
Abstract :
In this paper, under linguistic truth-valued lattice-valued first-order logic system lF(X) , the Consistency of reasoning rules is obtained, by select the parametric ¿,ß, T and I of approximate input information from the fuzziness and the incomparability in the intelligent information processing. Secondly, with the representability of inference rules in model (1) investigated, we also study consistent level.
Keywords :
computational linguistics; formal logic; inference mechanisms; uncertainty handling; first-order logic; inference rules; intelligent information processing; linguistic truth-valued lattice values; reasoning under uncertainty; Algebra; Fuzzy logic; Fuzzy reasoning; Fuzzy set theory; Humans; Information processing; Intelligent control; Lattices; Logic functions; Uncertainty; Approximate reasoning; Consistency; Knowledge uncertainty; Linguistic truth-valued Lattice-Valued First-Order Logic;
Conference_Titel :
Computer Sciences and Convergence Information Technology, 2009. ICCIT '09. Fourth International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-5244-6
Electronic_ISBN :
978-0-7695-3896-9
DOI :
10.1109/ICCIT.2009.260
