SHYSTER: A Pragmatic Legal Expert System

Most legal expert systems attempt to implement complex models of legal reasoning. Yet the utility of a legal expert system lies not in the extent to which it simulates a lawyer's approach to a legal problem, but in the quality of its predictions and of its arguments. A complex model of legal reasoning is not necessary: a successful legal expert system can be based upon a simplified model of legal reasoning. Some researchers have based their systems upon a jurisprudential approach to the law, yet lawyers are patently able to operate without any jurisprudential insight. A useful legal expert system should be capable of producing advice similar to that which one might get from a lawyer, so it should operate at the same pragmatic level of abstraction as does a lawyer-not at the more philosophical level of jurisprudence. A legal expert system called SHYSTER has been developed to demonstrate that a useful legal expert system can be based upon a pragmatic approach to the law. SHYSTER has a simple representation structure which simplifies the problem of knowledge acquisition. Yet this structure is complex enough for SHYSTER to produce useful advice. SHYSTER is a case-based legal expert system (although it has been designed so that it can be linked with a rule-based system to form a hybrid legal expert system). Its advice is based upon an examination of, and an argument about, the similarities and differences between cases. SHYSTER attempts to model the way in which lawyers argue with cases, but it does not attempt to model the way in which lawyers decide which cases to use in those arguments. Instead, it employs statistical techniques to quantify the similarity between cases. It decides which cases to use in argument, and what prediction it will make, on the basis of that similarity measure. SHYSTER is of a general design: it provides advice in areas of case law that have been specified by a legal expert using a specification language. Four different, and disparate, areas of law have been specified for SHYSTER, and its operation has been tested in each of those legal domains. Testing of SHYSTER in these four domains indicates that it is exceptionally good at predicting results, and fairly good at choosing cases with which to construct its arguments. SHYSTER demonstrates the viability of a pragmatic approach to legal expert system design.

[1]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[2]  Kenneth A. Lambert,et al.  LESTER: using paradigm cases in a Quasi-Precedential legal domain , 1989, ICAIL '89.

[3]  Kevin D. Ashley.  Defining Salience in Case-Based Arguments , 1989, IJCAI.

[4]  Carole D. Hafner,et al.  Representation of knowledge in a legal information retrieval system , 1980, SIGIR '80.

[5]  J. Bing,et al.  Designing text retrieval systems for conceptual searching , 1987, ICAIL '87.

[6]  L. Thorne McCarty.  Artificial Intelligence and Law: How to Get There from Here , 1990 .

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

[8]  Julius Stone.  Legal system and lawyers' reasonings , 1965 .

[9]  Saul A. Kripke,et al.  Law and Metaphysics , 1987 .

[10]  Graham Greenleaf,et al.  Expert systems in law: The datalex project , 1987, ICAIL '87.

[11]  A. D. Woozley.  No Right Answer , 1979 .

[12]  Stuart S. Nagel,et al.  Using Simple Calculations to Predict Judicial Decisions , 1960 .

[13]  Glendon A Schubert.  Human Jurisprudence: Public Law As Political Science , 1975 .

[14]  William Bain,et al.  A Case-Based Reasoning System for Subjective Assessment , 1986, AAAI.

[15]  Martin Krygier,et al.  Julius Stone: Leeways of Choice, Legal Tradition and the Declaratory Theory of Law , 1986 .

[16]  Karl Branting.  Representing and reusing explanations of legal precedents , 1989, ICAIL '89.

[17]  Andrzej Kowalski.  Case-based reasoning and the deep structure approach to knowledge representation , 1991, ICAIL '91.

[18]  Edwina L. Rissland,et al.  Examples in Legal Reasoning: Legal Hypotheticals , 1983, IJCAI.

[19]  Saul Kripke.  Wittgenstein on Rules and Private Language: An Elementary Exposition , 1984 .

[20]  Graham Greenleaf,et al.  Generating legal arguments , 1989, Knowl. Based Syst..

[21]  Judith P. Dick.  Representation of legal text for conceptual retrieval , 1991, ICAIL '91.

[22]  Roger Clarke,et al.  Legal Aspects of Knowledge-Based Technology , 1988, J. Inf. Technol..

[23]  G. Schubert,.  Judicial Attitudes and Voting Behavior: The 1961 Term of the United States Supreme Court , 1963 .

[24]  Tharam S. Dillon,et al.  An example of integrating legal case based reasoning with object-oriented rule-based systems: IKBALS II , 1991, ICAIL '91.

[25]  Trevor J. M. Bench-Capon,et al.  Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation , 1987, ICAIL '87.

[26]  L. Carroll,et al.  The Complete Illustrated Works of Lewis Carroll , 1982 .

[27]  Fred Kort.  Simultaneous Equations and Boolean Algebra in the Analysis of Judicial Decisions , 1963 .

[28]  James Popple,et al.  Legal Expert Systems: The Inadequacy of a Rule-Based Approach , 1990, Aust. Comput. J..

[29]  Layman E. Allen.  A Language-Normalization Approach to Information Retrieval in Law , 1968 .

[30]  Cees Groendijk,et al.  Networks at work: a connectionist approach to non-deductive legal reasoning , 1991, ICAIL '91.

[31]  R. Sokal,et al.  Numerical Taxonomy: The Principles and Practice of Numerical Classification. , 1975 .

[32]  B. Hepple.  Restructuring Employment Rights , 1986 .

[33]  Julius Stone,et al.  Social Dimensions Of Law And Justice , 1966 .

[34]  Philip Leith.  An IKBS implementation , 1985, Softw. Pract. Exp..

[35]  Bjarne Stroustrup,et al.  The C++ Programming Language, Second Edition , 1991 .

[36]  Ifail,et al.  An example , 2020, A Psychoanalytical-Historical Perspective on Capitalism and Politics.

[37]  Frank L. Schmidt,et al.  The Relative Efficiency of Regression and Simple Unit Predictor Weights in Applied Differential Psychology , 1971 .

[38]  Vincent Aleven,et al.  Toward an intelligent tutoring system for teaching law students to argue with cases , 1991, ICAIL '91.

[39]  James A. Sprowl.  Automating the legal Reasoning Process: A Computer That Uses Regulations and Statutes to Draft Legal Documents , 1979 .

[40]  Bruce G. Buchanan,et al.  Some Speculation about Artificial Intelligence and Legal Reasoning , 1970 .

[41]  Mark Peterson,et al.  The applications of artificial intelligence to law: a survey of six current projects , 1981, AFIPS '81.

[42]  Mark Kelman,et al.  A Guide to Critical Legal Studies , 1987 .

[43]  Harold D. Lasswell,et al.  Current Studies of the Decision Process: Automation Versus Creativity , 1955 .

[44]  L. T. McCarty.  A language for legal discourse , 1989 .

[45]  D. M. Sherman.  A Prolog model of the income tax act of Canada , 1987, ICAIL '87.

[46]  Layman E. Allen.  Beyond Document Retrieval toward Information Retrieval , 1963 .

[47]  Edwina L. Rissland,et al.  Artificial Intelligence and Law: Stepping Stones to a Model of Legal Reasoning , 1990 .

[48]  Anne v. d. L. Gardner,et al.  The Design of a Legal Analysis Program , 1983, AAAI.

[49]  James Popple.  SHYSTER: The Program , 1995 .

[50]  Hugh Rawson.  A Dictionary of Invective: A Treasury of Curses, Insults, Put-downs and Other Formerly Unprintable Terms from Anglo-Saxon Times to the Present , 1991 .

[51]  Trevor J. M. Bench-Capon,et al.  Towards a rule-based representation of open texture in law , 1985 .

[52]  K. Llewellyn,et al.  Some Realism about Realism: Responding to Dean Pound , 1931 .

[53]  Charles Lamb,et al.  The letters of Charles Lamb : to which are added those of his sister Mary Lamb , 1935 .

[54]  Thomas C. Arciadiacono.  Review of An Artificial Intelligence Approach to Legal Reasoning , 1988, AI Mag..

[55]  C. Tapper.  Lawyers and Machines , 1963 .

[56]  Marek J. Sergot,et al.  Computer Representation of the Law , 1985, IJCAI.

[57]  Trevor J. M. Bench-Capon.  Support for policy makers: formulating legislation with the aid of logical models , 1987, ICAIL '87.

[58]  Gerard Salton,et al.  Research and Development in Information Retrieval , 1982, Lecture Notes in Computer Science.

[59]  Marek Sergot,et al.  The Use of Logical Models in Legal Problem Solving , 1990 .

[60]  D. M. Sherman.  Expert systems and ICAI in tax law: killing two birds with one AI stone , 1989, ICAIL '89.

[61]  P. Leith.  The Emperor's New Expert System , 1987 .

[62]  Kevin D. Ashley.  Modeling legal argument - reasoning with cases and hypotheticals , 1991, Artificial intelligence and legal reasoning.

[63]  Victorian Division,et al.  Australian Broadcasting Commission (ABC) , 1943 .

[64]  Kevin D. Ashley,et al.  Waiting on Weighting: A Symbolic Least Commitment Approach , 1988, AAAI.

[65]  Barry G. Silverman.  Expert systems for business , 1987 .

[66]  W. S. Gilbert,et al.  The Savoy Operas - Being The Complete Text of the Gilbert and Sullivan Operas as Originally Produced in the Years 1875-1896 , 1962 .

[67]  John D McMillan,et al.  Developments under the Adjr Act: The Grounds of Review , 1991 .

[68]  Kevin D. Ashley,et al.  Explaining and Arguing With Examples , 1984, AAAI.

[69]  Edwina L. Rissland,et al.  Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach , 1989, IJCAI.

[70]  Richard E. Susskind.  The latent damage system: a jurisprudential analysis , 1989, ICAIL '89.

[71]  Joseph J. Spengler.  Machine-Made Justice: Some Implications , 1963 .

[72]  K. Llewellyn.  Jurisprudence : Realism in Theory and Practice , 1962 .

[73]  Richard E. Susskind,et al.  Latent Damage Law - the Expert System , 1988 .

[74]  Gary Taylor,et al.  William Shakespeare: A Textual Companion , 1987 .

[75]  Niklaus Wirth,et al.  What can we do about the unnecessary diversity of notation for syntactic definitions? , 1977, Commun. ACM.

[76]  S. Mendelson.  An attempted dimensional analysis of the law governing government appeals in criminal cases , 1989, ICAIL '89.

[77]  David Mead,et al.  Legislative knowledge base systems for public administration: some practical issues , 1991, ICAIL '91.

[78]  Peter E. Hart,et al.  Nearest neighbor pattern classification , 1967, IEEE Trans. Inf. Theory.

[79]  W. T. Williams,et al.  Principles of Clustering , 1971 .

[80]  Kevin D. Ashley,et al.  Ashley,K. D.-But, see, accord: generating blue book citations in HYPO , 1987, ICAIL '87.

[81]  Kevin D. Ashley,et al.  A case-based system for trade secrets law , 1987, ICAIL '87.

[82]  Edwina L. Rissland,et al.  Dimension-based analysis of hypotheticals from supreme court oral argument , 1988, ICAIL '89.

[83]  Edward A. Feigenbaum,et al.  The fifth generation - artificial intelligence and Japan's computer challenge to the world , 1991 .

[84]  Paul Compton,et al.  Inductive knowledge acquisition: a case study , 1987 .

[85]  Donald A. Waterman,et al.  Expert systems for legal decision making , 1986 .

[86]  Layman E. Allen,et al.  Exploring Computer Aided Generation of Questions for Normalizing Legal Rules , 1988 .

[87]  Kevin D. Ashley.  Toward a computational theory of arguing with precedents , 1989, ICAIL '89.

[88]  L. Thorne McCarty.  Some Requirements for a Computer-Based Legal Consultant , 1980, AAAI.

[89]  L. Thorne McCarty,et al.  On the role of prototypes in appellate legal argument (abstract) , 1991, ICAIL '91.

[90]  E. Lauterpacht,et al.  Re A. (An Infant), Hanif v. Secretary of State for Home Affairs. , 1971, International Law Reports.

[91]  J. Harris,et al.  Precedent in English Law , 1968 .

[92]  Jerome Frank.  Courts on trial : myth and reality in American justice , 1951 .

[93]  Mark Peterson,et al.  Rule-Based Models of Legal Expertise , 1980, AAAI.

[94]  Ludwig Bendix,et al.  Courts on Trial. Myth and Reality in American Justice , 1950 .

[95]  Jon Bing,et al.  A Decade of Computers and Law , 1981 .

[96]  Julius Stone.  Man and Machine in the Search for Justice , 1964 .

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

[98]  E. Mckaay,et al.  Predicting judicial decisions: The nearest neighbor rule and visual representa-tion of case patterns , 1974 .

[99]  Kevin D. Ashley,et al.  HYPO: A Precedent-Based Legal Reasoner , 1987 .

[100]  Kenneth A. Lambert,et al.  Legal theory and case-based reasoners: the importance of context and the process of focusing , 1991, ICAIL '91.

[101]  Frank Kriwaczek,et al.  Formalisation of the British nationality act , 1986 .

[102]  L. Karl Brenting,et al.  Reasoning with portions of precedents , 1991, ICAIL '91.

[103]  Stuart S. Nagel.  Decision-Aiding Software and Legal Decision-Making: A Guide to Skills and Applications Throughout the Law , 1989 .

[104]  Carole D. Hafner.  Conceptual organization of case law knowledge bases , 1987, ICAIL '87.

[105]  Anja Oskamp,et al.  PROLEXS divide and rule: a legal application , 1989, ICAIL '89.

[106]  Charles M. Haar,et al.  Computer Power and Legal Reasoning: A Case Study of Judicial Decision Prediction in Zoning Amendment Cases , 1977 .

[107]  Richard E. Susskind.  EXPERT SYSTEMS IN LAW: A JURISPRUDENTIAL APPROACH TO ARTIFICIAL INTELLIGENCE AND LEGAL REASONING , 1986 .

[108]  Jon Bing,et al.  Handbook of Legal Information Retrieval , 1984 .

[109]  J. Weizenbaum.  Computer Power And Human Reason: From Judgement To Calculation , 1978 .

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

[111]  Richard E. Susskind.  Expert systems in law: out of the research laboratory and into the marketplace , 1987, ICAIL '87.

[112]  Edwina L. Rissland,et al.  Interpreting statutory predicates , 1989, ICAIL '89.

[113]  David B. Skalak,et al.  Taking advantage of models for legal classification , 1989, ICAIL '89.

[114]  Kevin D. Ashley,et al.  Compare and Contrast: A Test of Expertise , 1987, AAAI.

[115]  Layman E. Allen,et al.  Modern Logic and Judicial Decision Making: A Sketch of One View , 1963 .

[116]  Julius Stone,et al.  Precedent and law: Dynamics of common law growth , 1985 .

[117]  Graham Greenleaf,et al.  The DataLex legal workstation: integrating tools for lawyers , 1991, ICAIL '91.

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

[119]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[120]  John G. Claudy.  A Comparison of Five Variable Weighting Procedures , 1972 .

[121]  Robert A. Kowalski,et al.  The treatment of negation in logic programs for representing legislation , 1989, ICAIL '89.

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

[123]  Stefan Gottschalk,et al.  Collected Poems 1909 1962 , 1962 .

[124]  R. Mitchell,et al.  Labour law : materials and commentary , 1983 .

[125]  Julius Kraft,et al.  General Theory of Law and State. , 1946, American Journal of International Law.

[126]  J. Mawson,et al.  Employment , 1992, Between Centre and Locality.

[127]  L. Thorne McCarty,et al.  A language for legal Discourse I. basic features , 1989, ICAIL '89.

[128]  Edward Hirsch Levi,et al.  An Introduction to Legal Reasoning , 1950 .

[129]  Carole D. Hafner,et al.  Incorporating procedural context into a model of case-based legal reasoning , 1991, ICAIL '91.

[130]  Hans Kelsen,et al.  The Pure Theory of Law , 1968 .

[131]  David E. Wolstenholme,et al.  Amalgamating regulation- and case-based advice systems through suggested answers , 1989, ICAIL '89.

[132]  Michael G. Dyer,et al.  Precedent-based legal reasoning and knowledge acquisition in contract law: A process model , 1987, ICAIL '87.

[133]  Lee Loevinger,et al.  Jurimetrics--The Next Step Forward , 1949 .

[134]  Edwina L. Rissland,et al.  Argument moves in a rule-guided domain , 1991, ICAIL '91.

[135]  P. Drahoš,et al.  Rule Following, Rule Scepticism and Indeterminacy in Law: A Conventional Account* , 1992 .

[136]  R. Moles.  Definition and rule in legal theory : a reassessment of H.L.A. Hart and the Positivist tradition , 1987 .