Abstract
Two topics dominate this paper: the rôle of deontic logic in knowledge representation in the legal domain; and the rôle of deontic logic in the specification of computer systems. In both cases, we take the library regulations at Imperial College as an illustrative example. The essential point for which we then argue is that deontic logic —in some form or other— needs to be taken seriously as soon as one is forced to make explicit the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. In conclusion we touch on the rôle of deontic logic in the development of the theory of normative positions —a theory which is of relevance both to legal knowledge representation and computer system specification. Our overall aim in this paper is to sketch the beginnings of a methodology for the use of deontic logic in the analysis and representation of normative systems.
An earlier version of this paper was published under the title ‘Deontic Logic in the representation of law: Towards a methodology’, in Artifiicial Intelligence and Law 1: pp 45–64 (1992).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E. and Martino, A.A., 1989. ‘A sketch of logic without truth.’ Proc. Second International Conference on Artifiicial Intelligence and law, Vancouver, ACM Press.
Allen, L.E., and Saxon, C.S., 1986. ‘Analysis of the logical structure of legal rules by a modernized and formalized version of Hohfeld fundamental legal conceptions.’ Automated Analysis of Legal Texts, Martino, A.A., Socci, F., (eds). North-Holland, Amsterdam, pp. 385–451.
Aqvist, L. and Hoepelman, J., 1981. ‘Some theorems about a “tree” system of deontic tense logic.’ New Studies in Deontic Logic, Hilpinen, R., (ed.) Synthese Library 152, D. Reidel, Dordrecht, Holland.
Bench-Capon, T.J.M., 1989. ‘Deep models, normative reasoning and legal expert systems.’ Proc. Second International Conference on Artifiicial Intelligence and Law, Vancouver, ACM Press, pp. 37–45.
Bench-Capon, T.J.M., Robinson, G.O., Routen, T.W., Sergot, M.J., 1987. ‘Logic programming for large scale applications in law: A formalisation of Supplementary Benefiit legislation.’ Proc. First International Conference on Artificial Intelligence and Law, Boston, ACM Press, pp. 190–198.
Biagioli, C., Mariani, P., and Tiscornia, D., 1987. ‘ESPLEX: A rule and conceptual based model for representing statutes.’ Proc. First International Conference on Artifiicial Intelligence and Law, Boston, ACM Press, pp. 240–251.
Chellas, B.F., 1980. Modal Logic — An Introduction. Cambridge University Press.
Chisholm, R.M., 1963. ‘Contrary-to-duty imperatives and deontic logic.’ Analysis 24.
Dewits, Sandra, 1995. ‘Using Information Technology as a Determiner of Legal Facts’, in this collection.
Fiadeiro, J. and Maibaum, T.S.E., 1991. ‘Temporal reasoning over deontic specifiications.’ Logic and Computation.
Jones, A.J.I., 1990. ‘Deontic logic and legal knowledge representation.’ Ratio Juris 3.
Jones, AJ.I. and Pörn, I., 1985. ‘Ideality, sub-ideality and deontic logic.’ Synthese 65.
Jones, AJ.I. and Pörn, I., 1991. ‘On the logic of deontic conditionals’. Paper submitted to the workshop on Deontic logic in Computer Science, Amsterdam December 1991.
Khosla, S. and Maibaum, T.S.E., 1987. ‘The prescription and description of state based systems.’ In Temporal Logic in Specification, Banieqbal, B. et al., (eds), Lecture Notes in Computer Science 398, Springer-Verlag, Berlin, Germany.
Lindahl, L., 1977. Position and Change — A Study in Law and Logic. Synthese Library 112, D.Reidel, Dordrecht, Holland.
Loewer, B., Belzer, M., 1983. ‘Dyadic deontic detachment.’ Synthese 54, pp. 295–319.
MacCormick, D.N., 1978. Legal Reasoning and Legal Theory, Oxford University Press.
MacCormick, D.N., 1990. ‘Legal Reasoning and the Institutional Theory of Law.’ Paper presented to the ESPRIT Working Group on Foundations of Legal Reasoning, Cork.
MacCormick, D.N., 1992. ‘Legal Deduction, Legal Predicates and Expert Systems’, International Journal for the Semiotics of Law, Vol. 14, 1992.
McCarty, L.T., 1983. ‘Permissions and obligations.’ Proc. Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, pp 287–294.
McCarty, L.T., 1986. ‘Permissions and obligations: An informal introduction.’ Automated Analysis of Legal Texts, Martino, A.A. and Socci, F., (eds), North-Holland, Amsterdam, pp. 307–337.
McCarty, L.T., 1989. ‘A Language for Legal Discourse I. Basic features.’ Proc. Second International Conference on Artifiicial Intelligence and Law, Vancouver, ACM Press, pp. 180–189.
Meyer, J.-J., Ch., 1988. ‘A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic.’ Notre Dame Journal of Formal Logic 29.
Minsky, N.H., Lockman, A., 1985. ‘Ensuring integrity by adding obligations to privileges.’ Proc. 8th International Conference on Software Engineering, August 1985, pp. 92–102.
Morris, P and McDermid, I., 1991 ‘The structure of permissions: A normative framework for access rights.’ Paper submitted to the workshop on Deontic Logic in Computer Science, Amsterdam, December 1991.
Sergot, M.J., 1982. ‘Prospects for representing the law as logic programs.’ Logic Programming, Clarke, K.L. and Tamlund, S.-A., (eds). Academic Press, London.
Sergot, M.J., 1985. ‘Representing legislation as logic programs’ . In Machine Intelligence ii, Haves, J.E., Michie, D., Richards, J., (eds). Oxford University Press, pp. 209–260.
Sergot, M.J., 1990. ‘The representation of law in computer programs: A survey and comparison.’ Knowledge Based Systems and Legal Applications, Bench-Capon, T.J.M. (ed.) Academic Press.
Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T., 1986. ‘The Rritish Nationality Act as a 1ogic program.’ Communications of the ACM 29, 5, pp. 370–386.
Susskind, R.E., 1987. Expert Systems in Law: A Jurisprudential Inquiry. Oxford University Press.
Tammelo, I., 1978. Modern Logic in the Service of Law. Springer-Verlag.
Wieringa, R., Meyer, J-J., Weigand, H., 1989. ‘Specifying dynamic and deontic integrity constraints,’ Data and Knowledge Engineering 4.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Jones, A.J.I., Sergot, M. (1995). On the Rôle of Deontic Logic in the Characterization of Normative Systems. In: Bankowski, Z., White, I., Hahn, U. (eds) Informatics and the Foundations of Legal Reasoning. Law and Philosophy Library, vol 21. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8531-6_11
Download citation
DOI: https://doi.org/10.1007/978-94-015-8531-6_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4542-3
Online ISBN: 978-94-015-8531-6
eBook Packages: Springer Book Archive