@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 ('phi','alpha'), in which 'phi' is a first-order Horn clause or a query with fuzzy constants and regular predicates, and 'alpha' 'e' [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} }