Fuzzy Logic and the Resolution Principle

DOI10.1145/321679.321688zbMath0245.02020OpenAlexW2072203301MaRDI QIDQ5656745

Richard Chia-Tung Lee

Publication date: 1972

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321679.321688

Mathematics Subject Classification ID

Related Items (58)

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

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