Abstract
A normative statement (or norm) is one whichshould hold orusually holds, as opposed to ordinary statements whichactually oralways hold. The need for normative statements in computer science specifications is described, and different kinds of norms that can occur in an action-based system are classified. A language and logic for expressing such norms is described, We show that it allows the specifier to reason about the system's behaviour even when it fails to satisfy the norms. The logic used is based on Modal Action Logic [6,4,7,11], and has two additions for expressing norms. The first of these additions is the use ofdeontic axioms. The second is the use of an ordering between axioms of a specification to stipulate priorities. Such orderings of axioms are calledordered theory presentations. We show that they arise naturally fromstructured specifications.
Similar content being viewed by others
References
S. Brass and U.W. Lipeck, Semantics of inheritance in logical object specifications, in:Proc. 2nd Int. Corf. on Deductive and Object-Oriented Databases (DOOD'91), ed. C. Delobel, M. Kifer and Y. Masunaga, Lecture Notes in Computer Science 566 (Springer, 1991) pp. 411–430.
C.C. Chang and H.K. Keisler,Model Theory, 3rd ed. (North-Holland, 1990).
D. Etherington and R. Reiter, On inheritance hiearchies and exceptions, in:Proc. 3rd National Conf. on Artificial Intelligence (1983) pp. 104–108.
J. Fiadeiro and T. Maibaum, Describing, structuring and implementing objects, in:Proc. REX Workshop on Foundations of Object-Oriented Languages (Springer, 1991).
J. Fiadeiro and T. Maibaum, Temporal reasoning over deontic specifications, J. Logic Comput. 1(1991)357–395.
J. Fiadeiro and T. Maibaum, Towards object calculi, Technical Report, Department of Computing, Imperial College, London (1992).
R. Goldblatt,Logics of Time and Computation, CSLI Lecture Notes (1987).
S. Khosla and T.S.E. Maibaum, The prescription and description of state based systems, in:Temporal Logic in Specification, ed. B. Banieqbal, H. Barringer and A. Pnueli, Lecture Notes in Computer Science 398 (Springer, 1989).
D.L. Parnas and P.C. Clements, A rational design process: How and why to fake it, IEEE Trans. Software Eng. 2(1986)251–257.
M.D. Ryan, Defaults and revision in structured theories, in:Proc. 6th IEEE Symp. on Logic in Computer Science (LICS) (1991) pp. 362–373.
M.D. Ryan, J. Fiadeiro and T. Maibaum, Sharing actions and attributes in modal action logic, in:Theoretical Aspects of Computer Software, ed. T. Ito and A. Meyer, Lecture Notes in Computer Science 526 (Springer, 1991) pp. 569–593.
P.-Y. Schobbens, On the meaning of “but”, in:Proc. 6th Int. Workshop on Software and Design (IWSSD) (IEEE Computer Society Press, 1991).
D. Touretzky, Implicit ordering of defaults in inheritance systems, in:Proc 5th National Conf. on Artificial Intelligence (1984) pp. 332–325.
Author information
Authors and Affiliations
Additional information
The author acknowledges support of the British Science and Engineering Research Council on theForest project.
Rights and permissions
About this article
Cite this article
Ryan, M. Towards specifying norms. Ann Math Artif Intell 9, 49–67 (1993). https://doi.org/10.1007/BF01531261
Issue Date:
DOI: https://doi.org/10.1007/BF01531261