nach oben

Artificial Intelligence and Law

Erschienen in:

01.03.2016

A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks

verfasst von: Latifa Al-Abdulkarim, Katie Atkinson, Trevor Bench-Capon

Erschienen in: Artificial Intelligence and Law | Ausgabe 1/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

This paper presents a methodology to design and implement programs intended to decide cases, described as sets of factors, according to a theory of a particular domain based on a set of precedent cases relating to that domain. We use Abstract Dialectical Frameworks (ADFs), a recent development in AI knowledge representation, as the central feature of our design method. ADFs will play a role akin to that played by Entity–Relationship models in the design of database systems. First, we explain how the factor hierarchy of the well-known legal reasoning system CATO can be used to instantiate an ADF for the domain of US Trade Secrets. This is intended to demonstrate the suitability of ADFs for expressing the design of legal cased based systems. The method is then applied to two other legal domains often used in the literature of AI and Law. In each domain, the design is provided by the domain analyst expressing the cases in terms of factors organised into an ADF from which an executable program can be implemented in a straightforward way by taking advantage of the closeness of the acceptance conditions of the ADF to components of an executable program. We evaluate the ease of implementation, the performance and efficacy of the resulting program, ease of refinement of the program and the transparency of the reasoning. This evaluation suggests ways in which factor based systems, which are limited by taking as their starting point the representation of cases as sets of factors and so abstracting away the particular facts, can be extended to address open issues in AI and Law by incorporating the case facts to improve the decision, and by considering justification and reasoning using portion of precedents.

Nächster Artikel An argumentation framework for contested cases of statutory interpretation

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

ADFs are formally defined in Definition 1, Sect. 2.3.

No explanation for using a different number of cases for CATO and IBP-model is given in Brüninghaus and Ashley (2003).

Whereas PADFs were designed specifically to reflect Preference-Based Frameworks (Amgoud and Cayrol 1998), the approach taken here reflects Value-Based Frameworks (Bench-Capon 2003), which are more commonly used in AI and Law. The relationship between Preference- and Value-Based Frameworks is formally characterised in Modgil et al. (2011).

The Boeing Company v. Sierracin Corporation, 108 Wash.2d 38, 738 P.2d 665 (1987).

Goldberg v. Medtronic, 686 F.2d 1219 (7th Cir. 1982).

Running a version of Goldberg without F27 finds for the plaintiff.

Carroll v United States, 267 U.S. 132 (1925).

California v. Carney, 471 US 386 (1985).

Coolidge v. New Hampshire, 403 U.S. 443 (1971).

United States v Chadwick, 433 U. S. 1 (1977).

California v. Acevedo, 500 U.S. 565 (1991).

In the sense of Bench-Capon (2003).

As evidenced by a spate of articles such as the Role of AI in Law, published in The Times newspaper and available at http://raconteur.net/business/time-for-technology-to-take-over, and the many discussion threads on LinkedIn group for the International Association for AI and Law.

Al-Abdulkarim L, Atkinson K, Bench-Capon T (2014) Abstract dialectical frameworks for legal reasoning. In: Proceedings of Jurix 2014, pp 61–70

Al-Abdulkarim L, Atkinson K, Bench-Capon T (2015) Factors, issues and values: revisiting reasoning with cases. In: Proceedings of the 15th ICAIL. ACM

Al-Abdulkarim L, Atkinson K, Bench-Capon TJM (2013) From oral hearing to opinion in the US Supreme Court. Proceedings of JURIX 2013, pp 1–10

Al-Abdulkarim L, Atkinson K, Bench-Capon TJM (2015) Adding dimensions and facts to ADF representation of legal cases. University of Liverpool Department of Computer Science Technical Report ULCS-15-004

Aleven V (1997) Teaching case-based argumentation through a model and examples. Ph.D. thesis, University of Pittsburgh

Amgoud L, Cayrol C (1998) On the acceptability of arguments in preference-based argumentation. In: Proceedings of the fourteenth conference on uncertainty in artificial intelligence, pp 1–7

Araszkiewicz M, Łopatkiewicz A, Zienkiewicz A (2013) Parent plan support system-context, functions and knowledge base. In: Business information systems workshops. Springer, Berlin, pp 160–171

Araszkiewicz M, Lopatkiewicz A, Zienkiewicz A, Zurek T (2015) Representation of an actual divorce dispute in the parenting plan support system. In: Proceedings of the 15th international conference on artificial intelligence and law, ICAIL 2015. San Diego, CA, USA, pp 166–170

Ashley K (1990) Modelling legal argument: reasoning with cases and hypotheticals. Bradford Books/MIT Press, Cambridge, MA

Ashley K, Brüninghaus S (2003) A predictive role for intermediate legal concepts. In: Proceedings of JURIX 2003, pp 1–10

Atkinson K, Bench-Capon T, Prakken H, Wyner A (2013) Argumentation schemes for reasoning about factors with dimensions. In: Proceedings of JURIX 2013, pp 39–48

Bench-Capon T (2003) Persuasion in practical argument using value-based argumentation frameworks. J Log Comput 13(3):429–448MathSciNetCrossRefMATH

Bench-Capon T (2011) Relating values in a series of supreme court decisions. In: Proceedings of JURIX 2011. IOS Press, pp 13–22

Bench-Capon T, Rissland E (2001) Back to the future: dimensions revisited. In: Proceedings of JURIX 2001. IOS Press, pp 41–52

Bench-Capon T, Sartor G (2003) A model of legal reasoning with cases incorporating theories and values. Artif Intell 150(1–2):97–143CrossRefMATH

Bench-Capon TJM (2002) Representation of case law as an argumentation framework. In: Legal knowledge and information systems. Proceedings of Jurix 2002, pp 103–112

Bench-Capon TJM (2003) Try to see it my way: modelling persuasion in legal discourse. Artif Intell Law 11(4):271–287CrossRef

Bench-Capon TJM (2012) Representing Popov v Hayashi with dimensions and factors. Artif Intell Law 20(1):15–35CrossRef

Bench-Capon TJM, Coenen F (1992) Isomorphism and legal knowledge based systems. Artif Intell Law 1(1):65–86 CrossRef

Bench-Capon TJM, Modgil S (2009) Case law in extended argumentation frameworks. In: The 12th international conference on artificial intelligence and law, proceedings of the conference. ACM Press, Barcelona, pp 118–127

Bench-Capon TJM, Prakken H (2010) Using argument schemes for hypothetical reasoning in law. Artif Intell Law 18(2):153–174CrossRef

Bench-Capon TJM, Robinson GO, Routen T, Sergot MJ (1987) Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. In: Proceedings of the first international conference on artificial intelligence and law, pp 190–198

Berman D, Hafner C (1993) Representing teleological structure in case-based legal reasoning: the missing link. In: Proceedings of the fourth international conference on artificial intelligence and law, pp 50–59

Berman DH, Hafner CD (1995) Understanding precedents in a temporal context of evolving legal doctrine. In: Proceedings of the fifth international conference on artificial intelligence and law, pp 42–51

Bex FJ (2011) Arguments, stories and criminal evidence: a formal hybrid theory, vol 92. Springer, BerlinCrossRef

Branting K (1991) Building explanations from rules and structured cases. Int J Man Mach Stud 34(6):797–837CrossRef

Branting LK (1991) Reasoning with portions of precedents. In: Proceedings of the 3rd international conference on artificial intelligence and law. ACM, pp 145–154

Branting LK (1993) An issue-oriented approach to judicial document assembly. In: Proceedings of the 4th international conference on artificial intelligence and law. ACM, pp 228–235

Bratley P, Frémont J, Mackaay E, Poulin D (1991) Coping with change. In: Proceedings of the third international conference on artificial intelligence and law, pp 69–76

Breuker J, den Haan N (1991) Separating world and regulation knowledge: where is the logic. In: Proceedings of the third international conference on artificial intelligence and law. ACM Press, pp 92–97

Brewka G, Dunne P, Woltran S (2011) Relating the semantics of abstract dialectical frameworks and standard afs. In: Proceedings of the 22nd international joint conference on artificial intelligence, pp 780–785

Brewka G, Strass H, Ellmauthaler S, Wallner J, Woltran S (2013) Abstract dialectical frameworks revisited. In: 23rd International joint conference on artificial intelligence

Brewka G, Woltran S (2010) Abstract dialectical frameworks. In: Principles of knowledge representation and reasoning: proceedings of the twelfth international conference

Brüninghaus S, Ashley K (2003) Predicting outcomes of case-based legal arguments. In: 9th International conference on artificial intelligence and law, pp 233–242

Cayrol C, Lagasquie-Schiex M-C (2009) Bipolar abstract argumentation systems. In: Argumentation in artificial intelligence. Springer, Berlin, pp 65–84

Chorley A, Bench-Capon T (2005) Agatha: using heuristic search to automate the construction of case law theories. Artif Intell Law 13(1):9–51CrossRef

Chorley A, Bench-Capon T (2005) An empirical investigation of reasoning with legal cases through theory construction and application. Artif Intell Law 13(3–4):323–371

Clark KL (1978) Negation as failure. In: Logic and data bases. Springer, Berlin, pp 293–322

Connolly TM, Begg CE (2005) Database systems: a practical approach to design, implementation, and management. Addison Wesley, Harlow

Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and \(n\)-person games. Artif Intell 77:321–357MathSciNetCrossRefMATH

Ellmauthaler S, Strass H (2014) The DIAMOND system for computing with abstract dialectical frameworks. In: Computational models of argument—proceedings of COMMA 2014. Atholl Palace Hotel, Scottish Highlands, pp 233–240

Gardner AL (1984) Artificial intelligence approach to legal reasoning. MIT Press, Cambridge, MA

Grabmair M, Ashley KD (2010) Argumentation with value judgments—an example of hypothetical reasoning. In: Legal knowledge and information systems—JURIX 2010: the twenty-third annual conference on legal knowledge and information systems, Liverpool, pp 67–76

Gruber TR (1991) The role of common ontology in achieving sharable, reusable knowledge bases. In: Proceedings of the 2nd international conference on principles of knowledge representation and reasoning, pp 601–602

Hafner CD (1987) Conceptual organization of case law knowledge bases. In: Proceedings of the first international conference on AI and Law, pp 35–42

Henderson J, Bench-Capon TJM (2001) Dynamic arguments in a case law domain. In: Proceedings of the eigths international conference on artificial intelligence and law, pp 60–69

Horty J, Bench-Capon T (2012) A factor-based definition of precedential constraint. Artif Intell Law 20(2):181–214CrossRef

Horty JF (2011) Reasons and precedent. In: The 13th international conference on artificial intelligence and law, pp 41–50

Johnson P, Mead D (1991) Legislative knowledge base systems for public administration: some practical issues. In: Proceedings of the third international conference on artificial intelligence and law, pp 108–117

Johnson P, Mead D (2007) Rule based system and method for writing, developing, implementing and administering legislation, US Patent 7,287,016

Johnson PR, Reid TJ, Barry A (2011) Rule based system and method, US Patent 7,933,854

Kralingen RWV (1995) Frame-based conceptual models of statute law. Kluwer Law International, Dordrecht

Levi EH (1949) An introduction to legal reasoning. University of Chicago Press, Chicago

Lindahl L, Odelstad J (2008) Intermediaries and intervenients in normative systems. J Appl Log 6(2):229–250MathSciNetCrossRefMATH

McCarty LT (1977) Reflections on taxman: an experiment in artificial intelligence and legal reasoning. Harv Law Rev 90:837–893 CrossRef

Modgil S, Bench-Capon TJM (2011) Metalevel argumentation. J Log Comput 21(6):959–1003MathSciNetCrossRefMATH

Palmirani M, Governatori G, Contissa G (2011) Modelling temporal legal rules. In: The 13th international conference on artificial intelligence and law, pp 131–135

Prakken H (1995) From logic to dialectics in legal argument. In: Proceedings of the 5th international conference on artificial intelligence and law. ACM, New York, NY, pp 165–174

Prakken H (2010) An abstract framework for argumentation with structured arguments. Argum Comput 1(2):93–124CrossRef

Prakken H, Sartor G (1998) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6(2–4):231–287CrossRef

Pressman RS (2005) Software engineering: a practitioner’s approach. Palgrave Macmillan, LondonMATH

Rissland EL (1989) Dimension-based analysis of hypotheticals from supreme court oral argument. In: Second international conference on artificial intelligence and law, pp 111–120

Routen T, Bench-Capon TJM (1991) Hierarchical formalizations. Int J Man Mach Stud 35(1):69–93CrossRef

Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The british nationality act as a logic program. Commun ACM 29(5):370–386CrossRef

van Engers TM (2001) Power: using UML/OCL for modelling legislation—an application report. In: Proceedings of the eighth international conference on artificial intelligence and law, pp 157–167

Van Kralingen RW, Visser PR, Bench-Capon TJ, Van Den Herik HJ (1999) A principled approach to developing legal knowledge systems. Int J Hum Comput Stud 51(6):1127–1154CrossRef

Visser PR (1995) Knowledge specification for multiple legal tasks: a case study of the interaction problem in the legal domain, vol 17. Kluwer Law International, Dordrecht

Wyner A, Hoekstra R (2012) A legal case OWL ontology with an instantiation of Popov v. Hayashi. Artif Intell Law 20(1):83–107CrossRef

Wyner AZ, Bench-Capon TJM, Atkinson K (2007) Arguments, values and baseballs: representation of Popov v. Hayashi. In: Legal knowledge and information systems—JURIX 2007: the twentieth annual conference on legal knowledge and information systems, pp 151–160

Zurek T, Araszkiewicz M (2013) Modeling teleological interpretation. In: Proceedings of the 14th international conference on artificial intelligence and law, pp 160–168

Titel: A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks
verfasst von: Latifa Al-Abdulkarim
Katie Atkinson
Trevor Bench-Capon
Publikationsdatum: 01.03.2016
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 1/2016
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-016-9178-1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner