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

fYear

2009

fDate

24-26 Nov. 2009

Firstpage

1666

Lastpage

1669

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCIT.2009.260

Filename

5369305