A logic-based calculus of events
New Generation Computing
Logic and representation
Proceedings of the 8th international conference on Artificial intelligence and law
On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
A note on interpretations for federated languages and the use of disquotation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
Hi-index | 0.00 |
Rules, regulations and policy statements quite frequently contain nested sequences of normative modalities as in, for example: The database manager is obliged to permit the deputy-manager to authorise access for senior departmental staff. Parking on highways ought to be forbidden. Accordingly, a knowledge-representation language for such sentences must be able to accommodate nesting of this kind. However, if--as some have proposed--normative modalities such as obligatory, permitted, and authorised are to be interpreted as first-order predicates of named actions, then nesting appears to present a problem, since the scope formula of obligatory in "obligatory that it is permitted that a " (where a names an action) is not a name but a sentence. The ‘disquotation' theory presented in Kimbrough ("A Note on Interpretations for Federated Languages and the Use of Disquotation", and elsewhere) may provide a candidate solution to this FOL problem. In this paper we rehearse parts of that theory and evaluate its efficacy for dealing with the indicated normative nesting problem.