Diagnosis and decision making in normative reasoning

Artificial Intelligence and Law

Volumn 7, Issue 1, 1999, Pages 51-67

  Van Der Torre, Leendert W N ^a   Tan, Yao Hua ^b  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

^b ERASMUS UNIVERSITY ROTTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBABILITY;

DEONTIC LOGIC; DEONTIC REASONING; DIAGNOSIS THEORY;

ARTIFICIAL INTELLIGENCE;

EID: 0032679976     PISSN: 09248463     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008359312576     Document Type: Article

References (29)

1. Anderson, A. 1958. A reduction of deontic logic to alethic modal logic. Mind 67, 100-103.
2. Bench-Capon, T. 1994. Deontic logic: Who needs it? In Proceedings of the Workshop 'Artificial Normative Reasoning ' of the Eleventh European Conference on Artificial Intelligence (ECAI'94), pp. 69-78.
3. Boutilier, C. 1994. Toward a logic for qualitative decision theory. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94), San Francisco, (CA): Morgan Kaufmann, pp. 75-86.
4. Dean, T. & Wellman, M. 1991. Planning and Control, San Mateo: Morgan Kaufmann.
5. Doyle, J. & Wellman, M. 1991. Preferential semantics for goals. In Proceedings of the National Conference on Artificial Intelligence (AAAI-91), pp. 698-703.
6. Doyle, J. 1980. A model for deliberation, action and introspection. Technical Report AI-TR-581, MIT AI Laboratory.
7. Forrester, J. 1984. Gentle murder, or the adverbial Samaritan. Journal of Philosophy 81, 193-197.
8. Gordon, T. 1995. The Pleadings Game. An Artificial Intelligence Model of Procedural Justice, Kluwer.
9. Hage, J. 1996. A theory of legal reasoning, and a logic to match, Artificial Intelligence and Law 4, 199-273.
10. Hansson, B. 1971. An analysis of some deontic logics. In Hilpinen, R. (ed.), Deontic Logic: Introductionary and Systematic Readings. D. Reidel Publishing Company: Dordrecht, Holland, pp. 121-147.
11. Jones, A. & Sergot, M. 1992. Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law 1, 45-64.
12. Jones, A. & Sergot, M. 1993. On the characterisation of law and computer systems: The normative systems perspective. In Meyer, J. & Wieringa, R. (eds.), Deontic Logic in Computer Science, John Wiley and Sons.
13. Lang, J. 1996. Conditional desires and utilities - An alternative approach to qualitative decision theory. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'96), pp. 318-322.
14. McCarty, L. 1994. Modalities over actions: 1. Model theory. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), San Francisco (CA): Morgan Kaufmann, pp. 437-448.
15. Pearl, J. 1993. From conditional oughts to qualitative decision theory. In Heckerman, D. & Mamdani, A. (eds.), Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI-93) San Mateo (CA): Morgan Kaufmann, pp. 12-20.
16. Prakken, H. & Sartor, G. 1996. A system for defeasible argumentation, with defeasible priorities. Artificial Intelligence and Law 4, 331-368.
17. Ramos, P. & Fiadeiro, J. 1996. Diagnosis in organisational process design. Technical report, Department of Informatics, Faculty of Sciences, University of Lisbon.
18. Ramos, P. & Fiadeiro, J. 1998. A deontic logic for diagnosis of organisational process design. In Proceedings of the Fourth International Workshop on Deontic Logic in Computer Science (Δeon-98), To appear.
19. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32, 57-95.
20. Smith, T. 1994. Legal Expert Systems: Discussion of Theoretical Assumptions. Ph.D. Dissertation, University of Utrecht.
21. Tan, Y.-H. & van der Torre, L. 1994a. DIODE: deontic logic based on diagnosis from first principles. In Proceedings of the Workshop 'Artificial Normative Reasoning' of the Eleventh European Conference on Artificial Intelligence (ECAI'94), pp. 21-39.
22. Tan, Y.-H. & van der Torre, L. 1994b. Multi preference semantics for a defeasible deontic logic. In Legal Knowledge-Based Systems. The Relation with Legal Theory. Proceedings of the JURIX'94, pp. 115-126. Lelystad: Koninklijke Vermande.
23. Tan, Y.-H. & van der Torre, L. 1994c. Representing deontic reasoning in a diagnostic framework. In Proceedings of the Workshop on Legal Applications of Logic Programming of the Eleventh International Conference on Logic Programming (ICLP'94), pp. 138-150.
24. Tan, Y.-H. & van der Torre, L. 1996. How to combine ordering and minimizing in a deontic logic based on preferences. In Deontic Logic, Agency and Normative Systems. Proceedings of the Δeon'96. Workshops in Computing, Springer Verlag, pp. 216-232.
25. Thomason, R. & Horty, R. 1996. Nondeterministic action and dominance: Foundations for planning and qualitative decision. In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge (TARK'96), Morgan Kaufmann, pp. 229-250.
26. van der Torre, L. & Tan, Y.-H. 1997a. Distinguishing different roles in normative reasoning. In Proceedings of the Sixth International Conference on AI and Law (ICAIL'97), ACM Press, pp. 225-232.
27. van der Torre, L. & Tan, Y.-H. 1998. Prohairetic Deontic Logic (PDL). In Logics in Artificial Intelligence, LNAI 1489, pp. 77-91, Springer.
28. van der Torre, L., Ramos, P., Fiadeiro, J.-L., & Tan, Y. 1997. The role of diagnosis and decision theory in normative reasoning. In Proceedings of the Third Workshop on Formal Models of Agents (Modelage'97).
29. von Wright, G. 1983. Practical Reason. Blackwell: Oxford.