Previous: TR 91-01 Next: TR 92-04

Intellektik: Technical report 92-02

On Constrained Default Theories

Torsten Schaub

We introduce a variant of default logic, called constrained default logic. With it, we make default logic commit to its assumptions without extending the first order language. In contrast to \cite{brewka:91b} wherein ``formulas with constraints'' were introduced, we introduce constrained extensions. Then, we employ constrained default logic in order to clarify the relationships among the constrained variants of default logic \cite{lukaszewicz:88,brewka:91b,deljac:91}.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry