Computing Extensions of Default Logic - Preliminary Report

Abstract We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. Then we present an improved approach for realizing the process model in logic programming making direct use of Prolog's deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T.

Authors

• Grigoris Antoniou
• Elmar Langetepe
• Volker Sperschneider

Keywords

No keywords are indexed for this paper.