Fuzzy Prolog: A new approach using soft constraints propagation

DOI10.1016/j.fss.2003.10.017zbMath1065.68023OpenAlexW2007452568MaRDI QIDQ598583

C. Vaucheret, Sergio Guadarrama, Susana Muñoz

Publication date: 6 August 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2003.10.017

zbMATH Keywords

Modeling uncertaintyConstraint programming applicationFuzzy logic programmingFuzzy PrologImplementation of fuzzy Prolog

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (16)

Beyond multi-adjoint logic programming ⋮ On fuzzy unfolding: A multi-adjoint approach ⋮ Qualified Computations in Functional Logic Programming ⋮ An empirically supported approach to the treatment of imprecision in vague reasoning ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ A Transformation-based implementation for CLP with qualification and proximity ⋮ Proximity-based unification theory ⋮ A declarative semantics for CLP with qualification and proximity ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ On reductants in the framework of multi-adjoint logic programming ⋮ Qualified Logic Programming with Bivalued Predicates ⋮ On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-Prolog System: Declarative Semantics, Implementation and Applications ⋮ Modeling Interpretive Steps in Fuzzy Logic Computations ⋮ An improved reductant calculus using fuzzy partial evaluation techniques ⋮ A hybrid programming scheme combining fuzzy-logic and functional-logic resources ⋮ What about fuzzy logic's linguistic soundness?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A review of fuzzy set aggregation connectives
• Fundamentals of Fuzzy Prolog
• Fuzzy sets as a basis for a theory of possibility
• Triangular norms
• A general class of triangular norm-based aggregation operators: Quasi-linear \(T-S\) operators
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Conjunction and disjunction on \(([0,1,\leq)\)]
• A lattice-theoretical fixpoint theorem and its applications
• Fuzzy Logic and the Resolution Principle
• Fuzzy logic programming

This page was built for publication: Fuzzy Prolog: A new approach using soft constraints propagation