Fuzzy Logic and the Resolution Principle

From MaRDI portal
Publication:5656745


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


03E70: Nonclassical and second-order set theories

03B50: Many-valued logic


Related Items

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)\), Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets, Possibilistic logic: a retrospective and prospective view, Fuzzy Prolog: A new approach using soft constraints propagation, Resolution principles in possibilistic logic, A theoretical background for applying fuzzy set theory in information retrieval, The implementation of FPROLOG - a fuzzy PROLOG interpreter, Fundamentals of Fuzzy Prolog, Fuzzy propositional logics, Axiomatic approach to implication for approximate reasoning with fuzzy logic, On the inclusiveness of information retrieval systems with documents indexed by weighted descriptors, Fuzzy term-rewriting system, A fuzzy Petri net for knowledge representation and reasoning, Free fuzzy groups and fuzzy group presentations, Numerical evaluation of the validity of experimental proofs in biology, 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, Limitations of quantitative operator fuzzy logic, Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg, Free fuzzy modules and their bases, Fuzzy operator logic and fuzzy resolution, Fuzzy propositional logic, Graded many-valued resolution with aggregation., Relaxed unification -- proposal, Annotated fuzzy logic programs, A new fuzzy resolution principle based on the antonym, Fuzzy types: A framework for handling uncertainty about types of objects, Approximate reasoning by similarity-based SLD resolution., Similarity-based SLD resolution and its role for web knowledge discovery, Foundation of credibilistic logic, \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic, Fuzzy logic from the viewpoint of machine intelligence, Fuzzy sets in approximate reasoning. II: Logical approaches, Unnamed Item, The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory, Unnamed Item, Outline of an approach for the analysis of fuzzy systems, Some notes concerning fuzzy logics, 1998 European Summer Meeting of the Association for Symbolic Logic