Human experts in scientific fields routinely work with evidence that is noisy and untrustworthy, heuristics that are unproven, and possible conclusions that are contradictory. We present a deployed AI system, Calvin, for cosmogenic isotope dating, a domain that is fraught with these difficult issues. Calvin solves these problems using an argumentation framework and a system of confidence that uses two-dimensional vectors to express the quality of heuristics and the applicability of evidence. The arguments it produces are strikingly similar to published expert arguments.

A geoscientist would be faced with the situation shown on the right of the figure; his task is to deduce the situation shown at the left, along with the processes that were at work and the timeline involved. To accomplish this, a geoscientist first dates a set of rock samples from the present surface, then reasons backward to deduce what process affected the original landform. This is a difficult deduction: geological processes take place over an extremely long period of time, and evidence remaining today is scarce and noisy. Finally, experts in geological dating, like experts in any field, are only human, and can be biased in favor of one theory over another. In the face of these problems, experts form an exhaustive list of possible hypotheses and consider the evidence for and against each one--much like the AI concept of argumentation. Our system to automate this reasoning, Calvin, uses the same argumentation process as experts, comparing the strength of the evidence for and against a set of hypotheses before coming to a conclusion. We collected knowledge about how isotope dating experts reason through interviews with several dozen geoscientists.

Argumentation is based on the exchange and valuation of interacting arguments, followed by the selection of the most acceptable of them (for example, in order to take a decision, to make a choice). Starting from the framework proposed by Dung in 1995, our purpose is to introduce 'graduality' in the selection of the best arguments, i.e., to be able to partition the set of the arguments in more than the two usual subsets of 'selected' and 'non-selected' arguments in order to represent different levels of selection. Our basic idea is that an argument is all the more acceptable if it can be preferred to its attackers. First, we discuss general principles underlying a 'gradual' valuation of arguments based on their interactions. Following these principles, we define several valuation models for an abstract argumentation system. Then, we introduce 'graduality' in the concept of acceptability of arguments. We propose new acceptability classes and a refinement of existing classes taking advantage of an available 'gradual' valuation.

Defeasible argumentation and default reasoning are usually perceived as two similar, but distinct approaches to commonsense reasoning. In this paper, we combine these two fields by viewing (defeasible resp. default) rules as a common crucial part in both areas. We will make use of possible worlds semantics from default reasoning to provide examples for arguments, and carry over the notion of plausibility to the argumentative framework. Moreover, we base a priority relation between arguments on the tolerance partitioning of system Z and obtain a criterion phrased in system Z terms that ensures warrancy in defeasible argumentation.

The study of arguments as abstract entities and their interaction as introduced by Dung (Artificial Intelligence 177, 1995) has become one of the most active research branches within Artificial Intelligence and Reasoning. A main issue for abstract argumentation systems is the selection of acceptable sets of arguments. Value-based argumentation, as introduced by Bench-Capon (J. Logic Comput. 13, 2003), extends Dung's framework. It takes into account the relative strength of arguments with respect to some ranking representing an audience: an argument is subjectively accepted if it is accepted with respect to some audience, it is objectively accepted if it is accepted with respect to all audiences. Deciding whether an argument is subjectively or objectively accepted, respectively, are computationally intractable problems. In fact, the problems remain intractable under structural restrictions that render the main computational problems for non-value-based argumentation systems tractable. In this paper we identify nontrivial classes of value-based argumentation systems for which the acceptance problems are polynomial-time tractable. The classes are defined by means of structural restrictions in terms of the underlying graphical structure of the value-based system. Furthermore we show that the acceptance problems are intractable for two classes of value-based systems that where conjectured to be tractable by Dunne (Artificial Intelligence 171, 2007).

We present a new and compelling approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms defined for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not. More specifically, we show that the problems of credulous and skeptical acceptance are fixed-parameter tractable when parameterized by the distance from the fragment of acyclic argumentation frameworks. Other tractable fragments such as the fragments of symmetrical and bipartite frameworks seem to prohibit an augmentation: the acceptance problems are already intractable for frameworks at distance 1 from the fragments. For our study we use a broad setting and consider several different semantics. For the algorithmic results we utilize recent advances in fixed-parameter tractability.

Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge — be those given, learned, or sensed — at its disposal. This problem, known as knowledge qualification, requires that pieces of knowledge deemed reliable in some context be given preference over the others. These preferences are typically viewed as encodings of reasoning patterns; so, the frame axiom can be encoded as a preference of persistence over spontaneous change. Qualification, then, results by the principled application of these preferences. We illustrate how this can be naturally done through argumentation, by uniformly treating object-level knowledge and reasoning patterns alike as arguments that can be defeated by other stronger ones. We formulate an argumentation framework for Reasoning about Actions and Change that gives a semantics for Action Theories that include a State Default Theory. Due to their explicit encoding as preferences, reasoning patterns can be adapted, when and if needed, by a domain designer to suit a specific application domain. Furthermore, the reasoning patterns can be defeated in lieu of stronger external evidence, allowing, for instance, the frame axiom to be overridden when unexpected sensory information suggests that spontaneous change may have broken persistence in a particular situation.

In this contribution, it is suggested that argumentation theories may offer the tools to do so. More specifically, the pragmadialectical theory of argumentation (van Eemeren and Grootendorst 1992; 2004) is proposed as a solid instrument for analyzing and evaluating argumentation in consultation, as it not only provides a set of reasonableness criteria for argumentative conduct but also can account for arguers' need to effectively tailor argumentative messages to their recipients. The instrumental value of pragma-dialectics in the field of automated argument selection will be elucidated by means of a case study concerning antibiotics. In doing so, this contribution is closely connected to the paper by Rubinelli, Wierda, Labrie, and O'Keefe (AAAI Spring Symposium 2011) and provides an exploratory investigation of the advantages of a pragma-dialectical approach to the conceptual design of automated health communication systems and autonomous health promotion.

his paper focuses on the issue of premissary relevance, as a challenge faced in health promotion interventions. To promote attitude change and influence health behavior change, it is crucial that we use premises that are relevant on an individual level. Relevance in argumentation refers to both the fact that the premises have to do with the standpoint at issue and the fact that our interlocutors will accept them. We claim that autonomous argumentation systems hold the promise to enable proper argumentative exchanges that capture and addresses what matters to individuals. To do so, however, there is a need to better consider and operationalise theories of argumentation that enable a reconstruction of the different stages of argumentation. The theory of argumentation known as pragma-dialectics can offer a promising basis for the architecture of autonomous health promotion advisors.

Design of effective health communication systems faces major challenges in terms of accessibility, trust, expert-to-lay knowledge translation, and persuasiveness. It is proposed that some of these challenges can be addressed by use of AI techniques in combination with empirically-based theoretical frameworks from the field of health communication and related areas. This symposium will bring together an interdisciplinary group of scholars to identify possible solutions. AI and health communication topics of interest include communication interventions; games, conversational agents, or dialogue systems for healthy behavior promotion; intelligent interactive monitoring of patient's environment and needs; intelligent interfaces supporting access to healthcare; patient-tailored decision support, explanation for informed consent, and retrieval and summarization of online healthcare information; risk communication and visualization; tailored access to electronic medical records; tailoring health information for low-literacy, low-numeracy, or under-served audiences; virtual healthcare counselors; and virtual patients for training healthcare professionals. Scholars from health communication and related disciplines (sociolinguistics, pragmatics, discourse studies, etc.) will participate in discussion on the following issues as they pertain to the symposium goals: health literacy; healthcare provider-consumer communication, risk communication, including written and visual formats; and use of behavioral, persuasion, and argumentation theories for healthy behavior promotion. By examining these issues, the symposium is expected to lay down conceptual foundations for guiding future advances in AI healthcare systems.