@article {IIIA-2002-683,
title = {Towards an Automated Deduction System for First-Order Possibilistic Logic Programming with Fuzzy Constants},
journal = {Int. Journal of Intelligent Systems},
volume = {17},
number = {9},
year = {2002},
pages = {887-924},
abstract = {In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly know information. Formulas are represented by a pair ({\textquoteright}phi{\textquoteright},{\textquoteright}alpha{\textquoteright}), in which {\textquoteright}phi{\textquoteright} is a first-order Horn clause or a query with fuzzy constants and regular predicates, and {\textquoteright}alpha{\textquoteright} {\textquoteright}e{\textquoteright} [0,1] is a lower bound on the belief on j in terms of necessity measures. Since fuzzy constants can occur in the logic component of formulas, the truth value of formulas is many-valued instead of Boolean. Moreover, since we have to reason about the possibilistic uncertainty of formulas with fuzzy constants, belief states are modelled by normalized possibility distributions on a set of many-valued interpretations. In this framework, (1) we define a syntax and a semantics of the underlying logic; (2) we give a sound modus ponens-style calculus by derivation based on a semantic unification pattern of fuzzy constants; (3) we develop a directional fuzzy unification algorithm based on the distinction between general and specific object constants; and (4) we describe a backward first-order proof procedure oriented to queries that is based on the calculus of the language and the computation of the unification degree between fuzzy constants in terms of a necessity measure for fuzzy events.},
author = {Teresa Alsinet and Llu{\'\i}s Godo}
}