Skip to main content
SpringerLink
Log in

AGATHA: Using heuristic search to automate the construction of case law theories

  • Published:
Artificial Intelligence and Law Aims and scope Submit manuscript

Abstract

In this paper we describe AGATHA, a program designed to automate the process of theory construction in case based domains. Given a seed case and a number of precedent cases, the program uses a set of argument moves to generate a search space for a dialogue between the parties to the dispute. Each move is associated with a set of theory constructors, and thus each point in the space can be associated with a theory intended to explain the seed case and the other cases in the domain. The space is large and so an heuristic search method is needed. This paper describes two methods based on A* and alpha/beta pruning and also a series of experiments designed to explore the appropriateness of different evaluation functions, the most useful precedents to use as seed cases and the quality of the resulting theories.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aleven, V. (1997). Teaching Case Based Argumentation Through an Example and Models. PhD Thesis, The University of Pittsburgh

  • Ashley K. D. (1990). Modelling Legal Argument. Bradford Books, MIT Press, Cambridge, Mass

    Google Scholar 

  • Ashley K. and Brüninghaus S. (2003). A Predictive Role for Intermediate Legal Concepts. In: Bourcier D. (eds) Proceedings of Jurix 2003, 153–162. IOS Press: Amsterdam

    Google Scholar 

  • Bench-Capon T., Sartor G. (2003). A Model of Legal Reasoning with Cases Incorporating Theories and Values. Artificial Intelligence 150(1–2):97–143

    Article  MATH  Google Scholar 

  • Branting, K. L. (1991). Reasoning with Portions of Precedents. In Proceedings of the Third International Conference on AI and Law, 45–54. ACM Press: New York

  • Brüninghaus, S. and Ashley, K. D. (2003). Predicting Outcomes of Case-based Legal Arguments. In Proceedings of the Ninth International Conference on AI and Law, 233–242. ACM Press: New York

  • Chorley, A. and Bench-Capon, T. (2003a). Developing Legal Knowledge Based Systems Through Theory Construction. Technical Report ULCS-03-013, Department of Computer Science, The University of Liverpool. http://www.csc.liv.ac.uk/research/techreports/tr2003/ulcs-03-013.pdf

  • Chorley, A. and Bench-Capon, T. (2003b). Developing Legal Knowledge Based Systems Through Theory Construction. In Proceedings of the Ninth International Conference on AI and Law. ACM Press: New York

  • Chorley A. and Bench-Capon T. (2003c). Reasoning with Legal Cases as Theory Construction: Some Experimental Results. In Bourcier, D. (ed.), Proceedings of Jurix 2003, 173–182. IOS Press: Amsterdam

    Google Scholar 

  • Chorley A. and Bench-Capon T. (2004a). Support for Constructing Theories in Case Law Domains. In Galindo F., Takizawa M., and Traunmuller R. (eds.), Proceedings of DEXA 2004. LNCS 3180. Springer Verlag, Berlin, 508–517

    Google Scholar 

  • Chorley, A. and Bench-Capon, T. (2004b). AGATHA: Automation of the Construction of Theories in Case Law Domains. In Proceedings of Jurix 2004, 89–98. IOS Press: Amsterdam

  • Chorley A. and Bench-Capon T. (2005). AGATHA: Automated Construction of Case Law Theories Through Heuristic Search. In Proceedings of the Tenth International Conference on AI and Law. ACM Press: New York

  • Chorley, A. and Bench-Capon, T. (to appear). An Empirical Investigation of Reasoning with Legal Cases Through Theory Construction and Application. Artificial Intelligence and Law

  • Lipinski T. A., Britz J. J. (2000). Rethinking the Ownership of Information in the 21st Century: Ethical Implications. Ethics and Information Technology 2:49–71

    Article  Google Scholar 

  • Prakken H. and Sartor G. (1998). Modelling Reasoning with Precedents in a Formal Dialogue Game. Artificial Intelligence and Law 6:231–287

    Article  Google Scholar 

  • Skalak D. B. and Rissland E. L. (1992). Arguments and Cases: An Inevitable Intertwining. Artificial Intelligence and Law 1: 3–44

    Article  Google Scholar 

  • Winston P. H. (1992). Artificial Intelligence, 3rd edn. Addison Wesley, Reading, Mass

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Liverpool, Liverpool, UK

    Alison Chorley & Trevor Bench-Capon

Authors
  1. Alison Chorley
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Trevor Bench-Capon
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Trevor Bench-Capon.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chorley, A., Bench-Capon, T. AGATHA: Using heuristic search to automate the construction of case law theories. Artif Intell Law 13, 9–51 (2005). https://doi.org/10.1007/s10506-006-9004-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10506-006-9004-2

Keywords

Search

Navigation