Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...

ion [2] [3] PrepareMeal(*I1) Kautz Plan Recognition 09/09/97 page 22 Abstraction [3] [4] End(*I1) Although the recognized plan is not fully specified, enough is known to allow the observer to make predictions about future actions of the agent. For example, the observer can predict that the agent will boil water:ion [3] [4] End(*I1) Although the recognized plan is not fully specified, enough is ...

[ Abstract.] The paper contains some considerations concerning the relationship between decision rules and inference rules from the rough set theory perspective. It is shown that decision rules can be interpreted as a generalization of the modus ponens inference rule, however there is an essential difference between these two concepts. Decision rules in the rough set approach are used to descri...

In this lecture we give several examples and lessons learned from research, development and experiments in the area of theory and applications of information technology. We will try to describe a possible synergy of theory and application too. Namely, to describe where practical needs bring new problems for theory and where theory helps to formulate methods, which should be verified in practice...

We will begin by defining some logical connectives. The first logical connective is implication. Luckily, implication is already built in to the Haskell type system in the form of arrow types. The type p -> q is equivalent to the logical statement P → Q. We can now prove a very simple theorem called Modus Ponens. Modus Ponens states that if P implies Q and P is true, then Q is true. It is often...

The article deals with the description of the conceptual and linguistic nature, the modus character and the field structure of the linguistic category of the approximation. It also deals with the analysis of the role of the inherent and adherent approximators as well as the context in the realization of the invariant meaning of the approximation in the German language. Pragmatic potential of th...

This paper describes the development, evaluation and use of the computer program ModusXXI, a music generator that can create a practically unlimited number of atonal melodic dictations, or melodic material for sight-reading, based on the Modus Novus methodology [Edlund, 1963]. Lars Edlund’s Modus Novus organizes the aural study of atonal melody structure on the combinations of intervals that wi...

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford’s ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford’s argument is best understood as a broad modus ponens underdetermination argumen...

Ziel: Das Ziel der Studie war die quantitative Messung der Bildqualität an einem Brusttomosynthesesystem. Material und Methoden: Die Signalübertragungseigenschaften (STP), die Modulationsübertragungsfunktion (MTF), das Rauschspektrum (NPS) und die detektive Quantenausbeute (DQE) wurden nach etablierten Methoden an einem Brusttomosynthesesystem Selenia Dimensions von Hologic gemessen. Das NPS wu...