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.
CITATION STYLE
Lokhorst, G. J. C. (1996). Reasoning about actions and obligations in first-order logic. Studia Logica, 57(1), 221–237. https://doi.org/10.1007/BF00370676
Mendeley helps you to discover research relevant for your work.