Reasoning about actions and obligations in first-order logic |
| |
| Authors: | Gert -Jan C. Lokhorst |
| |
| Affiliation: | (1) Erasmus University Research Institute for Decision and Information Systems (EURIDIS), The Netherlands;(2) Department of Philosophy, Erasmus University, P.O. Box 1738, NL-3000 Dr Rotterdam, The Netherlands |
| |
| Abstract: | 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.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge. |
| |
| Keywords: | deontic logic logic of action |
| 本文献已被 SpringerLink 等数据库收录！ |
