On the relation between vector annotated logic programs and defeasible theories
Kazumi Nakamatsu · Logic and Logical Philosophy · 2004
In this paper, we propose an annotated logic program called a VALPSN (Vector Annotated Logic Program with Strong Negation) to deal with defeasible reasoning. We propose a translation from Billington’s defeasible theory into VALPSN and clarify the relation between them based on the translation.