The article reconsiders the nature and location of science in the development of genetic classification. Drawing on field studies of medical genetics, we explore how patient categorization is accomplished in between the clinic and laboratory. We focus on dysmorphology, a specialism concerned with complex syndromes that impair physical development. We show that dys-morphology is about more than fitting patients into prefixed diagnostic categories and that diagnostic process is marked by moments of uncertainty, ambiguity, and deferral. We describe how different forms (...) of evidence are brought into play and how patterns of physical features are identified as genetic or not. We suggest that clinical categorical work helps articulate the genetic as an emergent domain of medical classification and that moments of ambiguity and deferral create an imperative space that helps legitimate the need for more technoscience, and consequently, more clinical judgment with which to fix the genetic future. (shrink)

In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which is able (...) to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (shrink)

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.

In this paper we consider persuasion in the context of practical reasoning, and discuss the problems associated with construing reasoning about actions in a manner similar to reasoning about beliefs. We propose a perspective on practical reasoning as presumptive justification of a course of action, along with critical questions of this justification, building on the account of Walton. From this perspective, we articulate an interaction protocol, which we call PARMA, for dialogues over proposed actions based on this theory. We outline (...) an axiomatic semantics for the PARMA Protocol, and discuss two implementations which use this protocol to mediate a discussion between humans. We then show how our proposal can be made computational within the framework of agents based on the Belief-Desire-Intention model, and illustrate this proposal with an example debate within a multi agent system. (shrink)

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissenting opinions for a particular well-known case from property law. This is done through the use of Belief-Desire-Intention (BDI) agents to replicate the contrasting views involved in the actual decision. This reconstruction suggests that the reasoning involved can be separated into three distinct levels: factual and normative levels and a level connecting (...) the two, with conclusions at one level forming premises at the next. We begin by summarising our general approach, which uses instantiations of an argumentation scheme to provide presumptive justifications for actions, and critical questions to identify arguments which attack these justifications. These arguments and attacks are organised into argumentation frameworks to identify the status of individual arguments. We then discuss the levels of reasoning that occur in this reconstruction and the properties and significance of each of these levels. We illustrate the different levels with short examples and also include a discussion of the role of precedents within these levels of reasoning. (shrink)

In this paper, we present a particular role for abductive reasoning in law by applying it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here depends on a satisfactory explanation of why this particular agent followed these motivations in the (...) particular situation. The scheme is given a formal grounding in terms of action-based alternating transition systems and we illustrate the approach with a running legal example. Keywords Argumentation schemes - Abductive reasoning - Practical reasoning. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper provides commentaries on nine significant papers drawn from the Journal’s second decade. Four of the papers relate to reasoning with legal cases, introducing contextual considerations, predicting outcomes on the basis of natural language descriptions of the cases, comparing different ways of representing cases, and formalising precedential reasoning. One introduces a method of analysing arguments that was to become very widely used in AI and Law, namely (...) argumentation schemes. Two relate to ontologies for the representation of legal concepts and two take advantage of the increasing availability of legal corpora in this decade, to automate document summarisation and for the mining of arguments. (shrink)

Trust is a natural mechanism by which an autonomous party, an agent, can deal with the inherent uncertainty regarding the behaviours of other parties and the uncertainty in the information it shares with those parties. Trust is thus crucial in any decentralised system. This paper builds on recent efforts to use argumentation to reason about trust. Specifically, a set of schemes is provided, and abstract patterns of reasoning that apply in multiple situations geared towards trust. Schemes are described in which (...) one agent, A, can establish arguments for trusting another agent, B, directly, as well as schemes that A can use to construct arguments for trusting C, where C is trusted by B. For both sets of schemes, a set of critical questions is offered that identify the situations in which these schemes can fail. (shrink)

Governments and other groups interested in the views of citizens require the means to present justifications of proposed actions, and the means to solicit public opinion concerning these justifications. Although Internet technologies provide the means for such dialogues, system designers usually face a choice between allowing unstructured dialogues, through, for example, bulletin boards, or requiring citizens to acquire a knowledge of some argumentation schema or theory, as in, for example, ZENO. Both of these options present usability problems. In this paper, (...) we describe an implemented system called PARMENIDES which allows structured argument over a proposed course of action, without requiring knowledge of the underlying argumentation theory. (shrink)

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 useDialectical Frameworks, 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. (shrink)

The third of Berman and Hafner’s early nineties papers on reasoning with legal cases concerned temporal context, in particular the evolution of case law doctrine over time in response to new cases and against a changing background of social values and purposes. In this paper we consider the ways in which changes in case law doctrine can be accommodated in a recently proposed methodology for encapsulating case law theories, and relate these changes the sources of change identified by Berman and (...) Hafner. (shrink)

In this paper, we present a particular role for abductive reasoning in law by applying it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here depends on a satisfactory explanation of why this particular agent followed these motivations in the (...) particular situation. The scheme is given a formal grounding in terms of action-based alternating transition systems and we illustrate the approach with a running legal example. (shrink)

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)

This article is about the special, subjective concepts we apply to experience, called “phenomenal concepts”. They are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences whose metaphysical status is hotly debated. Conscious experience strike many philosophers as philosophically problematic and difficult to accommodate within a physicalistic metaphysics. Second, PCs are widely thought to be special and unique among concepts. The sense that there is something special about PCs (...) is very closely tied up with features of the epistemic access they afford to qualia. When we deploy phenomenal concepts introspectively to some phenomenally conscious experience as it occurs, we are said to be acquainted with our own conscious experiences. Accounts of PCs either have to explain the acquaintance relation, or acquaintance with our phenomenal experiences has to be denied. PCs have received much attention in recent philosophy of mind mainly because they figure in arguments for dualism and in physicalist responses to these arguments. The main topic of this paper is to explore different accounts of phenomenal concepts and their role in recent debates over the metaphysical status of phenomenal consciousness. (shrink)

This paper traces the history of remoteness in contract law, namely the legal formants (in Rodolfo Sacco’s terms) constraining the availability of contract damages in various legal systems. Our journey takes us through different times, continents and cultures, from the eighteenth century to the twenty–first century, across the law of France, United States, England and Wales, India and Australia, among other jurisdictions. While it might seem that civilian and common law traditions have very different morphological legal forms, once a closer (...) historical, cultural, and anthropological gaze is turned upon the legal formants involved, it can be seen that remoteness discloses a shared concern which may be common to many human societies and cultures. In other words, as a matter of social experience, humans who enter into transactions generally realise that it is impossible to know the future, or to know what all outcomes of the transaction will be. Consequently, it is recognised that it would be unfair and unjust to hold a defendant liable for all outcomes, and as our journey will show, legal systems seek guidance from other legal systems in their efforts to deal with this problem. (shrink)

Over the years, Katie Cannon's students referred to her work in progress as "Katie's canon." Not only does this book represent the canon of Cannon's best work; the book itself directly addresses the issues of canon formation and canon reformation. Cannon canonizes a literary tradition and directly addresses both oppression and liberation of African American women. Now in an expanded 25th-anniversary edition, Katie's Canon still packs firepower.

The majority of U.S. abortion patients are poor women, and Black and Hispanic women. Therefore, this article encourages bioethicists and equity advocates to consider whether the need for abortion c...

While the fundamental laws of physics are time-reversal invariant, most macroscopic processes are irreversible. Given that the fundamental laws are taken to underpin all other processes, how can the fundamental time-symmetry be reconciled with the asymmetry manifest elsewhere? In statistical mechanics, progress can be made with this question. What I dub the ‘Zwanzig–Zeh–Wallace framework’ can be used to construct the irreversible equations of SM from the underlying microdynamics. Yet this framework uses coarse-graining, a procedure that has faced much criticism. I (...) focus on two objections in the literature: claims that coarse-graining makes time-asymmetry ‘illusory’ and ‘anthropocentric’. I argue that these objections arise from an unsatisfactory justification of coarse-graining prevalent in the literature, rather than from coarse-graining itself. This justification relies on the idea of measurement imprecision. By considering the role that abstraction and autonomy play, I provide an alternative justification and offer replies to the illusory and anthropocentric objections. Finally, I consider the broader consequences of this alternative justification: the connection to debates about inter-theoretic reduction and the implication that the time-asymmetry in SM is weakly emergent. 1Introduction 1.1Prospectus2The Zwanzig–Zeh–Wallace Framework3Why Does This Method Work? 3.1The special conditions account3.2When is a density forwards-compatible?4Anthropocentrism and Illusion: Two Objections 4.1The two objections in more detail4.2Against the justification by measurement imprecision5An Alternative Justification 5.1Abstraction and autonomy5.2An illustration: the Game of Life6Reply to Illusory7Reply to Anthropocentric8The Wider Landscape: Concluding Remarks 8.1Inter-theoretic relations8.2The nature of irreversibility. (shrink)

The ecosystem services argument is a highly publicised instrumental argument for protecting biodiversity. I develop a new objection to this argument based on the lack of a causal connection from global species losses to local ecosystem changes. I survey some alternative formulations of services arguments, including ones incorporating option value or a precautionary principle, and show that they do not fare much better than the standard version. I conclude that environmental thinkers should rely less on ecosystem services as a means (...) to defend biodiversity, and that attention should be focused on additional types of value which might be attributed to global biodiversity. (shrink)

The search for the statistical mechanical underpinning of thermodynamic irreversibility has so far focussed on the spontaneous approach to equilibrium. But this is the search for the underpinning of what Brown and Uffink have dubbed the ‘minus first law’ of thermodynamics. In contrast, the second law tells us that certain interventions on equilibrium states render the initial state ‘irrecoverable’. In this article, I discuss the unusual nature of processes in thermodynamics, and the type of irreversibility that the second law embodies. (...) I then search for the microscopic underpinning or statistical mechanical ‘reductive basis’ of the second law of thermodynamics by taking a functionalist strategy. First, I outline the functional role of the thermodynamic entropy: for a thermally isolated system, the thermodynamic entropy is constant in quasi-static processes, but increasing in non-quasi-static processes. I then search for the statistical mechanical quantity that plays this role—rather than the role of the traditional ‘holy grail’ as described by Callender. I argue that in statistical mechanics, the Gibbs entropy plays this role. (shrink)

This paper addresses the stalemate on the question whether biodiversity has intrinsic value. I distinguish between a “weak” conception and two “strong” conceptions of intrinsic value in the environmental ethics literature. The strong conceptions of intrinsic value are connected, respectively, to moral standing and to a strongly objectivist account of value. Neither of these forms of value likely applies to biodiversity. However, the weak conception of intrinsic value is neutral about both moral standing and the nature of value and plausibly (...) applies to biodiversity. In addition, weak intrinsic value avoids common objections to the claim that biodiversity is intrinsically valuable. I develop a cumulative argument showing that environmentalists should presume that biodiversity has intrinsic value in the weak sense. (shrink)

I develop an account of ecological role functions—the functions of species within ecosystems—which is informed by alternative regime phenomena in ecology. My account is a causal-role theory which includes a counterfactual sensitivity condition. The account tracks and explains a distinction ecologists make between functions and various activities which are not functions. My counterfactual sensitivity condition resolves the liberality problem often attributed to causal-role theories of function, while also illuminating the explanatory centrality of role functions within ecology.

Internet protocol development is a social process, and resulting protocols are shaped by their developers’ politics and values. This article argues that the work of protocol development poses barriers to developers’ reflection upon values and politics in protocol design. A participant observation of a team developing internet protocols revealed that difficulties defining the stakeholders in an infrastructure and tensions between local and global viewpoints both complicated values reflection. Further, Internet architects tended to equate a core value of interoperability with values (...) neutrality. The article describes how particular work practices within infrastructure development overcame these challenges by engaging developers in praxis: situated, lived experience of the social nature of technology. (shrink)

In what sense are the special sciences autonomous of fundamental physics? Autonomy is an enduring theme in discussions of the relationship between the special sciences and fundamental physics or, more generally, between higher and lower-level facts. Discussion of ‘autonomy’ often fails to recognise that autonomy admits of degrees; consequently, autonomy is either taken to require full independence, or risk relegation to mere apparent autonomy. In addition, the definition of autonomy used by Fodor, the most famous proponent of the autonomy of (...) the special sciences, has been robustly criticised by Loewer. In this paper I develop a new account of autonomy following Woodward which I dub ‘generalised autonomy’ since it unifies dynamical, causal and nomic autonomy. Autonomy, on this account, can be partial: some lower-level details matter while others do not. To summarise: whilst the detailed lower level is unconditionally relevant, conditionalising on the higher-level facts renders some lower-level details irrelevant. The macrodependencies that the higher-level facts enter into — be they dynamical, causal or nomic — screen off the underlying microdetails. This account helps resolve an explanatory puzzle: if the lower-level facts in some way underpin the higher-level facts, why don’t the lower-level details matter more for the day-to-day practice of the special sciences? The answer will be: the facts uncovered by the special sciences are autonomous in my sense, and so practitioners of these special sciences need not study more fundamental sciences, since these underlying facts are genuinely irrelevant. (shrink)

Artificial intelligence research connected with learning theory ("deep learning," “machine learning,” analysis of the quality of learning, etc.) has existed for many years; however, there have been few investigations in that area conducted from a robust philosophical methodological basis.

This book is a collection of philosophical papers that explores theoretical and practical aspects and implications of nonviolence as a means of establishing peace. The papers range from spiritual and political dimensions of nonviolence to issues of justice and values and proposals for action and change.