Previous: TR 93-10 Next: TR 93-12

Intellektik: Technical report 93-11

A context-based framework for default logics

P. Besnard and T. Schaub

We present a new context-based approach to default logic, called contextual default logic. The approach extends the notion of a default rule and supplies each extension with a context. Contextual Default Logic allows for embedding all existing variants of default logic along with more traditional approaches like the closed world assumption. A key advantage of contextual default logic is that it provides a syntactical instrument for comparing existing default logics in a unified setting. In particular, it reveals that existing default logics mainly differ in the way they deal with an explicit or implicit underlying context.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry