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

Previous studies of uxoricide (wife murder) have tended to focus on the ratio of uxoricide to femicide (killing of women), prior histories of physical abuse, use of excessive force (“overkill”), and the role of estrangement as risk factors. However, little attention has been directed toward personality disorder in perpetrators of uxoricide and whether personality disorder relates to the modus o...

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violat...

Two competing theories of processing of conditionals (if-then) were tested. Syntactic theories posit that people only draw inferences conforming to the logically valid modus ponens (MP) schema. Mental models theories predict that people draw MP and invalid affirming-the-consequent (AC) inferences. Three experiments tested these predictions. Participants read short stories that conformed to eith...

Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks such as controlling fluid levels in a reactor, automatical lens focussing in cameras and adjusting an aircraft’s navigation to the change of winds and so on. Contrary to the intuition often seen as the feeding ground of fuzz...

1 Motivation Tactical theorem provers or proof planners, such as Clam 4], HOL3], or mega 2] provide proof tactics and/or proof methods to support abstract level proof construction and to improve the communication with the user. Tactics and methods typically abbreviate frequently recurring low level proof patterns. A system like mega 2] is capable of an explicit maintenance of abstract level pro...