Fixpoint semantics and completeness of the computational model for fuzzy linguistic logic programming

Abstract

Fuzzy linguistic logic programming, which is a result of integrating hedge algebras and fuzzy logic programming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, in which vague sentences are usually given a degree of truth stated in linguistic terms rather than a number, and linguistic hedges are very often used. To compute the truth value of a query, a computational model which directly manipulates linguistic terms is provided. The computational model has been proved to be sound. This paper presents a fixpoint semantics for fuzzy linguistic logic programs and based on it proves the completeness of the computational model. © 2008 Springer-Verlag Berlin Heidelberg.