AGATHA: Automation of the Construction of Theories in Case Law Domains
Alison Chorley, Trevor J. M. Bench-Capon · 2004
Abstract. Some recent accounts of reasoning with legal cases view reasoning with cases as theory construction. In this paper we describe AGATHA (ArGument Agent for THeory Automation) which will automatically generate theories intended to explain a body of case law by following a process inspired by the style of argumentation found in case based reasoning systems. Thus AGATHA behaves like a case based reasoner, but has as its end product a theory, which can be examined, critiqued or input to our other tool, CATE, for refinement or to generate executable code. 1