Obligation by Utility
Enterprise Specifications are likely to deal with goals rather than detailed prescriptions, so they are likely to contain conflicts and inconsistencies.
- need to express obligations and prohibitions;
- standard deontic logic too rigid;
- express the behaviour as a tree of traces, with some branches representing available choices;
- work in terms of cost/utilitiy functions over paths through this tree;
- guide planning and goal seeking behaviour.