ON THE CONNECTION BETWEEN NORMAL DEFAULT REASONING AND CONDITIONAL LOGIC

Abstract

Conditional logic plays an important role in recent attempts to investigate default reasoning. In this paper we show that normal default reasoning can be captured in the conditional logic CL: Reiter extensions of a normal default theory delta = <D, W> correspond to sets of sentences that are maximally CL-consistent with respect to Cond-E(delta) which is a set of conditional sentences constructed using defaults in D that are relevant to extensions. We also discuss Delgrande conditional approach to default reasoning and point out one of its weaknesses. In employing CL, we provide a semantic interpretation of defaults that is weaker than that of normality/typicality proposed by Delgrande and develop an approach that produces all the Reiter extensions of a normal default theory. We also show that there is a one-to-one correspondence between conditional proofs of sentences that belong to extensions and Reiter default proofs.