Fuzzy Logic and the Resolution Principle

From MaRDI portal
Revision as of 04:22, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5656745

DOI10.1145/321679.321688zbMath0245.02020OpenAlexW2072203301WikidataQ130907535 ScholiaQ130907535MaRDI 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




Related Items (58)

1998 European Summer Meeting of the Association for Symbolic LogicSimilarity-Based Equality with Lazy EvaluationBeyond multi-adjoint logic programmingThe implementation of FPROLOG - a fuzzy PROLOG interpreterFuzzy sets in approximate reasoning. II: Logical approachesGeneral form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logicFundamentals of Fuzzy PrologPossibilistic logic: a retrospective and prospective viewFuzzy Prolog: A new approach using soft constraints propagationFuzzy propositional logicsAxiomatic approach to implication for approximate reasoning with fuzzy logicUnnamed ItemAn empirically supported approach to the treatment of imprecision in vague reasoningOn the inclusiveness of information retrieval systems with documents indexed by weighted descriptorsThe fuzzy logic programming language FASILL: design and implementationResolution principles in possibilistic logicThe treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theoryGraded many-valued resolution with aggregation.Relaxed unification -- proposalFuzzy term-rewriting systemA fuzzy Petri net for knowledge representation and reasoningOutline of an approach for the analysis of fuzzy systemsA Transformation-based implementation for CLP with qualification and proximityFree fuzzy groups and fuzzy group presentationsOptimizing Fuzzy Logic Programs by Unfolding, Aggregation and FoldingProximity-based unification theorySome notes concerning fuzzy logicsDetermination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)Fuzzy logic from the viewpoint of machine intelligencePavelka-style fuzzy logic in retrospect and prospectON 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 logicNumerical evaluation of the validity of experimental proofs in biology\(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logicConcerning a quantum-like uncertainty relation for pairs of complementary fuzzy setsA sound and complete semantics for a similarity-based logic programming languageFuzzy propositional logic. Algebraic approachThe concept of a linguistic variable and its application to approximate reasoning. IThe concept of a linguistic variable and its application to approximate reasoning. IIThe concept of a linguistic variable and its application to approximate reasoning. IIIEfficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic ProgramsSymbolic Unfolding of Multi-adjoint Logic ProgramsAnnotated fuzzy logic programsA new fuzzy resolution principle based on the antonymSimilarity-based SLD resolution and its role for web knowledge discoveryLimitations of quantitative operator fuzzy logicA hybrid programming scheme combining fuzzy-logic and functional-logic resourcesVague Domains, S-Unification and Logic ProgrammingPossibility theory is not fully compositional! A comment on a short note by H. J. GreenbergA theoretical background for applying fuzzy set theory in information retrievalUnnamed ItemFuzzy types: A framework for handling uncertainty about types of objectsFree fuzzy modules and their basesFuzzy operator logic and fuzzy resolutionFuzzy propositional logicApproximate reasoning by similarity-based SLD resolution.







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