Reasoning about actions and obligations in first-order logic
Studia Logica: an international journal for symbolic logic , Volume 57 - Issue 1 p. 221- 237
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.
|Deontic logic, Logic of action|
|Studia Logica: an international journal for symbolic logic|
|Organisation||Erasmus MC: University Medical Center Rotterdam|
Lokhorst, G.-J.C. (1996). Reasoning about actions and obligations in first-order logic. Studia Logica: an international journal for symbolic logic, 57(1), 221–237. doi:10.1007/BF00370676