Towards a solution for the interaction problem in the legal domain

Abstract This paper addresses the interaction problem with respect to the representation of legal domain knowledge. Two frame structures are designed to represent legal knowledge, with emphasis on legal norms. By applying a number of legal reasoning tasks, it is tested whether the structures allow for a representation that can be used for different purposes. It is found that the structures are a step towards a solution for the interaction problem in the legal domain.

[1]  Alf Ross,et al.  Directives and norms , 1968 .

[2]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[3]  J. Kemp,et al.  The Concept of Law , 1962 .

[4]  Elizabeth S. Cordingley.  CHAPTER 11 – ANALYSING TEXTS FOR KNOWLEDGE BASED SYSTEMS , 1991 .

[5]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[6]  Jorgen S. Svensson,et al.  Legal Knowledge Based Systems, Jurix '93: Intelligent Tools for Drafting Legislation, Computer-Supported Comparison of Law , 1993 .

[7]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[8]  J. M. Akkermans,et al.  The CommonKADS Framework for Knowledge Modelling , 1992 .

[9]  Bob Wielinga,et al.  Models of Expertise in Knowledge Acquisition , 1989 .

[10]  Trevor J. M. Bench-Capon.  Knowledge-based systems and legal applications , 1991 .

[11]  Trevor J. M. Bench-Capon.  Deep models, normative reasoning and legal expert systems , 1989, ICAIL '89.

[12]  Lluís Vila,et al.  A Survey on Temporal Reasoning in Artificial Intelligence , 1994, AI Communications.

[13]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[14]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[15]  R. V. Kralingen,et al.  Towards a control-independent representation of legal knowledge , 1994 .

[16]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[17]  John F. Sowa,et al.  Building large knowledge-based systems: Representation and inference in the cyc project: D.B. Lenat and R.V. Guha , 1993 .

[18]  Marek J. Sergot,et al.  Indian central civil service pension rules: a case study in logic programming applied to regulations , 1991, ICAIL '91.

[19]  J. S. Svensson,et al.  Kennisgebaseerde micro-simulatie een nieuwe methode voor het bepalen van sociaal-economische gevolgen van wet- en regelgeving in de sociale zekerheid , 1993 .

[20]  Thomas R. Gruber,et al.  The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases , 1991, KR.

[21]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..