Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates are circuits that have the same number of inputs and outputs and have one-to-one and onto mapping between vectors of inputs and outputs; thus the vector of input states can be always reconstructed from the vectors of o...

with conventional expert systems, it is clear that 1) 2) 3) AARS can reduce the size of the rule base; AARS uses linguistic variables rather than quantitative variables; AARS increases the system's flexibility. In future research, we expect to 1) associate observation P,' and rule R , with certainty factors CF, and CF, and derive a certainty factor for consequent experiment with other forms of ...

This is an author produced version of a conference paper. The paper has been peer-reviewed but may not include the final publisher proof-corrections or pagination of the proceedings. Abstract: The compositional rule of inference, grounded on the modus ponens law, is one of the most effective fuzzy systems. We modify the classical version of the rule (Zadeh, 1973, 1979) to propose an original mo...

Starting from the generic pattern of the Generalized Modus Ponens, we develop an efficient yet expressive quantitative model of approximate reasoning that tries to combine “the best of different worlds”; following a recent trend, we make a distinction between positive or observed (“guaranteed”) fuzzy rules on one hand, and negative or restricting ones on the other hand, which allows to mend som...

In this paper we propose a propositional temporal language based on fuzzy temporal constraints which turns out to be expressive enough for domains –like many coming from medicine– where knowledge is of propositional nature and an explicit handling of time, imprecision and uncertainty are required. The language is provided with a natural possibilistic semantics to account for the uncertainty iss...

A new approach for uncertainty management for fuzzy, rule based decision support systems is proposed: The domain e:z:pert 's knowledge is e:z:pressed by a set of rules that frequently refer to vague and uncertain propositions. Th.e certainty of propositions is represented using intervals {a. bj e:z:pressing that the proposition's probability is at least a and at most b. Methods and techniques f...

This paper is devoted to the study of discrete implications that satisfy modus ponens (MP), modus tollens (MT) or both (MPT). The main goal is to characterize all R, S, QL and D-implications on a finite chain L satisfying these properties for a given smooth t-norm T1. The non-smooth case is also discussed for a special family of t-norms.

This paper is devoted to the research of full implication triple I method under Pythagorean fuzzy environment. We first propose concepts t-norm, t-conorm, residual operator (RPFIO) and biresiduum. The for modus ponens (PFMP) tollens (PFMT) are also established. In addition, properties PFMP PFMT models including robustness, continuity reversibility analyzed. Finally, a practical problem discusse...