Argumentation schemes in AI and Law
Abstract
In this paper we describe the impact that Walton’s conception of argumentation schemes had on AI and Law research. We will discuss developments in argumentation in AI and Law before Walton’s schemes became known in that community, and the issues that were current in that work. We will then show how Walton’s schemes provided a means of addressing all of those issues, and so supplied a unifying perspective from which to view argumentation in AI and Law.
1.Introduction
Walton’s notion of argumentation schemes as set out in [97] and [104] has had a profound influence on AI and Law [13]. In this paper we will discuss the use of argumentation schemes in AI and Law, and show how various uses of argumentation schemes were affected by awareness of Walton’s ideas. We begin by giving a brief overview of Walton’s notion of argumentation schemes.
Walton’s ideas about argumentation schemes developed from his work on fallacies. Logicians, who are interested in studying arguments that can be accepted as true from their form alone, have also investigated logical fallacies [59]: arguments that have a similar form but where the truth of the premises does not guarantee the truth of the conclusion. Thus Aristotle’s study of the syllogism [7] was intended to show which forms of the syllogism led to valid arguments and which led to invalid arguments. Although interest in fallacies diminished as logical theory from the late nineteenth-century forward turned more and more to axiomatic systems and formal languages, in the second half of the twentieth century interest in fallacies returned as philosophers realised the uncomfortable fit between formal logic and natural language reasoning and argumentation. Walton was part of this revival, publishing a string of works on fallacies including [111, 112] and [107] amongst numerous others. Many fallacies have the form of a deductive argument, premises followed by conclusion, but they are not sound in that their premises may be true and yet their conclusion false. None the less, in practice, these forms of arguments are widely used, and often rightly accepted. Most arguments used in everyday discourse are not such as their premises entail their conclusions: the premises give reasons to believe the conclusion, and may allow us to presume that the conclusion is true. But this presumption is open to challenge, and must be withdrawn if it is shown that in the current context there are reasons to believe that the presumption does not hold. The everyday notion of arguments, and the predominant notion in legal argument, comes from their use in critical discussion, not in the demonstration of an unassailable truth.
An example of a fallacy is the ad verecundiam fallacy [111] which concerns appeals to authority or expertise. This fallacy can be expressed as an argument of the following form:
E is an expert on subject S
E asserted that A is true
A relates to subject S
Therefore, A is true.
This is clearly not a sound argument: an authority may make a false statement about his subject for any of a number of reasons, in which case the premises will be true and the conclusion false. None the less, it is a form of argument that we commonly use and accept. Most of what we know was not discovered by us, nor incontrovertibly proven, but told to us by someone we regarded as an authority and who we believed was telling us the truth, having no reason to suppose otherwise. This observation, that certain types of argument give a presumptive reason to accept the conclusion in a given context where there are no reasons to disbelieve the conclusion, was the basis of Walton’s notion of argumentation schemes. Argumentation schemes may be thought of as contextual forms of argument, where the conclusion of the argument is made more plausible or persuasive if the premises of the argument are believed or accepted to be true.
Thus use of the ad verecundiam argumentation scheme does not establish its conclusion as true, but gives a reason to presume that it is true, in the absence of any reason to think otherwise. In order to make the notion of reason to think otherwise concrete, Walton associated each of the schemes he identified with a set of characteristic critical questions, offering various possibilities as to why we might think otherwise. For example, we might associate the following questions with ad verecundiam. These are the critical questions given in [100], one of Walton’s later discussions of this scheme:
AVCQ1 How credible is E as an expert source?
AVCQ2 Is E an expert in the field that A is in?
AVCQ3 Does E’s testimony imply A?
AVCQ4 Is E reliable?
AVCQ5 Is A consistent with the testimony of other experts?
AVCQ6 Is A supported by evidence?
There are a number of variations in the critical questions for this scheme: sometimes bias is explicitly mentioned, but here it is subsumed under AVCQ4. But the general idea is that there are a number of reasons why one might withdraw the presumption that A is true, but if none of these apply, A can be accepted.
If a critical question is posed, it casts doubt on the conclusion, but the presumption may be reinstated by giving a satisfactory answer to the question. Thus AVCQ2 could be answered by listing E’s qualifications, or track record. So we can see the argumentation schemes as providing a framework for critical discussion in which an argument is presented, questioned and defended. Many of Walton’s schemes in [104] correspond to traditional fallacies, including several relating to the ad verecundiam fallacy (argument from expert opinion, argument from authority and argument from position to know). What the schemes add is the conditions under which the argument can properly be used to presumptively establish its conclusion.
Walton saw argumentation schemes as being within a dialogical context. Following this view, one could see the procedure for evaluating arguments as taking the form of a set of dialogue rules. However, as Prakken points out in [74] and [13], argumentation schemes can also be seen in another way. On this alternative view, argumentation schemes are essentially logical constructs, so that a procedure for evaluating arguments primarily takes the form of a logic. Prakken argues that most (though not all) argumentation schemes can be seen as defeasible inference rules and that their critical questions can be seen as pointers to counter-arguments, so that the logic governing the use of argumentation schemes should be a logic for defeasible argumentation. On this view, the logical and dialectical aspects can be separated, as Prakken argued in [72], where he proposed three levels;
A generation11 level for the construction of arguments (here the instantiation of argumentation schemes and their critical questions);
An argument level at which arguments can be assigned a status to determine which are acceptable (for example using Dung’s argumentation frameworks [69] applying a particular semantics);
A dialectical level, in which arguments are deployed to perform a task (e.g for a legal procedure such as pleadings [47], or deciding a case as in [30]).
In [74] Prakken also identifies a third way of viewing argumentation schemes, namely as a compressed way of expressing a particular method of reasoning.
In the remainder of this paper we will discuss the development of models of argumentation in AI and Law using Walton’s account of argumentation schemes as a lens through which to view and compare various approaches. We will begin by discussing how argumentation was treated before Walton’s understanding of argumentation schemes became widely adopted.
2.Standard models of legal argumentation
The first International Conference on Artificial Intelligence and Law, held in Boston in 1987 is generally accepted as the starting point for the field of AI and Law. Although there had been some work in AI and Law before that, notably [81, 90] and [96], and there had been some small invited gatherings, this was where and when the international community as a whole first came together to exchange ideas. At that conference two distinctive models of legal reasoning were presented: what might be termed the case based model, described in [82] and the rule based model [34]. These two approaches represented different conceptions of argumentation.
2.1.The rule based model
Although earlier legal systems had been built using production rules e.g. [110], rule based approaches were heavily influenced by systems such as [85] which saw them in terms of logical proof. In both the logical programming and production rule approaches, explanation followed the how? explanation pioneered by MYCIN [44], in which each conclusion established by a rule was explained by the truth of the predicates in the body of the rule, which were in turn explained by the rules used to establish them until the base level of facts was reached. The result is a tree with the conclusion as root, the facts as leaves, and between them a series of intermediate steps.
This tree can be interpreted as an argument, with each step a subargument. These arguments and subarguments are themselves of a single type, representing the success of a clause in the underlying program. They can thus be seen as a defeasible modus ponens: if the premises in the body of the clause are satisfied, the conclusion in the head of the clause can be drawn. The conclusion is, however, defeasible because of the use of negation as failure [61], so that something currently held to be false can be made true by the addition of a fact. An argument of this sort can be used to justify a position or to explain how the conclusion was reached, but it does not capture the dialectical aspects associated with argumentation, since no conflicting arguments are generated. In terms of Prakken’s model we have the generation level, and a trivial evaluation level (where the generated argument is always true), but no dialectical level. It is missing the critical questions which are needed as “pointers to counterarguments”, so that attacking arguments can be generated, and the critical discussion aspects of argumentation properly reflected.
To attempt to capture some of the dialectical aspects of argumentation, it was proposed by practitioners of this approach that multiple interpretations of the law or, in cases of uncertainty, multiple fact situations, could be represented in the program, so that several different, perhaps conflicting, arguments could be produced [36]. These counter agruments are, however, simply derivations of a contrary conclusion, and so lack the nuances of Walton’s critical questions. Moreover, there is no longer an evaluation level: in [36] deciding between the different arguments was entirely a matter for the user. It was, however, suggested that an evaluation level could be supplied by encoding legal principles as meta-rules. The principle of lex specialis (prefer the more specific rule) was used in [71], while a variety or principles could serve as meta-rules in [84], including meta-meta rules to resolve conflicting meta-rules. This approach, however, lost favour as more sophisticated means of handing preferences in rule based systems such as using precedents [78] or values [35] were developed.
2.2.The case based model
The case based model was introduced by HYPO [82], most fully described in [8]. HYPO gave rise to a long succession of influential programs, as described in [24]. At the heart of HYPO is its “three-ply” structure for presenting and responding to arguments. The three plies are:
(1) The proponent presents an argument
(2) The opponent responds to the argument
(3) The proponent attempts to rebut the response
This structure of argument is common in law, for example the oral hearings of the US Supreme Court [1], or the process of examination of witnesses in which the direct examination is followed by a cross examination and finally a redirect, which gives the lawyer representing the original party the opportunity to respond to any issues arising from the cross examination. This three-ply structure corresponds exactly to the structure of critical discussion found in the dialogical interpretation of Walton’s argumentation schemes above: we have an argument, critical questions and answers to these questions. There was, however, no talk of argumentation schemes here: rather the approach thought in terms of argument moves, with a limited number of moves available at each ply. This is more in the spirit of a set of dialogue rules, as would be found in a purely dialogical approach such as, e.g. [73]. A set of such moves for use in CATO, which also adopted three-ply argumentation, was given in [3]. Each move was associated with a given ply:
(1) analogise to a precedent case with a favourable outcome;
(2) distinguish cited case; emphasise significance of a distinction; cite a counter example;
(3) downplay distinction; distinguish counter example; emphasise strengths; show weaknesses not fatal.
The emphasis of case based systems was thus at the dialectical level. HYPO and CATO were able to generate the arguments, but this was essentially done using algorithms to manipulate the case base, and these processes were not transparent to the user. Example algorithms are given in Appendix 3 of [2] and in [21]. Evaluation was left entirely to the user.
Thus in 1987 we find AI and Law addressing two key elements of Walton’s argumentation schemes, the logical aspect and dialogical aspect. Each was being pursued separately to model different aspects of legal reasoning. In the next section we will look at some of the ways these ideas were developed prior to awareness of Walton’s conception of argumentation schemes.
3.Developments in AI and Law prior to Walton’s schemes
As more and more systems began to be produced using the rule based model, e.g. [34, 41] and [86], it became clear that the standard explanation facilities provided by rule based systems, the classic why? and how? explanations pioneered by MYCIN [44], were in need of improvement. The MYCIN style explanations were simply based on the proof trace of the solution, and so tended to be rather stilted, to contain an excessive degree of unnecessary detail (such as simple numerical comparisons, obvious to the users), and not to be organised in a way best suited to conveying the message to the user. This led to a desire to follow the structure of legal arguments more closely. A second problem was that the explanations did not naturally provide reasons why something could not be shown: because they used negation as failure, negative conclusions were based on the absence of proof, rather than a proof that could be presented to the user [28]. For case based systems, the dissatisfaction arose from a recognition that there were a number of characteristic legal arguments which were not really captured by the basic three-ply mechanism of HYPO [87], which modelled only the basic argument from precedent cases.
3.1.Richer arguments
In this section we will describe the search for richer arguments first by considering the use of Toulmin’s argument scheme [91] to represent the structure of arguments, and then by considering attempts to characterise the variety of types of argument that can be found in legal opinions.
3.1.1.Toulmin’s argument scheme
In the late 1980s several researchers independently came up with idea of using Toulmin’s argument scheme to present legal arguments, including [64, 67] and [88]. Two of these were motivated by a practical need to explain their arguments to actual users; Lutomski [64] to explain his expert opinions as a forensic statistician to attorneys, and Storrs [88] by the need to explain the output of the logic models described in [20] to policy makers.
As Marshall expressed the problem in [67]:
But there is more to a legal argument than reasoning or logic. Justices and attorneys bring an interpretive context, argumentative and rhetorical strategies, and other more general models of the domain and the world to an oral argument.
Toulmin represented arguments by the use of a number of components, shown diagrammatically in Fig. 1. By identifying a number of different roles for premises, this scheme was able to include elements of context, in that the backing showed why the rule in the warrant was acceptable in the particular context, and elements of rhetoric in that a premise could be data, if it needed to be shown, or a rebuttal, if it could be assumed unless shown otherwise. Moreover some obvious premises, such as
In [29] a Prolog meta-interpreter was used to produce the output from an annotated logic program in the form of a set of relations describing Toulmin arguments. This was applied in [27] to provide an interactive explanation by traversing the links of Toulmin’s scheme, in [37] to produce a structured report, and in [22] as the basis for the interactive discussion of a case. Toulmin’s scheme was also used to explain the output from a neural network [115] and for the conceptual retrieval of legal cases [45].
Fig. 1.
Toulmin’s argumentation scheme.
3.1.2.Patterns of argument used in Law
The widespread adoption of Toulmin’s scheme revealed a need to represent more structure in explanations than is possible with a straightforward proof trace. The possibility of different patterns of arguments was explored in [87] and [63].
In [87], Skalak and Rissland set out to provide a (partial) inventory of forms of legal argument. These included some that were used in HYPO (analogising, distinguishing and make-weight), but also new forms such as turkey, chicken and fish (this turkey is not a fish so it should be treated as a chicken),22 throw the dog a bone (concede a weaker position, but show the current case is stronger), straw man, slippery slope (concede this, and where can we stop?), reductio, hedging and balancing (where a pro reason must be weighed against a con reason). These arguments are all emerging from a case-based rather than rule-based representation: few of them can be considered logically sound and several of them are purely rhetorical. The balancing of reasons has, however, attracted a good deal of attention from more formally oriented researchers. Hage’s Reason Based Logic [57] centered on this, and there have been various more recent approaches to the topic including [31, 54, 62] and [25], all of which offer different treatments of preferences and trade-offs.
Loui and Norman [63] also wished to distinguish different patterns of argument, but instead of looking at the arguments used by lawyers, they used logical analysis. Their key idea is that when a reason is offered for a conclusion, the reason why it is a reason might be one of a number of types. Thus, for example, we may have a compression rationale where the reason results from a compression of a more lengthy argument (giving the reason P for R, when the rationale is
3.2.Dialogue
Also in the 1990s interest in dialogue began to develop. There were essentially three motivations for these dialogue systems:
To provide a means of computationally establishing a fact, using a dialectical process which could involve different knowledge bases, or a system-user dialogue. Such dialogues had their origins in the dialogue games of logicians such as Hamblin [58] and Mackenzie [66]. These evolved into persuasion dialogues and were formally characterised in [73]. Such persuasion dialogues were also seen as a way of capturing the adversarial aspect of legal reasoning [77].
For explanation, so that the users could specify what it was that they wanted to know instead of being swamped with too much detail. Several of these made use of Toulmin’s scheme to structure the dialogue, including [27] and [37].
To model a legal procedure, with the dialogue rules reflecting the rules of the legal procedure. A highly influential example was Gordon’s Pleadings Game [47].
3.3.Representing precedential reasoning as rules
During the early 90s, approaches based on rules and approaches based on cases were seen as separate, and even in conflict [46]. This was to change when a method for representing precedents as sets of rules was proposed in a paper by Prakken and Sartor [78]. The idea was to represent each precedent as modelled in CATO [2] as a set of three rules. In CATO precedent cases can be modelled as a triple
R1:
R2:
R3:
Representing each precedent as three such rules enables a case base of precedents to be represented as a rule base, which was deployed using a dialogue game in [78], but which can be used in any system based on rules and priorities, such as ASPIC+ [68]. This paper had the important effect of enabling reasoning with precedents to be carried out using a rule based approach, and to make use of argumentation and dialogue tools available in the rule based context applicable to reasoning with legal precedents.
4.The impact of Walton’s argumentation schemes on AI and Law
From the previous section we have seen that towards the end of the last century there were a number of concerns under investigation by those interested in modelling legal argument:
A desire to use a wider range of patterns of argument so that modelling legal argumentation could break the confines of defeasible modus ponens and make use of the wide variety of different argument patterns used in legal practice. For example [87] identified a number of such argument patterns. It is true that there was a tradition of the rational reconstruction of legal arguments as deductive proofs in the jurisprudential literature (e.g. [4]), but not only is modelling argumentation as practiced by lawyers interesting in its own right, acceptability of systems to the legal profession, and the need for convincing explanations, required something more clearly resembling legal argument as used in practice. While Toulmin’s scheme with its explicit representation of exceptions and backing had gone some way towards this, it still attempted to force the diverse patterns of argument found in law into a single mould. What was sought was a means of generating the variety of legal arguments, and a means of assessing which were sound.
A desire to present legal reasoning in the form of an interactive dialogue.
A desire to reflect the dialectical, adversarial nature of legal procedures. Note that the legal sense of “proof” is not the mathematical sense of proof, which is a coercive demonstration, but rather the older sense which denotes a test of acceptability using some agreed procedure.33
These desiderata provided an excellent context in which to introduce Walton’s conception of argumentation schemes, since Walton’s schemes provided a unifying framework in which to address all three of these concerns.
4.1.Representing a variety of patterns of argument
This most obvious need satisfied by Walton’s argumentation schemes was the provision of a number of patterns that could be used in legal argumentation, and so provide a better way to reflect legal practice. Argumentation schemes are identified by observation of natural argumentation, and any pattern of natural argument can be represented by an argumentation scheme. Thus it is possible simply to see schemes as providing a way to deploy a repertoire of the different patterns of argument found in legal discourse. This is the role given to them in work such as [51], in which the authors identified five schemes for legal reasoning:
argument from position to know
argument from ontology
argument from rules
argument from cases
argument from testimonial evidence.
The schemes from rules and cases captured the style of argumentation used by the traditional approaches described in Sections 2.1 and 2.2 respectively. The position to know scheme was used as generalisation of argumentation from authority and covered arguments based on commentaries. The ontology scheme covered arguments based on the interpretation of meanings (see 4.5 below for a discussion of statutory interpretation) and the final scheme allowed for witness testimony (see 4.4 below for a discussion of evidential reasoning). The approach of using a set of schemes to describe the reasoning in a case was applied in [53] to a case much discussed in AI and Law, Popov v Hayashi44 [9].
Argumentation schemes provided both the means of generating and evaluating these various patterns of arguments, through the premises and conclusions of the schemes, and conditions under which they could properly be used through the critical questions. That argumentation schemes provide both guidance for constructing arguments and standards for their correct use is emphasised in [49]. Each of these aspects will be discussed in the following subsections.
4.1.1.Using argumentation schemes to generate and evaluate arguments
The systematisation of natural patterns of arguments into schemes allowed for arguments to be generated from these schemes. The most straightforward approach was to simply encode each scheme as a special procedure. Thus, if using logic programming, one could encode argument from expert opinion, incorporating the critical question concerning bias as:
holds(P,expertOpinion):- asserted(E,P), expert(E,D) inDomain(P,D), not(biased(E)).
This approach can also be used in the context of a framework such as ASPIC+ [68] by representing the various schemes as defeasible inference rules, as in e.g. [79].
This method of realising argumentation schemes requires that each scheme that is to be used needs to be individually hand coded. A more general approach is to build into the inference engine the ability to execute schemes in general. Thus one of the earliest proposals to use schemes in AI and Law, [93], advocated the use of argumentation schemes to specify a concrete logic which could then be embedded in DEFLOG [94] to produce an executable system. This approach was further developed in [95]. The most developed realisation of a system based on Walton’s conception of argumentation schemes is Carneades, see [48] and [49],55 an integrated set of tools for argument (re)construction, evaluation, mapping and interchange. Carneades currently makes a library of 106 schemes available to its users [101], but this library can be extended if required by specifying additional schemes. Walton made extensive use of Carneades to illustrate his more recent work on argumentation schemes (e.g. [98, 99], and [102]).
Although Carneades does not produce an interactive dialogue with a user, rather generating both arguments and counter arguments itself and presenting its output as an argument graph similar to those pioneered in Araucaria [80], the dialogical aspects seen by Walton to be an essential feature of argumentation schemes are central to the way Carneades evaluates arguments. As noted in [95], critical questions can play several different roles. One role is to ask for support for some premise of the scheme: for example in the ad verecundiam argumentation scheme in Section 1, AVCQ2, whether the person concerned is indeed an expert, requires the person putting forward the argument to offer evidence if challenged. On the other hand, ACVQ4 requires that the questioner provide some reason to believe that the expert is not reliable, such as evidence of bias. These different roles are reflected by three different types of premise in Carneades: ordinary premises which must always be supported by an argument; assumptions, which must be supported by an argument if challenged; and exceptions, which can be taken as false unless supported with an argument by the opponent. These distinctions enable Carneades to apportion the burden of proof [50]; for the ordinary premises, and any assumptions which are questioned, the burden of proof is on the original proponent while for the exceptions it is on the opponent. Another dialogical aspect, of particular significance in AI and Law, is the incorporation of proof standards in the evaluation [52]. Carneades allows the specification of several different standards of proof required for acceptance of a given argument, ranging from scintilla of evidence to beyond reasonable doubt.
Approaches modelling schemes as defeasible inference rules, whether the particular approach of [79] or the more general approach of Carneades, operate with a conventional knowledge base of facts and rules: the argumentation schemes being represented as defeasible inference rules. An alternative approach applies the schemes not to a set of facts but to a model of the problem domain, similar to the way in which so-called “deep” models were used for qualitative reasoning [42]. An argumentation scheme for practical reasoning was presented in [16]. This scheme was developed from Walton’s schemes for argument from good consequences and bad consequences [97] by adding social values to explain why the consequences were good or bad. A scheme using arguments from value was included in Walton’s later book on argumentation schemes [104]. The scheme of [16] had been previously shown to be effective for modelling reasoning with legal cases [56] and for reasoning about policy in [55]. In [10] this scheme was giving a semantical underpinning in terms of a particular type of state transition diagram, Action-based Alternating Transition Systems [113]. The idea here is that the problem domain can be modelled as a state transition system, and the argumentation scheme and its critical questions instantiated in terms of the model. This approach was proposed as a means of considering policy decisions in [14], and the approach implemented in [109].
Thus the use of argumentation schemes can facilitate the implementation of a variety of patterns of argument systems using several approaches.
4.1.2.Proper use of patterns of argument
Whilst the ability to provide the range of argument patterns used in actual legal argumentation is attractive, such a liberal approach encounters the problem that in practice people argue rather badly. Many of the arguments put forward in everyday debate are ill founded, unsound, or otherwise fail to support their conclusion. Indeed, as was noted in Section 1, many of Walton’s argumentation schemes themselves represent traditional logical fallacies. The key point of Walton’s schemes, however, is that not only do they provide a means of employing various patterns of natural argument, but also that they provide a means of determining whether the argument pattern is being used properly, so that the argument can be considered acceptable, and so addresses the need to argue correctly as well. This brings to the fore the role of the critical questions: in order to be acceptable, an argument must be able to withstand the critical discussion represented by these questions.
In effect the critical questions provide a source of counter-arguments, which must be met if the argument is to be successful. Note, however, that posing a critical question may require some justification (if they are exceptions in Carneades). Thus if the truth of a proposition can be assumed under some argumentation scheme, questioning it requires some argument for its contrary. The endless repetition of the why? challenge that is possible under some of the logical dialogue games described in e.g. [73] is not licensed by this conception of critical question. Thus, in turn the arguments grounding the critical questions can themselves be challenged using critical questions appropriate to the scheme used in that argument. We therefore are able to produce a series of arguments, counter-arguments, counter-counter-arguments, and so on. These can be grouped into an argumentation framework of the sort proposed by Dung [69], to evaluate which arguments are acceptable and which fail to withstand the critical discussion [92] and [43].
Thus Walton’s account of argumentation schemes satisfies the need for a variety of argument patterns, in a way which can readily be used to generate arguments, while also, through counter-arguments based on the critical questions, supplying a means to evaluate their acceptability.
4.2.Designing interactive dialogues based on argumentation schemes
Although the dialogical elements of argument, counter argument and rebuttal are present in any system based on argumentation schemes, some systems take the form of an interactive dialogue. During the 90s a number of legal dialogue games had been proposed to support this mode of interaction. As well as games designed to model a particular legal procedure [47], and those designed to resolve legal disputes [60, 77], there were also proposals for games designed to realise a particular argumentation scheme [22]. Walton’s argumentation schemes readily lent themselves to realisation in this way. This is not surprising: Walton’s conception of schemes was developed in the context of thinking about critical discussion, and he was always insistent of their dialogical aspects. A teleological justification of the use of argumentation schemes in dialogues was presented in [105].
Defining dialogue protocols requires the identification of a set of moves. If we have an argumentation scheme, these moves can be putting forward instantiations of the scheme itself, and then moves to enable instantiations of each of the critical questions to be proposed, and then moves to enable the critical questions to be challenged. Since the critical question must be backed by a reason, this will involve arguments using the same, or another, scheme, so that critical questions can in turn be used to rebut the question. Examples of dialogue games explicitly based on argumentation schemes can be found in [15], in which the dialogue is between the system and a user, and [108] in which the dialogue is between two software agents with different knowledge bases.
Such dialogues usually take the form of persuasion dialogues [103], with the underlying assumption that persuasion will be more effective if the persuadees are allowed to propose their own arguments which are met by the system, rather than simply being presented with a set of arguments. One area of application is e-democracy, in which policies can be defended against public critique, both in an effort to convince the public of the worth of the policies and to identify precisely which aspects of the policy are found objectionable. One such system is Parmenides [17] which is based on the practical argumentation scheme of [10]. In Parmendides the user is presented with a justification of a policy using the argumentation scheme and then encouraged to ask critical questions. The tool was later adapted [26] to allow the user to suggest a policy, being led through the construction of an argument following the practical reasoning scheme which was then critiqued by the system.
4.3.Argumentation schemes for modelling procedures
As we saw in Section 1, Walton’s argumentation schemes can be seen in the context of dialogue, or as logical constructions useful for the evaluation of arguments, or, as identified in [74], as a means of encapsulating a method of reasoning to perform a particular task. We have dealt with the first two of these in the preceding subsections; in this subsection we will explore the potential for the third use. Prakken’s own example in [74] was taken from law, namely reasoning abductively from evidence to a cause to determine the guilt or innocence of the accused. We can also see the practical reasoning scheme proposed in [10] in this way. This scheme combines a number of different elements: the facts true in the current situation, the causal effects of various actions, the goals that the agent has in the current situation, the values promoted by the goal, and preferences of the agent. All these various elements are compressed into a single argumentation scheme. A hint as to the complexity of this scheme is given by the number of critical questions: no fewer than 17 were identified in [10]. That it can be seen as a compression of a whole reasoning method becomes clear in [11] in which the original scheme is articulated into a set of schemes representing the various elements of that method which are brought together in the original scheme.
This aspect of argumentation schemes enables the third desire identified above, the desire to model legal procedures. For example the three-ply model of HYPO [82] lends itself well to a representation in the form of an argumentation scheme:
(1) The proponent begins by citing a precedent case which is similar to the current case, arguing that its decision should be followed.
(2) The opponent has two critical questions:
(a) Distinguishing a case by asking whether there are relevant differences between the precedent and the current case;
(b) Citing a counter example, by producing a precedent which is at least as similar to the current case but which has an opposite outcome.
(3) The proponent can now rebut, the nature of the rebuttal depending on the critical question posed in the second ply:
(a) If a distinction is offered, that distinction can be downplayed by citing a relevant difference between the current case and the precedent which compensates for the difference cited by the opponent;
(b) If a counter-example is offered, that can be distinguished by citing relevant differences between it and the current case.
These similarities were the basis for the representation of reasoning with precedent cases as a cascade of argumentation schemes in [114], in which distinctions were seen as of two kinds, depending on whether the precedent was stronger for the party using it, or whether the current case was weaker for that party. A Prolog implementation of this set of schemes was used in [23] to model the particular case of Popov v Hayashi. The schemes, were formalised in ASPIC+ in [79]. These schemes were extended to accommodate dimensions as well as Boolean factors in [18], and to accommodate values, as advocated in [38] and [35], in [33].
This method of articulating a reasoning task in terms of a set of argumentation schemes was applied to other areas, including democratic deliberation [32], Bayesian reasoning about evidence in criminal cases [75], hypothetical reasoning in law [31] and reasoning about the actions of others [12]. These examples show that providing a repertoire of dedicated argumentation schemes provides an effective way of specifying the procedures used to address a variety of reasoning tasks.
4.4.Argumentation schemes for reasoning about evidence
Most of the work discussed above takes as its setting a higher order court where it is a point of law that is at issue and the facts are considered settled by the hearing at the lower court. However, there is a considerable body or work that does address reasoning with evidence and this has made use of argumentation schemes. An early use of argumentation schemes for this purpose was [40], which centred on the argument from expert opinion scheme for expert witnesses and the argument from witness testimony scheme for lay witnesses. Also used were schemes derived from Pollock’s defeasible inference rules for epistemic reasoning [70], including perception, temporal persistence and statistical syllogism, to allow a finer grained examination of testimony. Two case studies were presented in [40] to illustrate the detailed use of the schemes in the context of real evidence. Bex went on to develop a hybrid theory of argumentation and stories, in which the argumentation schemes were augmented by a set of story schemes. He argued that a story-based approach works best for some points of a case, while for others an argumentative approach is the most natural. Arguments and stories therefore should be combined into one hybrid theory, where stories are used to causally explain the explananda (facts to be explained) and arguments based on evidence are used to support and attack these stories.
A comparison of the hybrid and argumentation only approaches can be made by considering two studies of the Simonshaven case: [39] which uses the hybrid theory and [76] which uses an argumentation approach.
4.5.Argumentation schemes for statutory interpretation
Another specific reasoning task which has been addressed using argumentation schemes is statutory interpretation [83, 102, 116]. In [65] MacCormick and Summers identified eleven types of argument used when interpreting statutes. These included Arguments from ordinary meaning, suggesting that the statute be interpreted in accordance with the ways the terms are normally used, Arguments from technical meaning, allowing for technical meanings in appropriate contexts such as the regulation of a specialist activity, and Arguments from contextual harmonization, based on the need to consider particular passages in the light of the statute as a whole. An alternative approach was taken by Tarello [89], who listed fourteen canons for interpretation, including such things as Arguments a simili ad simile (argument from analogy) and Teleological arguments, whereby an interpretation is supported by the rationality of the purpose the law would serve if so interpreted. These lists can be seen as complementary since Tarello’s focuses on the kinds of input on which the interpretive argument is based (ordinary language, technical language, statutory context, precedent, etc.) while that of MacCormick and Summers focuses on the reasoning steps by which the interpretive argument is constituted. With so many types of argument available, it is unsurprising that there will be conflicts and so a way of adjudicating the strength of the various argument types is needed. Some legal traditions have criteria for this: for example Aleey and Dreier identified eight such criteria [5] used in German law, such as that priority should be given to natural language over technical language in criminal law.
The argument types identified in [65] and [89] were used in [106] as the basis for a set of argumentation schemes for statutory interpretation. The schemes were classified into those that argued for an interpretation and those which argued against an interpretation. The positive schemes were further divided into arguments based on definition, analogical arguments, pragmatic arguments and arguments from authority. In all, sixteen positive and six negative schemes were identified. The schemes were then defined using premises, conclusions and critical questions as is usual for Walton’s schemes. It was shown how the arguments could be evaluated using either ASPIC+ [68] or Carneades [50], and illustrated with a detailed case study.
Other work on statutory interpretation includes that of Zurek and Araszkiewicz [116] who also use agumentation schemes, although their approach is rather more abstract, and focuses on the problem of integrating interpretation with the entire argumentation process and the roles played by agents, rather than the structure of interpretive arguments. Araszkiewicz provides a full set of argumentation schemes and their critical questions are given in [6].
5.Concluding remarks
In this paper we have examined how Walton’s conception of argumentation schemes has made a significant impact in AI and Law. It has been shown that the problems that he addressed using argumentation schemes were already live issues in AI and Law, where there had long been an interest in modelling the range of arguments employed by lawyers, exploring the dialectical nature of legal discourse, and accommodating the need to base arguments on cases as well as rules. Walton’s schemes brought these hitherto diverse strands together: by offering the ability to generate and evaluate arguments of an extensible variety of forms, in a dialectical setting. One measure of their success is that the use of dialogue protocols to capture particular tasks involved in legal reasoning, which were highly popular in the 90s, has now almost disappeared in favour of using argumentation schemes for this purpose.
The advantages of using argumentation schemes are several:
(1) They enable the use of a highly descriptive set of arguments to reflect the actual practice of reasoning for this task;
(2) They cover normative aspects of the argumentation so that unsound arguments can be rejected through critical questions;
(3) They can be readily implemented by operating on a knowledge base or on a state transition model of the domain;
(4) They can be presented diagrammatically as a tree, or as a dialogue representing a persuasion or deliberation dialogue [19] to provide a more satisfactory interaction with users.
Dung’s seminal work on abstract argumentation frameworks [69] transformed work on formal argumentation by providing a unifying perspective from which to view the problems of that field. But in many important areas, including law, politics, and ethics, it is necessary also to model the informal argumentation used in critical discussion. Walton’s argumentation schemes provided the unifying perspective from which to view this area of research, complementing Dung’s work on formal evaluation. Together, using argumentation schemes to build argumentation frameworks and Dung’s methods to evaluate them, we have a powerful means of modelling all areas of human discussion.
Notes
1 This was called the logic level in [72], where Prakken envisaged the arguments being generated by a logic. We use generation level here to allow for arguments being generated by other means, for example by reasoning with cases.
2 An admittedly weak form of argument, for which Skalak and Rissland cite Frigaliment Importing Co. v. B.N.S. Int’l Sales Corp., 190 F.Supp. 116 (1980).
3 The old sense survives in terms like
4 Popov v Hayashi concerns the disputed possession of a baseball, valuable because it had just been hit to set a home run record. The case is the subject of a 2004 comedy documentary Up For Grabs.
5 The current version of Carneades is publicly available at https://github.com/carneades. Last accessed 3rd November, 2020.
References
[1] | L. Al-Abdulkarim, K. Atkinson and T. Bench-Capon, From oral hearing to opinion in the US Supreme Court, in: Proceedings of JURIX 2013, (2013) , pp. 1–10. |
[2] | V. Aleven, Teaching case-based argumentation through a model and examples, PhD thesis, University of Pittsburgh, 1997. |
[3] | V. Aleven and K.D. Ashley, Doing things with factors, in: Proceedings of the 5th InternationalConference on Artificial Intelligence and Law, (1995) , pp. 31–41. |
[4] | R. Alexy, A Theory of Legal Argumentation: The Theory of Rational Discourse as Theory of Legal Justification, Clarendon Press, (1989) . |
[5] | R. Alexy and R. Dreier, Statutory interpretation in the federal republic of Germany, in: Interpreting Statutes. A Comparative Study, N. MacCormick and R.S. Summers, eds, Dartmouth, (1991) . |
[6] | M. Araszkiewicz, Critical questions to argumentation schemes in statutory interpretation, Journal of Applied Logics 8: (1) ((2021) ), 291–320. |
[7] | A. Aristotle, Topics I, VIII, and Selections, Smith, Robin (trans.). Clarendon Press, (1997) . |
[8] | K.D. Ashley, Modeling Legal Arguments: Reasoning with Cases and Hypotheticals, MIT Press, Cambridge, MA, (1990) . |
[9] | K. Atkinson, Introduction to special issue on modelling Popov v. Hayashi, Artificial Intelligence and Law 20: (1) ((2012) ), 1–14. doi:10.1007/s10506-012-9122-y. |
[10] | K. Atkinson and T. Bench-Capon, Practical reasoning as presumptive argumentation using action based alternating transition systems, Artificial Intelligence 171: (10–15) ((2007) ), 855–874. doi:10.1016/j.artint.2007.04.009. |
[11] | K. Atkinson and T. Bench-Capon, Taking the long view: Looking ahead in practical reasoning, in: Proceedings of COMMA 2014, (2014) , pp. 109–120. |
[12] | K. Atkinson and T. Bench-Capon, Taking account of the actions of others in value-based reasoning, Artificial Intelligence 254: ((2018) ), 1–20. doi:10.1016/j.artint.2017.09.002. |
[13] | K. Atkinson, T. Bench-Capon, F. Bex, T.F. Gordon, H. Prakken, G. Sartor and B. Verheij, In memoriam Douglas N. Walton: The influence of Doug Walton on AI and Law, Artificial Intelligence and Law 28: (3) ((2020) ), 1–46. doi:10.1007/s10506-020-09272-2. |
[14] | K. Atkinson, T. Bench-Capon, D. Cartwright and A. Wyner, Semantic models for policy deliberation, in: Proceedings of the 13th International Conference on Artificial Intelligence and Law, (2011) , pp. 81–90. doi:10.1145/2018358.2018369. |
[15] | K. Atkinson, T. Bench-Capon and P. Mcburney, A dialogue game protocol for multi-agent argument over proposals for action, Autonomous Agents and Multi-Agent Systems 11: (2) ((2005) ), 153–171. doi:10.1007/s10458-005-1166-x. |
[16] | K. Atkinson, T. Bench-Capon and P. McBurney, Computational representation of practical argument, Synthese 152: (2) ((2006) ), 157–206. doi:10.1007/s11229-005-3488-2. |
[17] | K. Atkinson, T. Bench-Capon and P. McBurney, Parmenides: Facilitating deliberation in democracies, Artificial Intelligence and Law 14: (4) ((2006) ), 261–275. doi:10.1007/s10506-006-9001-5. |
[18] | K. Atkinson, T. Bench-Capon, H. Prakken and A. Wyner, Argumentation schemes for reasoning about factors with dimensions, in: Proceedings of JURIX 2013, (2013) , pp. 39–48. |
[19] | K. Atkinson, T. Bench-Capon and D. Walton, Distinctive features of persuasion and deliberation dialogues, Argument & Computation 4: (2) ((2013) ), 105–127. doi:10.1080/19462166.2012.708670. |
[20] | T. Bench-Capon, Support for policy makers: Formulating legislation with the aid of logical models, in: Proceedings of the 1st International Conference on Artificial Intelligence and Law, (1987) , pp. 181–189. |
[21] | T. Bench-Capon, Arguing with cases, in: Proceedings of JURIX 1997, (1997) , pp. 85–100. |
[22] | T. Bench-Capon, Specification and implementation of Toulmin dialogue game, in: Proceedings of JURIX 1998, (1998) , pp. 5–20. |
[23] | T. Bench-Capon, Representing Popov V Hayashi with dimensions and factors, Artificial Intelligence and Law 20: (1) ((2012) ), 15–35. doi:10.1007/s10506-012-9118-7. |
[24] | T. Bench-Capon, HYPO’s legacy: Introduction to the virtual special issue, Artificial Intelligence and Law 25: (2) ((2017) ), 205–250. doi:10.1007/s10506-017-9201-1. |
[25] | T. Bench-Capon and K. Atkinson, Dimensions and values for legal CBR, in: Proceedings of JURIX 2017, (2017) , pp. 27–32. |
[26] | T. Bench-Capon, K. Atkinson and A. Wyner, Using argumentation to structure e-participation in policy making, in: Transactions on Large-Scale Data-and Knowledge-Centered Systems XVIII, Springer, (2015) , pp. 1–29. |
[27] | T. Bench-Capon, F. Coenen and P. Orton, Argument-based explanation of the British nationality act as a logic program, Information and Communications Technology Law 2: (1) ((1993) ), 53–66. doi:10.1080/13600834.1993.9965668. |
[28] | T. Bench-Capon and P. Leng, Developing heuristics for the argument based explanation of negation in logic programs, in: Proceedings of the AAAI-Workshop on Computational Dialectics, (1994) , pp. 1–8. |
[29] | T. Bench-Capon, D. Lowes and A. McEnery, Argument-based explanation of logic programs, Knowledge-Based Systems 4: (3) ((1991) ), 177–183. doi:10.1016/0950-7051(91)90007-O. |
[30] | T. Bench-Capon and S. Modgil, Case law in extended argumentation frameworks, in: Proceedings of the 12th International Conference on Artificial Intelligence and Law, (2009) , pp. 118–127. doi:10.1145/1568234.1568248. |
[31] | T. Bench-Capon and H. Prakken, Using argument schemes for hypothetical reasoning in law, Artificial Intelligence and Law 18: (2) ((2010) ), 153–174. doi:10.1007/s10506-010-9094-8. |
[32] | T. Bench-Capon, H. Prakken and W. Visser, Argument schemes for two-phase democratic deliberation, in: Proceedings of the 13th International Conference on Artificial Intelligence and Law, (2011) , pp. 21–30. doi:10.1145/2018358.2018361. |
[33] | T. Bench-Capon, H. Prakken, A. Wyner and K. Atkinson, Argument schemes for reasoning with legal cases using values, in: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, (2013) , pp. 13–22. doi:10.1145/2514601.2514604. |
[34] | T. Bench-Capon, G. Robinson, T. Routen and M.J. Sergot, Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation, in: Proceedings of the 1st International Conference on Artificial Intelligence and Law, (1987) , pp. 190–198. |
[35] | T. Bench-Capon and G. Sartor, A model of legal reasoning with cases incorporating theories and values, Artificial Intelligence 150: (1–2) ((2003) ), 97–143. doi:10.1016/S0004-3702(03)00108-5. |
[36] | T. Bench-Capon and M. Sergot, Towards a rule-based representation of open texture in law, in: Computer Power and Legal Language, C. Walter, ed., Quorum Books, New York, (1988) , pp. 39–61. |
[37] | T. Bench-Capon and G. Staniford, PLAID: Proactive legal assistance, in: Proceedings of the 5th International Conference on Artificial Intelligence and Law, (1995) , pp. 81–88. |
[38] | D.H. Berman and C.D. Hafner, Representing teleological structure in case-based legal reasoning: The missing link, in: Proceedings of the 4th International Conference on Artificial Intelligence and Law, (1993) , pp. 50–59. |
[39] | F. Bex, The hybrid theory of stories and arguments applied to the Simonshaven case, Topics in Cognitive Science 12: (4) ((2020) ), 1152–1174. doi:10.1111/tops.12426. |
[40] | F. Bex, H. Prakken, C. Reed and D. Walton, Towards a formal account of reasoning about evidence: Argumentation schemes and generalisations, Artificial Intelligence and Law 11: (2) ((2003) ), 125–165. doi:10.1023/B:ARTI.0000046007.11806.9a. |
[41] | C. Biagioli, P. Mariani and D.T. Esplex, A rule and conceptual model for representing statutes, in: Proceedings of the 1st International Conference on Artificial Intelligence and Law, ACM, (1987) , pp. 240–251. |
[42] | D.G. Bobrow, Qualitative reasoning about physical systems: An introduction, Artificial intelligence 24: (1–3) ((1984) ), 1–5. doi:10.1016/0004-3702(84)90036-5. |
[43] | G. Brewka and T.F. Gordon, Carneades and abstract dialectical frameworks: A reconstruction, in: Proceedings of COMMA 2010, (2010) , pp. 3–12. |
[44] | B. Buchanan and E. Shortliffe, The MYCIN Experiments of the Stanford Heuristic Programming Project, Addison-Wasley, Reading, MA, (1984) . |
[45] | J.P. Dick, Representation of legal text for conceptual retrieval, in: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, (1991) , pp. 244–253. doi:10.1145/112646.112676. |
[46] | H. Donald and Berman, Developer’s choice in the legal domain: The Sisyphean journey with cbr or down hill with rules, in: Proceedings of the Third International Conference on Artificial Intelligence and Law, (1991) , pp. 307–309. |
[47] | T.F. Gordon, The pleadings game, Artificial Intelligence and Law 2: (4) ((1993) ), 239–292. doi:10.1007/BF00871972. |
[48] | T.F. Gordon, Introducing the Carneades web application, in: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, (2013) , pp. 243–244. doi:10.1145/2514601.2514637. |
[49] | T.F. Gordon, H. Friedrich and D. Walton, Representing argumentation schemes with constraint handling rules (chr), Argument & Computation 9: (2) ((2018) ), 91–119. doi:10.3233/AAC-180039. |
[50] | T.F. Gordon, H. Prakken and D. Walton, The Carneades model of argument and burden of proof, Artificial Intelligence 171: (10–15) ((2007) ), 875–896. doi:10.1016/j.artint.2007.04.010. |
[51] | T.F. Gordon and D. Walton, Legal reasoning with argumentation schemes, in: Proceedings of the 12th International Conference on Artificial Intelligence and Law, (2009) , pp. 137–146. doi:10.1145/1568234.1568250. |
[52] | T.F. Gordon and D. Walton, Proof burdens and standards, in: Argumentation in Artificial Intelligence, I. Rahwan and G. Simari, eds, Springer, (2009) , pp. 239–258. doi:10.1007/978-0-387-98197-0_12. |
[53] | T.F. Gordon and D. Walton, A Carneades reconstruction of Popov V Hayashi, Artificial Intelligence and Law 20: (1) ((2012) ), 37–56. doi:10.1007/s10506-012-9120-0. |
[54] | T.F. Gordon and D. Walton, Formalizing balancing arguments, in: Proceedings of COMMA 2016, (2016) , pp. 327–338. |
[55] | K. Greenwood, T. Bench-Capon and P. McBurney, Structuring dialogue between the people and their representatives, in: International Conference on Electronic Government, Springer, (2003) , pp. 55–62. doi:10.1007/10929179_9. |
[56] | K. Greenwood, T. Bench-Capon and P. McBurney, Towards a computational account of persuasion in law, in: Proceedings of the 9th International Conference on Artificial Intelligence and Law, (2003) , pp. 22–31. doi:10.1145/1047788.1047792. |
[57] | J.C. Hage, A theory of legal reasoning and a logic to match, Artificial Intelligence and Law 4: (3–4) ((1996) ), 199–273. doi:10.1007/BF00118493. |
[58] | C.L. Hamblin, Fallacies, Methuen, London, (1970) . |
[59] | H. Hansen, Fallacies, in: The Stanford Encyclopedia of Philosophy, E.N. Zalta, ed., summer 2020 edn, Metaphysics Research Lab, Stanford University, (2020) . |
[60] | C. Jaap, Hage, R. Leenes and A.R. Lodder, Hard cases: A procedural approach, Artificial Intelligence and Law 2: (2) ((1993) ), 113–167. |
[61] | R. Kowalski, The treatment of negation in logic programs for representing legislation, in: Proceedings of the 2nd International Conference on Artificial Intelligence and Law, (1989) , pp. 11–15. |
[62] | M. Lauritsen, On balance, Artificial Intelligence and Law 23: (1) ((2015) ), 23–42. doi:10.1007/s10506-015-9163-0. |
[63] | R.P. Loui and J. Norman, Rationales and argument moves, Artificial Intelligence and Law 3: (3) ((1995) ), 159–189. doi:10.1007/BF00872529. |
[64] | L.S. Lutomski, The design of an attorney’s statistical consultant, in: Proceedings of the 2nd International Conference on Artificial Intelligence and Law, ACM, (1989) , pp. 224–233. |
[65] | D.N. MacCormick and R.S. Summers, Interpreting Statutes: A Comparative Study, Dartmouth, (1991) . |
[66] | J.D. Mackenzie, Question-begging in non-cumulative systems, Journal of Philosophical Logic 8: (1) ((1979) ), 117–133. |
[67] | C.C. Marshall, Representing the structure of a legal argument, in: Proceedings of the 2nd International Conference on Artificial Intelligence and Law, ACM, (1989) , pp. 121–127. |
[68] | S. Modgil and H. Prakken, The ASPIC+ framework for structured argumentation: A tutorial, Argument & Computation 5: (1) ((2014) ), 31–62. doi:10.1080/19462166.2013.869766. |
[69] | Phan and M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial intelligence 77: (2) ((1995) ), 321–357. doi:10.1016/0004-3702(94)00041-X. |
[70] | J.L. Pollock, Cognitive Carpentry: A Blueprint for How to Build a Person, MIT Press, (1995) . |
[71] | H. Prakken, A tool in modelling disagreement in law: Preferring the most specific argument, in: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, (1991) , pp. 165–174. doi:10.1145/112646.112666. |
[72] | H. Prakken, From logic to dialectics in legal argument, in: Proceedings of the 5th International Conference on Artificial Intelligence and Law, (1995) , pp. 165–174. |
[73] | H. Prakken, Formal systems for persuasion dialogue, Knowledge Engineering Review 21: (2) ((2006) ), 163. doi:10.1017/S0269888906000865. |
[74] | H. Prakken, On the nature of argument schemes, in: Dialectics, Dialogue and Argumentation. an Examination of Douglas Walton’s Theories of Reasoning and Argument, (2010) , pp. 167–185. |
[75] | H. Prakken, Argument schemes for discussing Bayesian modellings of complex criminal cases, in: Proceedings of JURIX 2017, (2017) , pp. 69–78. |
[76] | H. Prakken, An argumentation-based analysis of the Simonshaven case, Topics in Cognitive Science 12: (4) ((2020) ), 1068–1091. doi:10.1111/tops.12418. |
[77] | H. Prakken and G. Sartor, A dialectical model of assessing conflicting arguments in legal reasoning, Artificial Intelligence and Law 4: (3–4) ((1996) ), 331–368. doi:10.1007/BF00118496. |
[78] | H. Prakken and G. Sartor, Modelling reasoning with precedents in a formal dialogue game, Artificial Intelligence and Law 6: (2–4) ((1998) ), 231–287. doi:10.1023/A:1008278309945. |
[79] | H. Prakken, A. Wyner, T. Bench-Capon and K. Atkinson, A formalization of argumentation schemes for legal case-based reasoning in ASPIC+, Journal of Logic and Computation 25: (5) ((2015) ), 1141–1166. doi:10.1093/logcom/ext010. |
[80] | C. Reed and G.R. Araucaria, Software for argument analysis, diagramming and representation, International Journal on Artificial Intelligence Tools 13: (04) ((2004) ), 961–979. doi:10.1142/S0218213004001922. |
[81] | E.L. Rissland, Examples in legal reasoning: Legal hypotheticals, in: Proceedings of the 8th International Joint Conference on Artificial Intelligence, (1983) , pp. 90–93. |
[82] | E.L. Rissland and K.D. Ashley, A case-based system for trade secrets law, in: Proceedings of the 1st International Conference on Artificial Intelligence and Law, (1987) , pp. 60–66. |
[83] | G. Sartor, D. Walton, F. Macagno and A. Rotolo, Argumentation schemes for statutory interpretation: A logical analysis, in: Proceedings of JURIX 2014, (2014) , pp. 11–20. |
[84] | U.J. Schild and S. Herzog, The use of meta-rules in rule based legal computer systems, in: Proceedings of the 4th International Conference on Artificial Intelligence and Law, (1993) , pp. 100–109. |
[85] | M.J. Sergot, F. Sadri, R.A. Kowalski, F. Kriwaczek, P. Hammond and H.T. Cory, The British nationality act as a logic program, Communications of the ACM 29: (5) ((1986) ), 370–386. doi:10.1145/5689.5920. |
[86] | D.M. Sherman, Expert systems and ICAI in tax law: Killing two birds with one ai stone, in: Proceedings of the 2nd International Conference on Artificial Intelligence and Law, ACM, (1989) , pp. 74–80. |
[87] | D.B. Skalak and E.L. Rissland, Arguments and cases: An inevitable intertwining, Artificial Intelligence and Law 1: (1) ((1992) ), 3–44. doi:10.1007/BF00118477. |
[88] | G. Storrs, Group decision making, in: Knowledge-Based Systems and Legal Applications, T. Bench-Capon, ed., Academic Press, London, (1991) , pp. 295–308. doi:10.1016/B978-0-12-086441-6.50022-2. |
[89] | G. Tarello, in: L’interpretazione della Legge, Giuffrè: Milan, (1980) . |
[90] | L. Thorne McCarty, Reflections on TAXMAN: An experiment in Artificial Intelligence and legal reasoning, Harvard Law Review 90: ((1976) ), 837. |
[91] | S.E. Toulmin, The Uses of Argument, Cambridge University Press, (1958) . |
[92] | B. van Gijzel and H. Prakken, Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation, Argument & Computation 3: (1) ((2012) ), 21–47. doi:10.1080/19462166.2012.661766. |
[93] | B. Verheij, Legal decision making as dialectical theory construction with argumentation schemes, in: Proceedings of the 8th International Conference on Artificial Intelligence and Law, (2001) , pp. 225–226. doi:10.1145/383535.383565. |
[94] | B. Verheij, Deflog: On the logical interpretation of prima facie justified assumptions, Journal of Logic and Computation 13: (3) ((2003) ), 319–346. doi:10.1093/logcom/13.3.319. |
[95] | B. Verheij, Dialectical argumentation with argumentation schemes: An approach to legal logic, Artificial intelligence and Law 11: (2) ((2003) ), 167–195. doi:10.1023/B:ARTI.0000046008.49443.36. |
[96] | A. von der Lieth Gardner, An Artificial Intelligence Approach to Legal Reasoning, Bradford Books, MIT Press, (1984) . |
[97] | D. Walton, Argumentation Schemes for Presumptive Reasoning, Lawrence Erlbaum Associates, (1996) . |
[98] | D. Walton, Argument from analogy in legal rhetoric, Artificial intelligence and law 21: (3) ((2013) ), 279–302. doi:10.1007/s10506-013-9139-x. |
[99] | D. Walton, Baseballs and arguments from fairness, Artificial Intelligence and Law 22: (4) ((2014) ), 423–449. doi:10.1007/s10506-013-9151-1. |
[100] | D. Walton, On a razor’s edge: Evaluating arguments from expert opinion, Argument & computation 5: (2-3) ((2014) ), 139–159. |
[101] | D. Walton, Using argumentation schemes to find motives and intentions of a rational agent, Argument & Computation 10: (3) ((2019) ), 233–275. doi:10.3233/AAC-190480. |
[102] | D. Walton and M. Koszowy, Arguments from authority and expert opinion in computational argumentation systems, AI & SOCIETY 32: (4) ((2017) ), 483–496. doi:10.1007/s00146-016-0666-3. |
[103] | D. Walton and E.C. Krabbe, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, SUNY Press, (1995) . |
[104] | D. Walton, C. Reed and F. Macagno, Argumentation Schemes, Cambridge University Press, (2008) . |
[105] | D. Walton and G. Sartor, Teleological justification of argumentation schemes, Argumentation 27: (2) ((2013) ), 111–142. doi:10.1007/s10503-012-9262-y. |
[106] | D. Walton, G. Sartor and F. Macagno, An argumentation framework for contested cases of statutory interpretation, Artificial Intelligence and Law 24: (1) ((2016) ), 51–91. doi:10.1007/s10506-016-9179-0. |
[107] | D.N. Walton, The ad hominem argument as an informal fallacy, Argumentation 1: (3) ((1987) ), 317–331. doi:10.1007/BF00136781. |
[108] | M. Wardeh, T. Bench-Capon and F. Coenen, Padua protocol: Strategies and tactics, in: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer, (2007) , pp. 465–476. |
[109] | M. Wardeh, A. Wyner, K. Atkinson and T. Bench-Capon, Argumentation based tools for policy-making, in: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, (2013) , pp. 249–250. |
[110] | D.A. Waterman and M. Peterson, Rule-based models of legal expertise, AAAI 1: ((1980) ), 272–275. |
[111] | J. Woods and D. Walton, Argumentum ad verecundiam, Philosophy & Rhetoric ((1974) ), 135–153. |
[112] | J. Woods and D. Walton, The fallacy of ‘ad ignorantiam’, Dialectica 32: (2) ((1978) ), 87–99. doi:10.1111/j.1746-8361.1978.tb01304.x. |
[113] | M. Wooldridge and W. van der Hoek, On obligations and normative ability: Towards a logical analysis of the social contract, Journal of Applied Logic 3: (3–4) ((2005) ), 396–420. doi:10.1016/j.jal.2005.04.006. |
[114] | A. Wyner and T. Bench-Capon, Argument schemes for legal case-based reasoning, in: Proceedings of JURIX 2007, (2007) , pp. 139–149. |
[115] | J. Zeleznikow and A. Stranieri, The SPLIT-UP system: Integrating neural networks and rule-based reasoning in the legal domain, in: Proceedings of the 5th International Conference on Artificial Intelligence and Law, ACM, (1995) , pp. 185–194. |
[116] | T. Zurek and M. Araszkiewicz, Modelling legal interpretation in structured argumentation framework, in: 2018 Federated Conference on Computer Science and Information Systems, IEEE, (2018) , pp. 155–158. doi:10.15439/2018F79. |
