On generalized modus ponens with multiple rules and a residuated implication

Authors:
Nehad N. Morsi;Aly A. Fahmy
Affiliations:
Department of Basic Sciences, Arab Academy for Science, Technology and Maritime Transport, P.O. Box 1029 Miami, Alexandria, Egypt;Department of Computer and Operation Research, Military Technical College, Cairo, Egypt
Venue:
Fuzzy Sets and Systems - Data bases and approximate reasoning
Year:
2002

Citing 9
Cited 6

Inference with a single fuzzy conditional proposition

Fuzzy Sets and Systems
Presumption and prejudice in logical inference

International Journal of Approximate Reasoning
The choice of ply operator in fuzzy intelligent systems

Fuzzy Sets and Systems
An approximate analogical reasoning schema based on similarity measures and interval-valued fuzzy sets

Fuzzy Sets and Systems
Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
A review and comparison of six reasoning methods

Fuzzy Sets and Systems
Combination of rules or their consequences in fuzzy expert systems

Fuzzy Sets and Systems - Special issue on expert decision support systems
What are fuzzy rules and how to use them

Fuzzy Sets and Systems - Special issue dedicated to the memory of Professor Arnold Kaufmann
Fuzzy Sets in Approximate Reasoning and Information Systems

Fuzzy Sets in Approximate Reasoning and Information Systems

Computationally efficient reasoning using approximated fuzzy intervals

Fuzzy Sets and Systems
Rule reduction for efficient inferencing in similarity based reasoning

International Journal of Approximate Reasoning
Relational compositions in Fuzzy Class Theory

Fuzzy Sets and Systems
Practical inference with systems of gradual implicative rules

IEEE Transactions on Fuzzy Systems
The logic of tied implications, part 1: Properties, applications and representation

Fuzzy Sets and Systems
Issues on adjointness in multiple-valued logics

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a multiple-rule, generalized modus ponens inference scheme, with an interpretation based on compositional rule of inference (CRI) and a residuated implication. We show that such a system is equivalent, as far as CRI is concerned, to a system that satisfies the "basic requirement for fuzzy reasoning", proposed by Turksen and Tian (Fuzzy Sets and Systems 58 (1993) 3-40). We establish an analogous conclusion for an alternative interpretation (due to Magrez and Smets) of generalized modus ponens, which we call consequent dilation rule (CDR). This method is computationally faster than CRI, but it produces less specific inference results.