ABSTRACT
This chapter presents the details and rationale for deontic predicate logic (DPL), a dialect of first order logic (FOL) designed to integrated with graph-based knowledge representation of norms (Croitoru, Oren et al. 2012). DPL uses binary predicates to express deontic concepts as relations between agents and acts on patients. The main deontic predicates are DUTY, ABILITY and OPTIMAL. The deontic predicates express binary relations between terms representing agents and functions on terms representing acts on patients. Reasoning using these deontic predicates is used to pass a set of test cases based on specific norms: namely, Speeding Camera, Bar Robot, Drone and Safe Haven.
