Fuzzy logic programming
From MaRDI portal
Publication:6215466
DOI10.1016/s0165-0114(01)00106-3zbMath1015.68036MaRDI QIDQ6215466
Publication date: 21 May 2002
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Related Items (54)
Similarity-based unification: A multi-adjoint approach ⋮ MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations ⋮ A neural implementation of multi-adjoint logic programming ⋮ Termination of logic programs with imperfect information: applications and query procedure ⋮ Beyond multi-adjoint logic programming ⋮ Meta-logic programming for a synonymy logic ⋮ On fuzzy unfolding: A multi-adjoint approach ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants ⋮ Fuzzy Prolog: A new approach using soft constraints propagation ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Fuzzy logic programming via multilattices ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ On the existence of free models in fuzzy universal Horn classes ⋮ Measures of inclusion and entropy based on the \(\varphi\)-index of inclusion ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ Fuzzy Turing machines: normal form and limitative theorems ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption ⋮ Integrated Query Answering with Weighted Fuzzy Rules ⋮ A core language for fuzzy answer set programming ⋮ Extended multi-adjoint logic programming ⋮ Formal theories and linguistic descriptions. ⋮ On quasi-varieties of multiple valued logic models ⋮ Reducing fuzzy answer set programming to model finding in fuzzy logics ⋮ A Transformation-based implementation for CLP with qualification and proximity ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ Proximity-based unification theory ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ A declarative semantics for CLP with qualification and proximity ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Fuzzy logic programming and fuzzy control ⋮ Unnamed Item ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ On reductants in the framework of multi-adjoint logic programming ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Modeling multi-valued biological interaction networks using fuzzy answer set programming ⋮ Extending fuzzy logics with many hedges ⋮ DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS ⋮ Towards the Use of Hypergraphs in Multi-adjoint Logic Programming ⋮ Modeling Interpretive Steps in Fuzzy Logic Computations ⋮ Fuzzy linguistic logic programming and its applications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Aggregated fuzzy answer set programming ⋮ A comparison of fuzzy and annotated logic programming ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ Bilattices for deductions in multi-valued logic
Cites Work
- Fuzzy logic and approximate reasoning
- Metamathematics of fuzzy logic
- Theory of T-norms and fuzzy inference methods
- Fuzzy sets in approximate reasoning. II: Logical approaches
- Quantitative deduction and its fixpoint theory
- On Fuzzy Logic I Many‐valued rules of inference
- Fuzzy sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Fuzzy logic programming
