Skip to main content

Über dieses Buch

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.

The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.



An Investigation of Argumentation Framework Characteristics

We investigate the relationship between the structural properties of argumentation frameworks and their argument-based characteristics, examining the characteristics of structures of Dung-style frameworks and two generalisations: extended argumentation frameworks and collective-attack frameworks. Our results show that the structural properties of frameworks have an impact on the size of extensions produced, on the proportion of subsets of arguments that determine some topic argument to be acceptable, and on the likelihood that the addition of some new argument will affect the acceptability of an existing argument, all characteristics that are known to affect the performance of argumentation-based technologies. We demonstrate the applicability of our results with two case studies.
Josh Murphy, Isabel Sassoon, Michael Luck, Elizabeth Black

Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM

In this paper we introduce hypersequent-based frameworks for the modeling of defeasible reasoning by means of logic-based argumentation. These frameworks are an extension of sequent-based argumentation frameworks, in which arguments are represented not only by sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the weaknesses of logical argumentation reported in the literature and to prove several desirable properties, stated in terms of rationality postulates. For this, we take the relevance logic RM as the deductive base of our formalism. This logic is regarded as “by far the best understood of the Anderson-Belnap style systems” (Dunn and Restall, Handbook of Philosophical Logic, vol. 6). It has a clear semantics in terms of Sugihara matrices, as well as sound and complete Hilbert- and Gentzen-type proof systems. The latter are defined by hypersequents and admit cut elimination. We show that hypersequent-based argumentation yields a robust defeasible variant of RM with many desirable properties (e.g., rationality postulates and crash-resistance).
AnneMarie Borg, Ofer Arieli, Christian Straßer

On the Interaction Between Logic and Preference in Structured Argumentation

The structure-preference (SP) order is a way of defining argument preference relations in structured argumentation theory that takes into account how arguments are constructed. The SP order was first introduced in the context of endowing Brewka’s prioritised default logic (PDL) with sound and complete argumentation semantics. In this paper, we further articulate the underlying intuitions of the SP order in terms of how an agent should construct arguments. We also compare the SP order to other argument preference relations and illustrate the different results one would obtain. Finally, we prove that the SP order allows for the original version of PDL to satisfy Brewka’s and Eiter’s postulates.
Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction

We propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate explanations and natural deduction style arguments. We discuss an instantiation of ASPIC-END that models argumentation about explanations of semantic paradoxes (e.g. the Liar paradox), and we show that ASPIC-END satisfies rationality postulates akin to those satisfied by ASPIC+.
Jérémie Dauphin, Marcos Cramer

On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning

In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [15] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by \({{\textsc {aspic}}^\mathbf {+}}\) under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by \({{\textsc {aspic}}^\mathbf {+}}\) is—according to the axioms of [15]—non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems considered in [15]. This weakness underpins \({{\textsc {aspic}}^\mathbf {+}}\)’s success in modelling other reasoning systems. We conclude by considering the relationship between \({{\textsc {aspic}}^\mathbf {+}}\) and other weak logical systems.
Zimi Li, Nir Oren, Simon Parsons

Extended Explanatory Argumentation Frameworks

Multiple extensions of Dung’s argumentation frameworks (AFs) have been proposed in order to model features of argumentation that cannot be directly modeled in AFs. One technique that has already previously proven useful to study and combine such extensions is the meta-argumentation methodology involving the notion of a flattening. In order to faithfully model the interaction between explanation argumentation in scientific debates, Šešelja and Straßer have introduced Explanatory Argumentation Frameworks (EAFs). In this paper, we first prove that the flattening technique works as expected for recursive (higher-order) attacks. Then we apply this technique in order to combine EAFs with multiple other extensions that have been proposed to AFs, namely with recursive attacks, joint attacks and a support relation between arguments. This gives rise to Extended Explanatory Argumentation Frameworks (EEAFs). We illustrate the applicability of EEAFs by using them to model a piece of argumentation from a research-level philosophy book.
Jérémie Dauphin, Marcos Cramer

Probabilities on Extensions in Abstract Argumentation

Combining computational models of argumentation with probability theory has recently gained increasing attention, in particular with respect to abstract argumentation frameworks. Approaches following this idea can be categorised into the constellations and the epistemic approach. While the former considers probability functions on the subgraphs of abstract argumentation frameworks, the latter uses probability theory to represent degrees of belief in arguments, given a fixed framework. In this paper, we investigate the case where probability functions are given on the extensions of abstract argumentation frameworks. This generalises classical semantics in a straightforward fashion and we show that our approach also complies with many postulates for epistemic probabilistic argumentation.
Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig

A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks

In this paper we propose a novel algorithm for the computation of the semantics of argumentation frameworks. The algorithm can generate all complete extensions and thus can be used in problems involving the grounded, complete, preferred and stable semantics. The algorithm takes advantage of the constraints imposed on legal labelling functions to prune the search space of possible solutions.
Odinaldo Rodrigues

The Formal Argumentation Libraries of Tweety

We provide an overview on the argumentation libraries of the Tweety library collection to artificial intelligence and knowledge representation. These libraries comprise of implementations to abstract argumentation frameworks, as well as the most popular approaches to structured argumentation, and various further aspects. We briefly sketch the functionalities of these libraries and give some pointers to how they can be used.
Matthias Thimm

Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation

The heureka solver is a general-purpose solver for various problems in abstract argumentation frameworks pertaining to complete, grounded, preferred and stable semantics. It is based on a backtracking approach and makes use of various heuristics to optimize the search.
Nils Geilen, Matthias Thimm

EqArgSolver – System Description

This paper provides a general overview of EqArgSolver, a solver for enumeration and decision problems in argumentation theory. The solver is implemented from the ground up as a self-contained application in C++ without the use of any other external solver (e.g., SAT, ASP, CSP) or libraries.
Odinaldo Rodrigues

Team Persuasion

We consider two teams of agents engaging in a debate to persuade an audience of the acceptability of a central argument. This is modelled by a bipartite abstract argumentation framework with a distinguished topic argument, where each argument is asserted by a distinct agent. One partition defends the topic argument and the other partition attacks the topic argument. The dynamics are based on flag coordination games: in each round, each agent decides whether to assert its argument based on local knowledge. The audience can see the induced sub-framework of all asserted arguments in a given round, and thus the audience can determine whether the topic argument is acceptable, and therefore which team is winning. We derive an analytical expression for the probability of either team winning given the initially asserted arguments, where in each round, each agent probabilistically decides whether to assert or withdraw its argument given the number of attackers.
David Kohan Marzagão, Josh Murphy, Anthony P. Young, Marcelo Matheus Gauy, Michael Luck, Peter McBurney, Elizabeth Black

Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences

Argumentation theory provides foundations for distributed non- monotonic reasoning in the form of inter-agent dialogues. However current dialogue models do not accommodate reasoning about possibly conflicting preferences used in arbitrating amongst attacking arguments. We provide a framework for persuasion dialogues that accommodates such reasoning. Agents exchange locutions that implicitly define an \(ASPIC^+\) theory consisting of rules and premises. The theory’s defined arguments instantiate an extended argumentation framework (EAF) that accommodates arguments claiming preferences over other arguments, so that evaluation of the EAF’s justified arguments determines the outcome of the dialogue. We also evaluate the outcome of a dialogue based on the dialectical status of moves in the dialogue, propose restrictions on dialogue moves and conjecture correspondences between the two outcome definitions.
Sanjay Modgil

Enumerating Preferred Extensions: A Case Study of Human Reasoning

This paper seeks to better understand the links between human reasoning and preferred extensions as found within formal argumentation, especially in the context of uncertainty. The degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted. We are interested in whether people agree with this evaluation. A set of experiments with human participants is presented to investigate the validity of such an association. Our results show that people tend to agree with the outcome of a version of Thimm’s probabilistic semantics in purely qualitative domains as well as in domains in which conclusions express event likelihood. Furthermore, we are able to characterise this behaviour: the heuristics employed by people in understanding preferred extensions are similar to those employed in understanding probabilities.
Alice Toniolo, Timothy J. Norman, Nir Oren

A Dynamic Model of Trust in Dialogues

In human interactions, trust is regularly updated during a discussion. For example, if someone is caught lying, any further utterances they make will be discounted, until trust is regained. This paper seeks to model such behaviour by introducing a dialogue game which operates over several iterations, with trust updates occurring at the end of each iteration. In turn, trust changes are computed based on intuitive properties, captured through three rules. By representing agent knowledge within a preference-based argumentation framework, we demonstrate how trust can change over the course of a dialogue.
Gideon Ogunniye, Alice Toniolo, Nir Oren


Weitere Informationen

Premium Partner