Fuzzy Logic and the Resolution Principle
From MaRDI portal
Publication:5656745
Cited in
(58)- Fuzzy propositional logic
- 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)\)
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Possibilistic logic: a retrospective and prospective view
- Approximate reasoning by similarity-based SLD resolution.
- Fuzzy propositional logics
- Resolution principles in possibilistic logic
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- Fuzzy types: A framework for handling uncertainty about types of objects
- 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
- An empirically supported approach to the treatment of imprecision in vague reasoning
- Free fuzzy modules and their bases
- Free fuzzy groups and fuzzy group presentations
- Fundamentals of Fuzzy Prolog
- Beyond multi-adjoint logic programming
- Outline of an approach for the analysis of fuzzy systems
- \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic
- A transformation-based implementation for CLP with qualification and proximity
- Fuzzy logic from the viewpoint of machine intelligence
- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- Similarity-Based Equality with Lazy Evaluation
- Some notes concerning fuzzy logics
- Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
- Annotated fuzzy logic programs
- scientific article; zbMATH DE number 3483945 (Why is no real title available?)
- Fuzzy term-rewriting system
- Foundation of credibilistic logic
- Fuzzy sets in approximate reasoning. II: Logical approaches
- Vague domains, S-unification and logic programming
- scientific article; zbMATH DE number 3696535 (Why is no real title available?)
- A theoretical background for applying fuzzy set theory in information retrieval
- Fuzzy operator logic and fuzzy resolution
- Optimizing fuzzy logic programs by unfolding, aggregation and folding
- 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
- On the inclusiveness of information retrieval systems with documents indexed by weighted descriptors
- Similarity-based SLD resolution and its role for web knowledge discovery
- Pavelka-style fuzzy logic in retrospect and prospect
- Symbolic unfolding of multi-adjoint logic programs
- 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
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)
