Fuzzy Logic and the Resolution Principle

Cited In (58)

1998 European Summer Meeting of the Association for Symbolic Logic
An empirically supported approach to the treatment of imprecision in vague reasoning
Title not available (Why is that?)
Fuzzy Prolog: A new approach using soft constraints propagation
A fuzzy Petri net for knowledge representation and reasoning
The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory
Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
The fuzzy logic programming language FASILL: design and implementation
\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
Possibilistic logic: a retrospective and prospective view
Approximate reasoning by similarity-based SLD resolution.
Fuzzy propositional logics
Resolution principles in possibilistic logic
Fuzzy types: A framework for handling uncertainty about types of objects
A Transformation-based implementation for CLP with qualification and proximity
The concept of a linguistic variable and its application to approximate reasoning. II
A sound and complete semantics for a similarity-based logic programming language
Limitations of quantitative operator fuzzy logic
Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
Relaxed unification -- proposal
Graded many-valued resolution with aggregation.
A new fuzzy resolution principle based on the antonym
ON THE NOTION OF RELEVANCE IN INFORMATION RETRIEVAL
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Free fuzzy modules and their bases
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Beyond multi-adjoint logic programming
Free fuzzy groups and fuzzy group presentations
Fundamentals of Fuzzy Prolog
Outline of an approach for the analysis of fuzzy systems
Symbolic Unfolding of Multi-adjoint Logic Programs
\(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic
Fuzzy logic from the viewpoint of machine intelligence
The implementation of FPROLOG - a fuzzy PROLOG interpreter
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
Similarity-Based Equality with Lazy Evaluation
Some notes concerning fuzzy logics
Annotated fuzzy logic programs
Fuzzy term-rewriting system
Foundation of credibilistic logic
Fuzzy sets in approximate reasoning. II: Logical approaches
Vague domains, S-unification and logic programming
Title not available (Why is that?)
A theoretical background for applying fuzzy set theory in information retrieval
Fuzzy operator logic and fuzzy resolution
Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
Fuzzy propositional logic. Algebraic approach
Axiomatic approach to implication for approximate reasoning with fuzzy logic
Similarity-based SLD resolution and its role for web knowledge discovery
On the inclusiveness of information retrieval systems with documents indexed by weighted descriptors
Pavelka-style fuzzy logic in retrospect and prospect
The concept of a linguistic variable and its application to approximate reasoning. I
The concept of a linguistic variable and its application to approximate reasoning. III
Numerical evaluation of the validity of experimental proofs in biology
Proximity-based unification theory
Fuzzy propositional logic

This page was built for publication: Fuzzy Logic and the Resolution Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5656745)