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.