Robinson, J.A. (1965) A Machine Oriented Logic Based on the Resolution Principle. Journal of the ACM, 12, 23-41.
https://doi.org/10.1145/321250.321253

has been cited by the following article:

• TITLE: A Fuzzy Logic Based Resolution Principal for Approximate Reasoning

  AUTHORS: Alex Tserkovny

  KEYWORDS: Fuzzy Logic, Deduction, Fuzzy Resolvent, Implication, Disjunction, Conjunction, Antecedent, Consequent, Modus-Ponens, Modus-Tollens, Fuzzy Conditional Inference Rule

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.10 No.10, September 28, 2017

  ABSTRACT: In this article, we present a systemic approach toward a fuzzy logic based formalization of an approximate reasoning methodology in a fuzzy resolution, where we derive a truth value of A from both values of B → A and B by some mechanism. For this purpose, we utilize a t-norm fuzzy logic, in which an implication operator is a root of both graduated conjunction and disjunction operators. Furthermore by using an inverse approximate reasoning, we conclude the truth value of A from both values of B → A and B, applying an altogether different mechanism. A current research is utilizing an approximate reasoning methodology, which is based on a similarity relation for a fuzzification, while similarity measure is utilized in fuzzy inference mechanism. This approach is applied to both generalized modus-ponens/modus-tollens syllogisms and is well-illustrated with artificial examples.