Obligation by Utility
Because Enterprise Specifications are likely to deal with goals rather than detailed prescriptions, 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 possible traces, with some of the branches representing available choices;
- work in terms of cost/utilitiy functions over paths through this tree;
- specification guides planning and goal seeking behaviour.