Two approaches to the formalisation of defeasi ble deontic reasoning

Studia Logica

Volumn 57, Issue 1, 1996, Pages 73-90

  Prakken, Henry ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Defeasible reasoning; Deontic reasoning; Moral dilemmas

Indexed keywords

EID: 1642456690     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370670     Document Type: Article

References (29)

1. ALCHOURRÓN, C. E., 1969, 'Logic of norms and logic of normative propositions', Logique et Analyse 12, 242-268.
2. CHELLAS, B., 1980, Modal logic: an introduction, Cambridge University Press.
3. VAN FRAASSEN, B. C., 1972, 'The logic of conditional obligation', The Journal of Philosophical logic, 417-438.
4. VON DER L. GARDNER, A., 1987, An Artificial Intelligence approach to legal reasoning, MIT press.
5. GORDON, T. F., 1988, 'The importance of nonmonotonicity for legal reasoning', In H. Fiedler, F. Haft, R. Traunmüller (eds.), Expert systems in law, Tübingen, 110-126.
6. GOWANS, C. W., 1987, (ed.), Moral dilemmas, Oxford.
7. HART, H. L. A., 1961, The concept of law, Clarendon Press, Oxford.
8. HORTY, J. F., 1991, 'Moral dilemmas and nonmonotonic logic (preliminary report)', Proceedings of the First International Workshop on Deontic Logic and Computer Science, Amsterdam, 212-231.
9. HORTY, J. F., 1993, 'Nonmonotonic techniques in the formalisation, of commonsense normative reasoning', Proceedings Workshop on Nonmonotonic Reasoning, Austin, TX, 74-84.
10. HORTY, J. J., 1994, 'Moral dilemmas and nonmonotonic logic,' Journal of Philosophical Logic 23, 35-65.
11. JONES, A. J. I., and I. PORN, 1985, 'Ideality, sub-ideality and deontic logic', Synthese 65, 275-290.
12. JONES, A. J. I., 1993, 'Towards a formal theory of defeasible deontic conditionals', Annals of Mathematics and Artificial Intelligence 9, 151-166.
13. LOEWER, B., and M. BELZER, 1983, 'Dyadic deontic detachment', Synthese 54, 295-318.
14. MAKINSON, D., 1993, 'Five faces of minimality', Studio Logica 52, no. 3, 339-379.
15. MCCARTY, L. T., 1994, 'Defeasible deontic reasoning', Fundamenta Informaticae 21, 125-148.
16. MEYER, J. -J. GH., 1988, 'A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic', Notre Dame Journal of Formal Logic 29, 109-136.
17. MORREAU, M., 1994, 'Prima facie and seeming duties', Proceedings of the second International Workshop on Deontic Logic and Computer Science, Tano, Oslo, 221251.
18. PRAKKEN, H., 1991, 'A tool in modelling disagreement in law: preferring the most specific argument', Proceedings of the Third International Conference on Artificial Intelligence and Law, Oxford 1991. ACM Press, 165-174.
19. PRAKKEN, H., 1991, 'Reasoning with normative hierarchies', Proceedings of the First International Workshop on Deontic Logic and Computer Science, Amsterdam, 315-334.
20. Prakken, H., 1993, Logical tools for modelling legal argument, Doctoral dissertation Free University Amsterdam.
21. PRAKKEN, H., 1993, 'A logical framework for modelling legal argument', Proceedings of the fourth International Conference on Artificial Intelligence and Law, Amsterdam 1993, ACM Press, 1-10.
22. PRAKKEN, H., 1993, 'An argumentation frameworkin default logic', Annals of Mathematics and Artificial Intelligence 9, 93-132.
23. PRAKKEN, H., and M. J. SERGOT, 'Contrary-to-duty obligations', This volume.
24. REITER, R., 1980, 'A logic for default reasoning', Artificial Intelligence 13, 81-132.
25. ROSS, W. D., 1930, The right and the good', Oxford University Press, Oxford.
26. SCOTCH, P. K., and R. E. JENNINGS, 1982, 'Non-kripkean deontic logic', In R. Hilpinen (ed.): New studies in deontic logic, Reidel, Dordrecht, 149-162.
27. TAN, Y. -H., and L. W. N. VAN DER TORRE, 1994, 'Multi preference semantics for a defeasible deontic logic', In H. Prakken, A. Muntjewerff, A. Soeteman, R.F. Winkels (eds.): Legal knowledge based systems. The relation with legal theory, Koninklijke Vermande, Lelystad, 115-126.
28. VAN DER TORRE, L. W. N., 'Violated obligations in a defeasible deontic logic', Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94), 371-375.
29. VREESWUK, G., 1993, Studies in defeasible argumentation, Doctoral dissertation Free University Amsterdam.