Semantics and computation of the generalized modus ponens: The long paper

DOI10.1016/0888-613X(89)90006-6MaRDI QIDQ582262zbMATH OpenFDO

Authors Roger Martin-Clouaire

Publication date 1989

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0888-613X(89)90006-6

zbMATH Keywords

deduction rulesfuzzy logicgeneralized modus ponens

Mathematics Subject Classification ID

Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Review text

The generalized modus ponens deals with the problem of inference in an imprecise setting. The paper explores four of the most often encountered possibilities, in the case where a single rule is considered at a time. The behavior of two deduction systems sufficient for practical use is investigated in the situation where the dependency between antecedent and consequent variables is described by a collection of rules. It is shown that one can get a meaningful approximation of what is produced by the generalized modus ponens technique. This paper suggests one more step to computational tractability of the fuzzy set theory framework.

Recommendations

• scientific article; zbMATH DE number 5295712
• scientific article; zbMATH DE number 1252393
• Generalized quantifiers and modal logic
• On modulated logics for `generally': some metamathematical issues
• scientific article; zbMATH DE number 1140671
• scientific article; zbMATH DE number 140385
• Generalized Modus Ponens for (U, N)-implications
• Gentzen calculi for modal propositional logic
• Towards a generalization of modal definability
• Generalized modal satisfiability

Cites work

• A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
• Comparison of fuzzy reasoning methods
• FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED
• Fuzzy sets as a basis for a theory of possibility
• scientific article; zbMATH DE number 3896839 (Why is no real title available?)
• scientific article; zbMATH DE number 3928966 (Why is no real title available?)
• scientific article; zbMATH DE number 4097347 (Why is no real title available?)
• scientific article; zbMATH DE number 3194149 (Why is no real title available?)
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• The role of fuzzy logic in the management of uncertainty in expert systems

Cited in

(17)

• A key to fuzzy-logic inference
• On computation of the compositional rule of inference under triangular norms
• The generalized modus ponens and the triangular fuzzy data model
• Parameterized R-implications
• Can approximate reasoning be consistent?
• Rule reduction for efficient inferencing in similarity based reasoning
• Investigations of fuzzy implications satisfying generalized hypothetical syllogism
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Generalized rule of modus ponens
• FUZZY MEASURES AND FUZZY INTEGRALS: AN OVERVIEW
• scientific article; zbMATH DE number 3928966 (Why is no real title available?)
• FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED
• scientific article; zbMATH DE number 4097347 (Why is no real title available?)
• scientific article; zbMATH DE number 19875 (Why is no real title available?)
• scientific article; zbMATH DE number 1396179 (Why is no real title available?)
• On functional equations and inequalities related to some reasoning schemes that involve fuzzy implications
• Influence of the fuzzy implication operator on the method-of-cases inference rule

This page was built for publication: Semantics and computation of the generalized modus ponens: The long paper

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582262)