A defeasible deontic reasoning system based on annotated logic programming

Abstract

In this paper, we provide a theoretical framework for a defeasible deontic reasoning system based on annotated logic programming, we propose an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to formulate a defeasible deontic reasoning proposed by D. Nute. We also propose a translation rule from defeasible deontic theory into EVALPSN and show that the derivability of defeasible deontic theory can be translated into the satisfiability of EVALPSN stable model. The combination of a translation system from defeasible deontic theories into EVALPSNs and a computing system of EVALPSN stable models can easily provide a theoretical framework for an automated defeasible deontic reasoning system.