Fuzzy modus ponens (briefly, FMP) is the most fundamental form of fuzzy reasoning and has been extensively discussed by diverse researchers. The aim of the present paper is to propose a formalized form of FMP, called generalized modus ponens, in the fuzzy logic system L and solve it in L, and then provide its numerical version as a new algorithm for solving FMP. As a preparation, some related q...

Quasi-classical logic (QC logic) allows the derivation of non-trivial classical inferences from inconsistent information. A paraconsis-tent, or non-trivializable, logic is, by necessity, a compromise, or weakening , of classical logic. The compromises on QC logic seem to be more appropriate than other paraconsistent logics for applications in computing. In particular, the connectives behave in ...

INTRODUCTION: MESOvs. NANOSCALE PASSAGE ASSOCIATED WITH ATOMIC/MOLECULAR DETAIL As pointed out by Hamacher [1] computational physics methodologies have become the third leg of natural sciences, specifically, of biological physics and chemistry, because they are striving for effective merging of theory and experiment, sometimes also extending crucially their influence ranges. As addressed by Kli...

This issue features facsimiles of Regimento proueytoso contra ha pestenença and Modus curandi cum balsamo, based on the original texts housed in the Biblioteca Pública de Evora and the Biblioteca Nacional de Portugal, respectively. Semi-diplomatic editions of both facsimiles--with transliterations into modern characters--have also been provided. These are followed by translations, in the case o...

We then turn to a recent u-turn on his part, in which he winds up rescinding his commitment toModus Ponens, on the grounds of a tension with the rule of Import-Export for conditionals. Here we offer an important positive contribution to the literature, settling the following crucial question that Bradley leaves unanswered: Assuming that one gives up on full-blown Modus Ponens on the grounds of ...

Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and suppor...

This paper addresses two modi of analogical reasoning. The rst modus is based on the explicit representation of the justiication for the analogical inference. The second modus is based on the representation of typical instances by concept structures. The two kinds of analogical inferences rely on diierent forms of relevance knowledge that cause non-monotonicity. While the uncertainty and non-mo...

The database of a rule-based systemmay contain imprecisionswhich appear in the description of the rules given by the expert. Because such an inference can not be made by the methods which use classical two valued logic or many valued logic, Zadeh in (Zadeh, 1975) and Mamdani in (Mamdani, 1977) suggested an inference rule called "compositional rule of inference". Using this inference rule, sever...

Human conditional reasoning is defeasible: people withdraw logically valid conclusions if they are aware of situations (i.e., exceptions) that prevent the consequent of the rule to happen although the antecedent is given. In this paper we investigate defeasible reasoning with quantified rules. In two experiments we rephrased conditionals from the literature (Experiment 1) and rules from penal c...

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 satis5es the “basic requirement for fuzzy reasoning”, proposed by Turksen and Tian (Fuzzy Sets and Systems 58 (1993) 3–40). We establish a...