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

Artificial Intelligence and Law

Volumn 13, Issue 1, 2005, Pages 9-51

  Chorley, Alison ^a   Bench Capon, Trevor ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Case based reasoning; Heuristic search; Legal knowledge based systems; Theory construction

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATION; FUNCTION EVALUATION; KNOWLEDGE BASED SYSTEMS; THEOREM PROVING;

CASE BASED REASONING; HEURISTIC SEARCH; LEGAL KNOWLEDGE BASED SYSTEMS; THEORY CONSTRUCTION;

HEURISTIC METHODS;

EID: 33746922396     PISSN: 09248463     EISSN: 15728382     Source Type: Journal    
DOI: 10.1007/s10506-006-9004-2     Document Type: Article

References (17)

1. Aleven, V. (1997). Teaching Case Based Argumentation Through an Example and Models. PhD Thesis, The University of Pittsburgh.
2. Ashley, K. D. (1990). Modelling Legal Argument. Bradford Books, MIT Press: Cambridge, Mass.
3. Ashley, K. and Brüninghaus, S. (2003). A Predictive Role for Intermediate Legal Concepts: In Bourcier, D. (ed.), Proceedings of Jurix 2003. IOS PressAmsterdam, 153-162.
4. Bench-Capon, T. and Sartor, G. (2003). A Model of Legal Reasoning with Cases Incorporating Theories and Values, Artificial Intelligence 150(1-2): 97-143.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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. IOS PressAmsterdam, 173-182.
10. Chorley, A. and Bench-Capon, T. (2004a). Support for Constructing Theories in Case Law Domains: In Galindo, F., Takizawa, M. and Traunmuller, R. (ed), Proceedings of DEXA 2004. LNCS. 3180 Springer VerlagBerlin, 508-517.
11. 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.
12. 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.
13. 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.
14. Lipinski, T. A. and Britz, J. J. (2000). Rethinking the Ownership of Information in the 21st Century: Ethical Implications, Ethics and Information Technology 2, 49-71.
15. Prakken, H. and Sartor, G. (1998). Modelling Reasoning with Precedents in a Formal Dialogue Game, Artificial Intelligence and Law 6, 231-287.
16. Skalak, D. B. and Rissland, E. L. (1992). Arguments and Cases: An Inevitable Intertwining, Artificial Intelligence and Law 1, 3-44.
17. Winston, P. H. (1992). Artificial Intelligence. (3rd ed.). Addison Wesley: Reading, Mass.