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.Downloads
Download data is not yet available.
Published
2012-02-21
How to Cite
Obeid, N. (2012). ON THE CONNECTION BETWEEN NORMAL DEFAULT REASONING AND CONDITIONAL LOGIC. Computing and Informatics, 20(1), 43–66. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/510
Issue
Section
Articles