Actors, Actions, and Initiative in Normative System Specification
by
R.J. Wieringa
,
J.-J.Ch. Meyer
| Citations: | 13 - 1 self |
BibTeX
@MISC{Wieringa_actors,actions,,
author = {R.J. Wieringa and J.-J.Ch. Meyer},
title = {Actors, Actions, and Initiative in Normative System Specification},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification.
