Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification

摘要

We have already proposed an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to deal with defeasible deontic reasoning. The aim of this paper is to provide the guidelines for two kinds of practical applications of EVALPSN. In this paper, we propose two types of general frameworks for EVALPSN based defeasible deontic reasoning systems and introduce their applications to a defeasible deontic action control system for a beetle robot and an automated safety verification system for railway interlocking.