Piotr Rychlik

Translating Defaults into Circumscription

919

Abstract

In this paper we present translation scheme of justified and constrained default logic into circumscription. For this purpose we adopt possible world semantics for default theories introduced by Besnard and Schaub. This translation allows us to represent the common part of all extensions of any finite default theory as the circumscription axiom.

Key words: modal logic, default logic, circumscription, non-monotonic reasoning