Modus Ponens and Existence Updating
Classical logic attaches great importance to the ‘Law of Detachment’ or ‘modus ponens’ in connection with inferences (see, e.g., Kleene [57, p. 34] or Suppes [83, sect. 2.3]). This chapter deals therefore in some detail with such inferences as a special case of ‘generalized modus ponens updating’ defined in definition 13.3.1. Modus ponens inferences require type 2 updating of an IF THEN statement or structure by non-IF THEN information. The reason for this and examples of such updating are given in sections 13.3.2, 13.4 respectively. The examples of section sect. 13.4 include also modus ponens updating of an IF THEN structure with several probability rows.
KeywordsKnowledge Base Propositional Calculus Classification Structure Marginal Probability Modus Ponens
Unable to display preview. Download preview PDF.