Towards an automated deduction system fo
✍
Teresa Alsinet; Lluís Godo
📂
Article
📅
2002
🏛
John Wiley and Sons
🌐
English
⚖ 245 KB
In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (ϕ, α), in which ϕ is a first-order Horn clause or a query with fuzzy constants and regular predicates, and α ∈ [0