A language for legal discourse

In two previous papers on the prospects for intelligent legal information systems [22, 27], I advocated the development of “deep conceptual models” of particular legal domains. My motivation was both practical and theoretical. On the practical side, I argued, our long-term goal should be an integrated analysis/planning/retrieval system that matches as closely as possible the way a lawyer actually thinks about a legal problem. On the theoretical side, my work with Sridharan on the TAXMAN project [31, 32, 44] had clarified the importance of an adequate domain theory in any attempt to model the arguments of lawyers in hard cases. For both purposes, I claimed, deep conceptual models are essential.

[1]  Layman E. Allen,et al.  Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents , 1957 .

[2]  P. Hayes.  The frame problem and related problems in artificial intelligence , 1971 .

[3]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[4]  L. Thorne McCarty,et al.  Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning , 1977 .

[5]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[6]  J. McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[7]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[9]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[10]  L. Thorne McCarty,et al.  The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations , 1981, IJCAI.

[11]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[12]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[13]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[14]  L. Thorne McCarty,et al.  Permissions and Obligations , 1983, IJCAI.

[15]  L. Thorne McCarty.  Programming Directly in a Non Monotonic Logic , 1984, NMR.

[16]  Harry Bunt,et al.  Mass Terms and Model-Theoretic Semantics , 1985 .

[17]  N. S. Sridharan.  Evolving Systems of Knowledge , 1985, AI Mag..

[18]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[19]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[20]  Thomas F. Gordon.  Oblog-2: A hybrid knowledge representation system for defeasible reasoning , 1987, ICAIL '87.

[21]  Layman E. Allen,et al.  Some problems in designing expert systems to aid legal reasoning , 1987, ICAIL '87.

[22]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[23]  Lincoln A. Wallen.  Matrix Proof Methods for Modal Logics , 1987, IJCAI.

[24]  William C. Rounds,et al.  A logic for partially specified data structures , 1987, POPL '87.

[25]  T. Gordon,et al.  The Importance of Nonmonotonicity for Legal Reasoning , 1988 .

[26]  Hans Jürgen Ohlbach,et al.  A Resolution Calculus for Modal Logics , 1988, CADE.

[27]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[28]  Anthony J. Bonner,et al.  A Logic for Hypothetical Reasoning , 1988, AAAI.

[29]  Richard E. Susskind,et al.  Expert Systems in Law: A Jurisprudential Inquiry , 1988 .

[30]  L. Thorne McCarty,et al.  EPS II: estate planning with prototypes , 1989, ICAIL '89.

[31]  Anthony J. Bonner.  Hypothetical Datalog: Complexity and Expressibility , 1990, Theor. Comput. Sci..

[32]  Francesco Orilia,et al.  Semantics and Cognition , 1991 .

[33]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .