Skip to main content Skip to main navigation


Defaults, Preorder Semantics and Circumscription

Karl Schlechta
DFKI, DFKI Research Reports (RR), Vol. 92-60, 1992.


We examine questions related to translating defaults into circumscription. Imielinski has examined the concept of preorder semantics as an abstraction from specific systems of circumscription. We give precise definitions, characterize preorder semantics syntactically and examine the translatability of one default into preorder semantics. Finally, we give a rather bleak outlook on the translation of defaults into circumscription.