DFKI Research Report-92-60
by Karl Schlechta
Defaults, Preorder Semantics and Circumscription
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.
This document is available as Postscript.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.