Reasoning about actions and obligations in first-order logic

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation - R. M. Lee's deontic expert shell DX - is briefly described. © 1996 Kluwer Academic Publishers.

• View at Publisher