ANNOTATED NONMONOTONIC RULE SYSTEMS

Annotated logics were proposed by Subrahmanian as a unified paradigm f or representing a wide variety of reasoning tasks including reasoning with uncertainty within a single theoretical framework. Subsequently, Marek, Nerode and Remmel have shown how to provide nonmonotonic extens ions of arbitrary languages through their notion of a nonmonotonic rul e systems. The primary aim of this paper is to define annotated nonmon otonic rule systems which merge these two frameworks into a general pu rpose nonmonotonic reasoning framework over arbitrary multiple-valued logics. We then show how Reiter's normal default theories may be gener alized to the framework of annotated nonmonotonic rule systems.