We revisit the notion of initial sets by Xu and Cayrol 2016), i. e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to explain why certain arguments can be accepted. We contribute with new insights on the structure of initial sets and devise a simple non-deterministic construction principle for any admissible set, based on iterative selection of initial sets of the original framework and its induced (...) reducts. In particular, we characterise many existing admissibility-based semantics via this construction principle, thus providing a constructive explanation on the structure of extensions. We also investigate certain problems related to initial sets with respect to their computational complexity. (shrink)

Argumentation has been an important topic in knowledge representation, reasoning and multi-agent systems during the last twenty years. In this paper, we propose a new abstract framework where arguments are associated with a strength, namely a quantitative information which is used to determine whether an attack between arguments succeeds or not. Our Strength-based Argumentation Framework combines ideas of Preference-based and Weighted Argumentation Frameworks in an original way, which permits to define acceptability semantics sensitive to the existence of accruals between arguments. (...) The question of accruals arises in situations where several arguments defending the same position against another argument are unable to individually defeat this argument, but could do it collectively if they combine their strengths. We investigate some of the theoretical and computational properties of our new framework and semantics, and present a reasoning algorithm that is based on a translation of the problem into pseudo-boolean constraint satisfaction. This paper proposes an intuitive framework which allows strength compensations in an argumentation context where attacks may not succeed, completed by an approach which detects accruals throughout the reasoning process without requiring the elicitation of all compensatory combinations of arguments as an input. (shrink)

It is often necessary and reasonable to justify preferences before reasoning from them. Moreover, justifying a preference ordering is reduced to justifying the criterion that produces the ordering. This paper builds on the well-known ASPIC+ formalism to develop a model that integrates justifying qualitative preferences with reasoning from the justified preferences. We first introduce a notion of preference criterion in order to model the way in which preferences are justified by an argumentation framework. We also adapt the notion of argumentation (...) theory to build a sequence of argumentation frameworks, in which an argumentation framework justifies preferences that are to underlie the next framework. That is, in our formalism, preferences become not only an input of an argumentation framework, but also an output of it. This kind of input-output process can be applied in the further steps of argumentation. We also explore some interesting properties of our formalism. (shrink)

In spite of significant research efforts, argument technologies do not seem poised to scale up as much as most commentators would hope or even predict. In this paper, I discuss what obstacles bar the way to more widespread success of argument technologies and venture some suggestions on how to circumvent such difficulties: doing so will require a significant shift in how this research area is typically understood and practiced. I begin by exploring a much broader yet closely related question: To (...) what extent are people natively good at arguing? This issue has always been central to philosophical reflection and it has become even more urgent nowadays, with the explosion of persuasive technologies and unprecedented opportunities for large-scale social influence. The answer hinges on what aspect of argumentation is taken under consideration: evidence suggests that people are relatively bad at analyzing the structure of arguments, especially when these are presented out of context and in abstract terms; in contrast, data show that even laymen tend to excel in the interactive practice of argumentation, in particular when motivation is high and something significant is at stake. Unfortunately, current argument technologies are more closely tailored to the former type of activity than to the latter, which is the main reason behind their relative lack of success with the general public. Changing this state of affair will require a commitment to ecological argument technologies: that is, technologies designed to support real-time, engaging and meaningful argumentative interactions performed by laypeople in their ordinary life, instead of catering to the highly specific needs of a minority of niche users. (shrink)

This paper presents a comprehensive study of argumentation frameworks with necessities (AFNs), a bipolar extension of Dung Abstract argumentation frameworks (AFs) where the support relation captures a positive interaction between arguments having the meaning of necessity: the acceptance of an argument may require the acceptance of other argument(s). The paper discusses new main acceptability semantics for AFNs and their characterization both by a direct approach and a labelling approach. It examines the relationship between AFNs and Dung AFs and shows the (...) gain provided by the former in terms of concision. Finally, the paper shows how to represent an AFN as a normal logic program (LP) and vice versa and in both cases establishes a one-to-one correspondence between extensions under the main acceptability semantics (except for semi-stable semantics where the correspondence is not completely full) of an AFN and particular cases of 3-valued stable models of normal LPs. (shrink)

argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework, the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as “we know that the first argument does not attack the second one”. But the question of uncertainty in abstract argumentation has received much attention in the last (...) years. In this paper, we survey approaches that allow to express information like “There may be an attack between these arguments”. We describe the main models that incorporate qualitative uncertainty in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future. (shrink)

This paper revisits the challenge of Berman and Hafner’s “missing link” paper on representing teleological structure in case-based legal reasoning. It is noted that this was mainly an ontological challenge to represent some of what made legal reasoning distinctive, which was given less attention than factual similarity in the dominant AI and Law paradigm, deriving from HYPO. The response to their paper is noted and briefly evaluated. A parallel is drawn to a new challenge to provide deep structure to the (...) legal context of textual meaning, drawing on the forthcoming work of two Constitutional law scholars who appear to place some faith in the ways of thinking that AI and Law has developed. (shrink)

Over the last decade, several extensions of Dung’s Abstract Argumentation Frameworks (AFs) have been introduced in the literature. Some of these extensions concern the nature of the attack relation, such as the consideration of recursive attacks, whereas others incorporate additional interactions, such as a support relation. Recently, the Attack–Support Argumentation Framework (ASAF) was proposed, which accounts for recursive attacks and supports, attacks to supports and supports to attacks, at any level, where the support relation is interpreted as necessity. Currently, to (...) determine the accepted elements of an ASAF (which may be arguments, attacks, and supports) it is required to translate such an ASAF into a Dung’s AF. In this work, we provide a formal characterization of acceptability semantics directly on the ASAF, without requiring such a translation. We prove that our characterization is sound since it satisfies different results from Dung’s argumentation theory; moreover, we formally show that the approach proposed here for addressing acceptability is equivalent to the preexisting one, in which the ASAF was translated into an AF. Also, we formalize the relationship between the ASAF and other frameworks on which it is inspired: the Argumentation Framework with Recursive Attacks (AFRA) and the Argumentation Framework with Necessities (AFN). (shrink)

In this paper we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations, and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will (...) be used by the agent’s decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. (shrink)

While the philosophical literature has extensively studied how decisions relate to arguments, reasons and justifications, decision theory almost entirely ignores the latter notions. In this article, we elaborate a formal framework to introduce in decision theory the stance that decision-makers take towards arguments and counter-arguments. We start from a decision situation, where an individual requests decision support. We formally define, as a commendable basis for decision-aid, this individual’s deliberated judgment, a notion inspired by Rawls’ contributions to the philosophical literature, and (...) embodying the requirement that the decision-maker should carefully examine arguments and counter-arguments. We explain how models of deliberated judgment can be validated empirically. We then identify conditions upon which the existence of a valid model can be taken for granted, and analyze how these conditions can be relaxed. We then explore the significance of our framework for the practice of decision analysis. Our framework opens avenues for future research involving both philosophy and decision theory, as well as empirical implementations. (shrink)

Дослідження спрямоване на окреслення взаємозв’язків теорії та практики арґументації і теорії ухвалення рішень. Фокус уваги спрямований на виявлення специфіки модусів мультимодальної арґументації, що передбачає послідовне розв’язання таких завдань: а) доповнити та уточнити дефініцію терміна «арґументація» у контексті застосування арґументів в процесі ухвалення рішень; б) розвести смислове поле термінів «переконувати» та «запевняти» в контексті само-арґументації (self-argumentation); в) висвітлити роль особистісних особливостей дієвця у процесі вибору; г) дослідити особливості вербальних та візуальних арґументів у процесі ухвалення рішень. Автор виходить із браку досліджень, присвячених (...) прикладному застосуванню теоретико-арґументативного наробку у процесі ухвалення рішень. Прийоми та методи арґументації пропонується розглянути крізь призму само-арґументації, де суб’єкт шукає підстави та надає докази для переконання і запевнення самого себе. Актуалізація цієї проблематики дає можливість залучити теоретичні здобутки філософії дії та активності, феноменології, когнітивних та комп’ютерних наук з метою розширення поля дослідження та виходу за окреслені дисциплінарні межі. Для розгляду теоретико-методологічної та джерельної бази дослідження був використаний системний підхід. Для порівняння арґументативних теорій та підходів були застосовані компаративний метод та метод аналогії. Автором обґрунтована необхідність прийняття до уваги теоретико-арґументативного наробку в контексті теорії ухвалення рішень. Дослідження на межі цих царин зумовлюють актуалізацію проблеми людини, як дієвця, як автора власних рішень, на шляху до яких постає необхідність пояснення та арґументації. Була висунута та обґрунтована гіпотеза щодо розгляду суб’єкта як одночасно адресанта і адресата в арґументативному процесі, що дало можливість підняти питання само-арґументації. У процесі останньої було проаналізовано місце різних модусів арґументації, зокрема вербального та візуального, а також наведено приклади сфер їхнього прикладного застосування. Наукові наробки в арґументативній царині відрізняються прикладним застосуванням. Уміння будувати, аналізувати та виокремлювати арґументи дають змогу не лише ретроспективно поглянути на арґументативний процес та допомогти обґрунтувати вже ухвалене рішення, але й надати перевагу певній альтернативі безпосередньо у ситуації вибору. Діалогічний характер арґументативного процесу можна тлумачити крізь призму само-арґументації, у процесі якої використовуються не лише вербальні, а й візуальні аргументи. На підставі розглянутих першоджерел продемонстровано, яким чином візуалізація інкорпорується в процес ухвалення рішень. (shrink)

We argue that explainable artificial intelligence (XAI), specifically reason-giving XAI, often constitutes the most suitable way of ensuring that someone can properly be held responsible for decisions that are based on the outputs of artificial intelligent (AI) systems. We first show that, to close moral responsibility gaps (Matthias 2004), often a human in the loop is needed who is directly responsible for particular AI-supported decisions. Second, we appeal to the epistemic condition on moral responsibility to argue that, in order to (...) be responsible for her decision, the human in the loop has to have an explanation available of the system’s recommendation. Reason explanations are especially well-suited to this end and we examine whether – and how – it might be possible to make such explanations fit with AI systems. We support our claims by focusing on a case of disagreement between human in the loop and AI system. (shrink)

During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment and beliefs about trusting sources . Six basic forms of trust are discussed in the paper (...) including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source... (shrink)

This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has an equivalent finite subsystem, called core. This core constitutes a threshold under which arguments of the system have not yet attained their final status and (...) consequently adding a new argument may result in status change. From that threshold, the statuses of all arguments become stable. (shrink)

Dung’s (1995) argumentation framework takes as input two abstract entities: a set of arguments and a binary relation encoding attacks between these arguments. It returns acceptable sets of arguments, called extensions, w.r.t. a given semantics. While the abstract nature of this setting is seen as a great advantage, it induces a big gap with the application that it is used to. This raises some questions about the compatibility of the setting with a logical formalism (i.e., whether it is possible to (...) instantiate it properly from a logical knowledge base), and about the significance of the various semantics in the application context. In this paper we tackle the above questions. We first propose to fill in the previous gap by extending Dung’s (1995) framework. The idea is to consider all the ingredients involved in an argumentation process. We start with the notion of an abstract monotonic logic which consists of a language (defining the formulas) and a consequence operator. We show how to build, in a systematic way, arguments from a knowledge base formalised in such a logic. We then recall some basic postulates that any instantiation should satisfy. We study how to choose an attack relation so that the instantiation satisfies the postulates. We show that symmetric attack relations are generally not suitable. However, we identify at least one ‘appropriate’ attack relation. Next, we investigate under stable, semi-stable, preferred, grounded and ideal semantics the outputs of logic-based instantiations that satisfy the postulates. For each semantics, we delimit the number of extensions an argumentation system may have, characterise the extensions in terms of subsets of the knowledge base, and finally characterise the set of conclusions that are drawn from the knowledge base. The study reveals that stable, semi-stable and preferred semantics either lead to counter-intuitive results or provide no added value w.r.t. naive semantics. Besides, naive semantics either leads to arbitrary results or generalises the coherence-based approach initially developed by Rescher and Manor (1970). Ideal and grounded semantics either coincide and generalise the free consequence relation developed by Benferhat, Dubois, and Prade (1997), or return arbitrary results. Consequently, Dung’s (1995) framework seems problematic when applied over deductive logical formalisms. (shrink)