Modal logic based theory for non-monotonic reasoning
Pierre Siegel, Camilla B. Schwind · Journal of Applied Non-Classical Logics · 1993
This paper defines a new modal logic based theory for non-monotonic reasoning. This logic expresses notions about hypotheses and known information. These notions are defined in the framework of the modal system τ. A translation of default logic in terms of hypothesis theory is given with which it is possible to fully characterize default logic by giving a necessary and sufficient criterion for the existence and the non-existence of extensions. Moreover several problems relating to non-monotonic reasoning are discussed (and solutions are presented), such as case analysis, multiple extensions and contraposition.