Skip to main content
Erschienen in: Artificial Intelligence and Law 3/2019

11.03.2019 | Original Research

Reasoning with dimensions and magnitudes

verfasst von: John Horty

Erschienen in: Artificial Intelligence and Law | Ausgabe 3/2019

Einloggen

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

search-config
loading …

Abstract

This paper shows how two models of precedential constraint can be broadened to include legal information represented through dimensions. I begin by describing a standard representation of legal cases based on boolean factors alone, and then reviewing two models of constraint developed within this standard setting. The first is the “result model”, supporting only a fortiori reasoning. The second is the “reason model”, supporting a richer notion of constraint, since it allows the reasons behind a court’s decisions to be taken into account. I then show how the initial representation can be modified to incorporate dimensional information and how the result and reason models can be adapted to this new dimensional setting. As it turns out, these two models of constraint, which are distinct in the standard setting, coincide once they are transposed to the new dimensional setting, yielding exactly the same patterns of constraint. I therefore explore two ways of refining the reason model of constraint so that, even in the dimensional setting, it can still be separated from the result model.

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!

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!

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
See both Bench-Capon and Rissland (2001) and Rissland and Ashley (2002) for arguments supporting the importance of dimensions in legal knowledge representation.
 
2
Speaking of dimensions, as well as hypotheticals, they write that “there are no theoretical objections to extending our analysis with these features” (Prakken and Sartor 1998, p. 279).
 
3
See, for example, Al-Abdulkarim et al. (2016) and Prakken et al. (2015).
 
4
The phrase “result model” is due to Alexander (1989).
 
5
An interesting discussion of the realist influence on Goodhart is found in Duxbury (2005, pp. 80–90).
 
6
Later, in Sect. 4, we discuss restricting reference points to salient values on the dimensional scale.
 
7
I owe this form of argument, or perhaps this argument itself, to Schroeder (2007).
 
8
For an emphasis on coherence as a criterion of rule acceptability, see, of course, Dworkin (1977) and Dworkin (1986).
 
9
In a preliminary version of this paper (Horty 2017, Section 4), I described a different interpretation of standard into dimensional information, with each standard factor thought of as its own dimension, taking the boolean values of 1 or 0 to indicate presence or absence.
 
Literatur
Zurück zum Zitat Al-Abdulkarim L, Atkinson K, Bench-Capon T (2016) ANGELIC secrets: bridging from factors to facts in US trade secrets law. In: Proceedings of the twenty-ninth international conference on legal knowledge and information systems (JURIX 2016), pp 113–118 Al-Abdulkarim L, Atkinson K, Bench-Capon T (2016) ANGELIC secrets: bridging from factors to facts in US trade secrets law. In: Proceedings of the twenty-ninth international conference on legal knowledge and information systems (JURIX 2016), pp 113–118
Zurück zum Zitat Aleven V, Ashley K (1997) Evaluating a learning environment for case-based argumentation skills. In: Proceedings of the sixth international conference on artificial intelligence and law (ICAIL-97). The Association for Computing Machinery Press, pp 170–179 Aleven V, Ashley K (1997) Evaluating a learning environment for case-based argumentation skills. In: Proceedings of the sixth international conference on artificial intelligence and law (ICAIL-97). The Association for Computing Machinery Press, pp 170–179
Zurück zum Zitat Alexander L (1989) Constrained by precedent. South Calif Law Rev 63:1–64 Alexander L (1989) Constrained by precedent. South Calif Law Rev 63:1–64
Zurück zum Zitat Allen L (1957) Symbolic logic: a razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:33–79 Allen L (1957) Symbolic logic: a razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:33–79
Zurück zum Zitat Ashley K (1990) Modeling legal argument: reasoning with cases and hypotheticals. The MIT Press, Cambridge Ashley K (1990) Modeling legal argument: reasoning with cases and hypotheticals. The MIT Press, Cambridge
Zurück zum Zitat Bench-Capon T (1999) Some observations on modelling case based reasoning with formal argument models. In: Proceedings of the sixth international conference on artificial intelligence and law (ICAIL-99). The Association for Computing Machinery Press, pp 36–42 Bench-Capon T (1999) Some observations on modelling case based reasoning with formal argument models. In: Proceedings of the sixth international conference on artificial intelligence and law (ICAIL-99). The Association for Computing Machinery Press, pp 36–42
Zurück zum Zitat Bench-Capon T (2002) The missing link revisited: the role of teleology in representing legal argument. Artif Intell Law 10:79–94CrossRef Bench-Capon T (2002) The missing link revisited: the role of teleology in representing legal argument. Artif Intell Law 10:79–94CrossRef
Zurück zum Zitat Bench-Capon T, Atkinson K (2017) Dimensions and values for legal CBR. In: Legal knowledge and information systems: JURIX 2017, the thirtieth annual conference. IOS Press, pp 27–32 Bench-Capon T, Atkinson K (2017) Dimensions and values for legal CBR. In: Legal knowledge and information systems: JURIX 2017, the thirtieth annual conference. IOS Press, pp 27–32
Zurück zum Zitat Bench-Capon T, Rissland E (2001) Back to the future: dimensions revisited. In: The fourteenth annual conference on legal knowledge and information systems (JURIX-2001). IOS Press, pp 41–52 Bench-Capon T, Rissland E (2001) Back to the future: dimensions revisited. In: The fourteenth annual conference on legal knowledge and information systems (JURIX-2001). IOS Press, pp 41–52
Zurück zum Zitat Bench-Capon T, Sartor G (2003) A model of legal reasoning with cases incorporating theories and values. Artif Intell 150:97–143CrossRefMATH Bench-Capon T, Sartor G (2003) A model of legal reasoning with cases incorporating theories and values. Artif Intell 150:97–143CrossRefMATH
Zurück zum Zitat Bench-Capon T, Robinson G, Routen T, Sergot M (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 (ICAIL-87). The Association for Computing Machinery Press, pp 190–198 Bench-Capon T, Robinson G, Routen T, Sergot M (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 (ICAIL-87). The Association for Computing Machinery Press, pp 190–198
Zurück zum Zitat 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 (ICAIL-93). The Association for Computing Machinery Press, pp 50–59 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 (ICAIL-93). The Association for Computing Machinery Press, pp 50–59
Zurück zum Zitat Duxbury N (2005) The nature and authority of precedent. Cambridge University Press, Cambridge Duxbury N (2005) The nature and authority of precedent. Cambridge University Press, Cambridge
Zurück zum Zitat Dworkin R (1977) Taking rights seriously. Harvard University Press, Cambridge Dworkin R (1977) Taking rights seriously. Harvard University Press, Cambridge
Zurück zum Zitat Dworkin R (1986) Law’s empire. Harvard University Press, Cambridge Dworkin R (1986) Law’s empire. Harvard University Press, Cambridge
Zurück zum Zitat Eisenberg M (1988) The nature of the common law. Harvard University Press, Cambridge Eisenberg M (1988) The nature of the common law. Harvard University Press, Cambridge
Zurück zum Zitat Goodhart A (1930) Determining the ratio decidendi of a case. Yale Law J 40:161–183CrossRef Goodhart A (1930) Determining the ratio decidendi of a case. Yale Law J 40:161–183CrossRef
Zurück zum Zitat Hage J (1993) Monological reason-based logic: a low-level integration of rule-based and case-based reasoning. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL-93). Association for Computing Machinery Press, pp 30–39 Hage J (1993) Monological reason-based logic: a low-level integration of rule-based and case-based reasoning. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL-93). Association for Computing Machinery Press, pp 30–39
Zurück zum Zitat Horty J (2011) Rules and reasons in the theory of precedent. Leg Theory 17:1–33CrossRef Horty J (2011) Rules and reasons in the theory of precedent. Leg Theory 17:1–33CrossRef
Zurück zum Zitat Horty J (2015) Constraint and freedom in the common law. Philos Impr 15(25):1–27 Horty J (2015) Constraint and freedom in the common law. Philos Impr 15(25):1–27
Zurück zum Zitat Horty J (2017) Reasoning with dimensions and magnitudes. In: Proceedings of the sixteenth international conference on artificial intelligence and law (ICAIL 2017). The Association for Computing Machinery Press, pp 109–118 Horty J (2017) Reasoning with dimensions and magnitudes. In: Proceedings of the sixteenth international conference on artificial intelligence and law (ICAIL 2017). The Association for Computing Machinery Press, pp 109–118
Zurück zum Zitat Horty J, Bench-Capon T (2012) A factor-based definition of precedential constraint. Artif Intell Law 20:181–214CrossRef Horty J, Bench-Capon T (2012) A factor-based definition of precedential constraint. Artif Intell Law 20:181–214CrossRef
Zurück zum Zitat Loui R, Norman J, Olson J, Merrill A (1993) A design for reasoning with policies, precedents, and rationales. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL-93). The Association for Computing Machinery Press, pp 201–211 Loui R, Norman J, Olson J, Merrill A (1993) A design for reasoning with policies, precedents, and rationales. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL-93). The Association for Computing Machinery Press, pp 201–211
Zurück zum Zitat Prakken H (2002) An exercise in formalising teleological case-based reasoning. Artif Intell Law 10:113–133CrossRefMATH Prakken H (2002) An exercise in formalising teleological case-based reasoning. Artif Intell Law 10:113–133CrossRefMATH
Zurück zum Zitat Prakken H, Sartor G (1998) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6:231–287CrossRef Prakken H, Sartor G (1998) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6:231–287CrossRef
Zurück zum Zitat Prakken H, Wyner A, Bench-Capon T, Atkinson K (2015) A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J Log Comput 25:1141–1166MathSciNetCrossRefMATH Prakken H, Wyner A, Bench-Capon T, Atkinson K (2015) A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J Log Comput 25:1141–1166MathSciNetCrossRefMATH
Zurück zum Zitat Raz J (1979) The authority of law. Oxford University Press, Oxford Raz J (1979) The authority of law. Oxford University Press, Oxford
Zurück zum Zitat Rigoni A (2018) Representing dimensions within the reason model of precedent. Artif Intell Law 26:1–22CrossRef Rigoni A (2018) Representing dimensions within the reason model of precedent. Artif Intell Law 26:1–22CrossRef
Zurück zum Zitat Rissland E, Ashley K (1987) A case-based system for trade secrets law. In: Proceedings of the first international conference on artificial intelligence and law (ICAIL-87). The Association for Computing Machinery Press, pp 60–66 Rissland E, Ashley K (1987) A case-based system for trade secrets law. In: Proceedings of the first international conference on artificial intelligence and law (ICAIL-87). The Association for Computing Machinery Press, pp 60–66
Zurück zum Zitat Rissland E, Ashley K (2002) A note on dimensions and factors. Artif Intell Law 10:65–77CrossRef Rissland E, Ashley K (2002) A note on dimensions and factors. Artif Intell Law 10:65–77CrossRef
Zurück zum Zitat Rissland E, Skalak D (1989) Interpreting statutory predicates. In: Proceedings of the second international conference on artificial intelligence and law (ICAIL-89). The Association for Computing Machinery Press, pp 46–53 Rissland E, Skalak D (1989) Interpreting statutory predicates. In: Proceedings of the second international conference on artificial intelligence and law (ICAIL-89). The Association for Computing Machinery Press, pp 46–53
Zurück zum Zitat Schroeder M (2007) Weighting for a plausible Humean theory of reasons. Nous 41:110–132CrossRef Schroeder M (2007) Weighting for a plausible Humean theory of reasons. Nous 41:110–132CrossRef
Zurück zum Zitat Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun Assoc Comput Mach 29:370–386 Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun Assoc Comput Mach 29:370–386
Zurück zum Zitat Simpson AWB (1961) The ratio decidendi of a case and the doctrine of binding precedent. In: Guest AG (ed) Oxford essays in jurisprudence. Oxford University Press, Oxford, pp 148–175 Simpson AWB (1961) The ratio decidendi of a case and the doctrine of binding precedent. In: Guest AG (ed) Oxford essays in jurisprudence. Oxford University Press, Oxford, pp 148–175
Metadaten
Titel
Reasoning with dimensions and magnitudes
verfasst von
John Horty
Publikationsdatum
11.03.2019
Verlag
Springer Netherlands
Erschienen in
Artificial Intelligence and Law / Ausgabe 3/2019
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-019-09245-0

Premium Partner