Two results on default logic

We focus on default logic, a formalism introduced by Reiter to model default reasoning. The paper consists of two parts. In the first one a translation method of non-normal defaults into the normal ones is given. Although not generally valid, this translation seems to work for a wide class of defaults. In the second part a semantics for normal default theories is given and the completeness theorem is proved.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[3]  Witold Lukaszewicz Considerations on Default Logic , 1984, NMR.