Publication
Defaults, Preorder Semantics and Circumscription
Karl Schlechta
DFKI, DFKI Research Reports (RR), Vol. 92-60, 1992.
Abstract
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.