Annotated Semantics for Defeasible Deontic Reasoning

Abstract

In this paper, we propose an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to formulate the semantics for a defeasible deontic reasoning proposed by D.Nute. We propose a translation from defeasible deontic theory into EVALPSN and show that the stable model of EVALPSN provides an annotated semantics for D.Nute’s defeasible deontic logic. The annotated semantics can provide a theoretical base for an automated defeasible deontic reasoning system.keywordsannotated logicdefeasible deontic logicextended vectorannotated logic program with strong negationstable model