Simple belief-revision tasks were defined by a giving subjects a conditional premise, (p—>q), a categorical premise, (p, for a modus-ponens belief-set, or ~q, for a modus tollens belief-set), and the associated inference (q or ~p, respectively). "New" information contradicted the initial inference (~ q or p, respectively). Subjects indicated their degree of belief in the conditional premise and...

Reasoners revise their beliefs in the premises when an inference they have made is contradicted. We describe the results of an experiment that shows that the belief they revise depends on the inference they have made. They revise their belief in a conditional (if A then B) when they make a modus tollens inference (from not-B to not-A) that is subsequently contradicted (A). But when they make a ...

Research in the field of human reasoning has shown repeatedly that people find it reasonably easy to detect inconsistencies. The question that still remains is how people revise their beliefs to undo these inconsistencies. We report two experiments in which subjects had to make belief revision choices on modus ponens (MP) and modus tollens (MT) sets of problems that contained conditionals with ...

In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compared to the four-valued description logic, quasi-classical description logic satisfies all of the three basic inference rules (i.e., modus ponens, modus tollens and disjunctive syllogism) so that the inference ability of quasiclassical description logic is closer to that of classical logic. Quasicla...

In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent ...

The past ten years have shown a great variety of approaches for formal argumentation. An interesting question is to which extent these various formalisms correspond to the different application domains. That is, does the appropriate argumentation formalism depend on the particular domain of application, or does “one size fits all”. In this paper, we study this question from the perspective of o...

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...

In this paper, we present a new fuzzy reasoning method based on the compensating fuzzy reasoning (CFR). Its basicidea is to obtain a new fuzzy reasoning result by moving and deforming the consequent fuzzy set on the basis of themoving, deformation, and moving-deformation operations between the antecedent fuzzy set and observation information.Experimental results on real-world data sets show tha...

Modeling human conditional reasoning of the type “if p then q” containing negations poses a challenge for connectionism. An integrate-and-fire pulsed network (INFERNET) was used to model this type of conditional reasoning. This model also provides an insight on certain human limitations. The model is compared to empirical data, and classical explanations. Statistical analysis shows that the mod...

Cross-linguistic comparisons serve as empirical tests generating evidence for and against lexical ambiguity in words like “good”, “know”, “the”, “can”, “may”. Critics question such comparisons' validity. This article examines how cross-linguistic are treated shows that they have two predominant forms: one modeled on modus tollens, another Bayes' theorem, where the former is an enthymematic vers...