Previous: AIDA-96-08 Next: AIDA-96-10 Index 1996

Intellectics Group: Technical Report 96-09

On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs

Michael Thielscher

Logic programs with nonmonotonic negation are embedded in a general, abstract disputation-based framework for nonmonotonic logics. This formalization induces a particular semantics, which is proved to extend well-founded semantics and whose expanded expressiveness is illustrated by different examples involving reasoning by cases. Moreover, we develop a formal proof procedure for skeptical reasoning in the general disputation framework. Its adaption to the logic programming context provides a goal-oriented and local proof procedure for the induced semantics.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry