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.
|Keywords||Deontic logic, Logic of action|
Lokhorst, G.J.C.. (1996). Reasoning about actions and obligations in first-order logic. Studia Logica: an international journal for symbolic logic, 221–237. Retrieved from http://hdl.handle.net/1765/14692