Abstract
In this paper we describe an algorithmic framework for a multi-modal logic arising from the combination of the system of modal (epistemic) logic devised by Meyer and van der Hoek for dealing with nonmonotonic reasoning with a deontic logic of the Jones and Pörn-type. The idea behind this (somewhat eclectic) formal set-up is to have a modal framework expressive enough to model certain kinds of deontic defeasibility, in particular by taking into account preferences on norms. The appropriate inference mechanism is provided by a tableau-like modal theorem proving system which supports a proof method closely related to the semantics of modal operators. We argue that this system is particularly well-suited for mechanizing nonmonotonic forms of inference in a monotonic multimodal setting.
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
Asher N., Bonevac D. Prima Facie Obligation. In: Jones A.J.I., Sergot M. (eds.) Δeon’94. Tano, 1993, pp 19–36.
Horty J.F. Moral Dilemmas and Nonmonotonic Logic. Journal of Philosophical Logic 1994; 23:35–65.
Jones A.J.I. On the Logic of Deontic Conditionals. Ratio Juris 1991; 3:355–66.
Mc Carty L.T. Defeasible Deontic Reasoning. Fundamenta Informaticae 1994; 21:125–148.
Prakken H. Two Approaches to Defeasible Reasoning. In: Jones A.J.I., Sergot M. (eds.) Δeon’94. Tano, 1993, pp 281–295.
Ryu Y.U., Lee R.M. Defeasible Deontic Reasoning: A Logic Programming Model. In: Proceedings of the First International Workshop on Deontic Logic in Computer Science. Amsterdam, 1991, pp 347–363.
Sartor G. The Structure of Norm Conditions and Nonmonotonic Reasoning in Law. In: Proceedings of the Third International Conference on Artificial Intelligence and Law. ACM Press, 1991, pp 155–164.
Meyer J.-J.Ch., van der Hoek V. A Modal Logic for Nonmonotonic Reasoning. In: van der Hoek W., Meyer J.-J.Ch., Tan Y. H., Witteveen C. (eds.) Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood, N.Y., 1992, pp 37–77.
Jones A.J.I., Pörn I. Ideality, Sub-ideality and Deontic Logic. Synthese, 1985; 65:275–290.
Jones A.J.I., Pörn I. “Ought” and “Must”. Synthese, 66, 1986:89–93.
Artosi A., Governatori G. Labelled Model Modal Logic. In Proceedings of the CADE-12 Workshop on Automated Model Building. Nancy, 1994, pp 11–17.
Brewka G. Belief Revision in a Framework for Default Reasoning. In: Fuhrmann A., Morreau M. (eds.) The Logic of Theory Change. Workshop. Springer-Verlag, Berlin, 1989, pp 206–222.
Brewka G. Nonmonotonic Reasoning. Logical Foundations of Common-sense. Cambridge University Press, Cambridge, 1991.
Åqvist L.. Introduction to Deontic Logic and the Theory of Normative Systems. Bibliopolis, Napoli, 1987.
Artosi A., Cattabriga P., Governatori G. An Automated Approach to Deontic Reasoning. In: Breuker J. (ed.), Proceeding of the Workshop ECAI Artificial Normative Reasoning. Amsterdam, 1994, pp 132–145.
Governatori G. Labelled Tableau for Multi-Modal Logics. In: Baumgartner P., Hähnle R., Posegga J. (eds.) Theorem Proving with Analytic Tableaux and Related Methods. Springer-Verlag, Berlin, 1995, pp 79–95 (Lecture Notes in Artificial Intelligence no.918).
D’Agostino M., Mondadori M. The Taming of the Cut. Journal of Logic and Computation 1994; 4:285–319.
Auffray Y., Enjalbert P. Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation 1992; 2:247–259.
Ohlbach H.J. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation 1991, 1:691–746.
Fitting M. First Order Modal Tableaux. Journal of Automated Reasoning 1988; 4:191–213.
Wallen L.A. Automated Deduction in Non-Classical Logics. The MIT Press, Cambridge (Mass.), 1990.
Catach L. Tableaux: A General Theorem Prover for Modal Logic. Journal of Automated Reasoning 1991; 7:489–510.
Artosi A., Cattabriga P., Governatori G. A Prolog Implementation of REM. In: Alpuente, Sessa M.I. (eds.) Proceedings of GULP-PRODE’95. Universitá di Salerno, Salerno, 1995, pp 395–400.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 British Computer Society
About this paper
Cite this paper
Artosi, A., Governatori, G., Sartor, G. (1996). Towards a Computational Treatment of Deontic Defeasibility. In: Brown, M.A., Carmo, J. (eds) Deontic Logic, Agency and Normative Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1488-8_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1488-8_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-76015-3
Online ISBN: 978-1-4471-1488-8
eBook Packages: Springer Book Archive