270,281 Hits in 7.5 sec

Argumentation Theoretical Frameworks for Explainable Artificial Intelligence

Martijn Demollin, Qurat-Ul-Ain Shaheen, Katarzyna Budzynska, Carles Sierra
2020 Zenodo  
We consider these frameworks as useful tools for both system-centred and usercentred XAI.  ...  This paper discusses four major argumentation theoretical frameworks with respect to their use in support of explainable artificial intelligence (XAI).  ...  Abstract Argumentation Framework An AF as defined by Dung (Dung, 1995) is a pair, A, R , where A is a set of arguments and R is a binary relation on the set A which determines the attack relations between  ... 
doi:10.5281/zenodo.5886640 fatcat:sjjkale7snejng7fzwuizuloyu

Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics [article]

Kenneth Skiba, Matthias Thimm
2020 arXiv   pre-print
Using an intuitive translation for an argumentation framework to generate conditionals, we can apply nonmonotonic inference systems to generate a ranking on possible worlds.  ...  We propose a novel ranking-based semantics for Dung-style argumentation frameworks with the help of conditional logics.  ...  Abstract Argumentation Frameworks In this work, we use argumentation frameworks first introduced in [7 ].  ... 
arXiv:2008.02735v1 fatcat:hgt2hg5tizf6xknapblsy4ii74

Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation [chapter]

Hyuckchul Jung
2001 Lecture Notes in Computer Science  
Answering these questions requires an abstract, well-understood computational model of argumentation, suitable for large-scale experimental investigations.  ...  Negotiation via argumentation (NVA), where agents provide explicit arguments or justifications for their proposals for resolving conflicts, is a promising approach to collaborative conflict resolution  ...  Answering these questions requires an abstract, well-understood computational model of argumentation, suitable for large-scale experimental investigations.  ... 
doi:10.1007/3-540-45578-7_68 fatcat:dzxzmlpsxjanddxo6pvwn5avce

Before and after Dung: Argumentation in AI and Law

T.J.M. Bench-Capon
2019 Argument & Computation  
Dung's abstract argumentation frameworks have had a very significant role in the rise in interest in argumentation throughout this century.  ...  We argue that the abstract argumentation frameworks had a unifying effect by offering a means of relating previously diverse work.  ...  the arguments in such a framework do not capture sufficient structure for successful modelling of legal argument.  ... 
doi:10.3233/aac-190477 fatcat:lx3ytn7ldrbjjl5kzv54hodr4q

Extending Social Abstract Argumentation with Votes on Attacks [chapter]

Sinan Eğilmez, João Martins, João Leite
2014 Lecture Notes in Computer Science  
of the argumentation framework (arguments and attacks)  ...  Many recent extensions proposed for argumentation in general have addressed the issue that not all attacks between arguments are equal, especially in the eyes of the crowd.  ...  We would like to thank the anonymous reviewers for their insightful comments and suggestions. J. Leite was partially supported by FCT project ERRO -PTDC/EIA-CCO/121823/2010.  ... 
doi:10.1007/978-3-642-54373-9_2 fatcat:hf3qfbbcfjfu7e2ezaet2f6jaa

Generalizations of Dung Frameworks and Their Role in Formal Argumentation

2014 IEEE Intelligent Systems  
Finally we review the concept of abstract dialectical frameworks, one of the most general systems for abstract argumentation providing a flexible, principled representation of arbitrary argument relations  ...  We present the general idea of abstract argumentation, highlighting the role of abstract frameworks in the argumentation process and review the original Dung frameworks and their semantics.  ...  This shows the potential of ADFs as systems for generalizing not just abstract frameworks, but also more logic-based approaches.  ... 
doi:10.1109/mis.2013.122 fatcat:nasovefhu5hmtbflwqcjcfybgu

Argumentative XAI: A Survey [article]

Kristijonas Čyras, Antonio Rago, Emanuele Albini, Pietro Baroni, Francesca Toni
2021 arXiv   pre-print
We also lay out a roadmap for future work.  ...  different argumentation frameworks they use.  ...  Tripolar Argumentation (TA) uses a neutralising relation (intuitively pushing arguments' strengths towards the neutral value) and Gener-alised Argumentation (GA) can in principle use any number of dialectical  ... 
arXiv:2105.11266v1 fatcat:rnvydntysfa5tdzwzoj52gsac4

Strategic Argumentation in Multi-Agent Systems

Matthias Thimm
2014 Künstliche Intelligenz  
We provide a general discussion of the problem of strategic argumentation in multi-agent settings and discuss approaches to strategic argumentation, in particular strategies based on opponent models.  ...  a specific opinion and reach a certain outcome.  ...  Acknowledgements I thank Tjitze Rienstra, Nir Oren, Tony Hunter, Gabriele Kern-Isberner, and Alejandro García for valuable discussions on the topic of computational models of argumentation in general and  ... 
doi:10.1007/s13218-014-0307-2 fatcat:igk4yp7fkzbyhdnpfw5kj5jbie

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Marc Herbstritt
2016 Dagstuhl Reports  
The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the  ...  Moreover, working group activity lead to identify several open problems in argumentation.  ...  In this talk we introduce a general semantical framework for assigning a precise meaning to labelled argument graphs which makes them suitable for automatic evaluation.  ... 
doi:10.4230/dagrep.5.8.74 dblp:journals/dagstuhl-reports/GabbayGLT15 fatcat:htoo2zzpi5hyjogjeck2m6iilm

A natural language bipolar argumentation approach to support users in online debate interactions†

Elena Cabrio, Serena Villata
2013 Argument & Computation  
In particular, we adopt the textual entailment approach, a generic framework for applied semantics, where linguistic objects are mapped by means of semantic inferences at a textual level.  ...  Our paper addresses this problem by proposing and evaluating the use of natural language techniques to generate the arguments.  ...  Definition 1 (Abstract argumentation framework AF ) An abstract argumentation framework is a pair A, → where A is a set of elements called arguments and →⊆ A × A is a binary relation called attack.  ... 
doi:10.1080/19462166.2013.862303 fatcat:5abbrmzbxnb3bawjsekucthoba

Tools for the implementation of argumentation models

Bas Van Gijzel, Marc Herbstritt
2013 Imperial College Computing Student Workshop  
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways to deal with the formalisation of arguments.  ...  However, while the development of the mathematical models have flourished, the actual implementations and development of methods for implementation of these models have been lagging behind.  ...  For the abstract approach, a significant effort has been directed towards the construction of usable tools and efficient implementations; see [4] for a survey.  ... 
doi:10.4230/oasics.iccsw.2013.43 dblp:conf/iccsw/Gijzel13 fatcat:nuhhdaxuxvcivcfc6oywf3eqde

A Formalisation of Abstract Argumentation in Higher-Order Logic [article]

Alexander Steen, David Fuenmayor
2021 arXiv   pre-print
This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools.  ...  We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic.  ...  Building on top of that, we can make use of model finders, e.g., Nitpick [23] and Nunchaku [51] , for generating concrete extensions and labellings for a given argumentation frameworks.  ... 
arXiv:2110.09174v1 fatcat:3bv75jw45fdznb6igmr74td55y

Tools for model-based security engineering

Jan Jürjens, Jorge Fox
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools, and on control flow generated from the C code.  ...  The tool also supports weaving security aspects into the code generated from the models.  ...  Besides presenting a general, extensible framework for implementing verification routines for the constraints associated with security-critical UML stereotypes, we focus on a plug-in that utilizes an automated  ... 
doi:10.1145/1134285.1134423 dblp:conf/icse/JurjensF06 fatcat:amyu7yvrjvg4bgin5atfaidcce

Preliminary Notions of Arguments from Commonsense Knowledge

Alexandros Vassiliades, Theodore Patkos, Antonis Bikakis, Giorgos Flouris, Nick Bassiliades, Dimitris Plexousakis
2020 11th Hellenic Conference on Artificial Intelligence  
In this paper, we present preliminary work on how an argumentation framework can explicitly model commonsense knowledge, both at a logically structured and at an abstract level.  ...  The field of Computational Argumentation is well-tailored to approach commonsense reasoning, due to its ability to model contradictory information.  ...  In this paper, we formally define initial notions towards a generic argumentation framework (AF) for agents to interact with and exchange commonsense knowledge at different levels of granularity.  ... 
doi:10.1145/3411408.3411432 fatcat:eclz5cdk75hpthzdxkiiizfh3m

Decomposing Generalization: Models of Generic, Habitual, and Episodic Statements

Venkata Govindarajan, Benjamin Van Durme, Aaron Steven White
2019 Transactions of the Association for Computational Linguistics  
We present a novel semantic framework for modeling linguistic expressions of generalizationgeneric, habitual, and episodic statements—as combinations of simple, real-valued referential properties of  ...  We use this framework to construct a dataset covering the entirety of the Universal Dependencies English Web Treebank.  ...  on the framework and protocol design.  ... 
doi:10.1162/tacl_a_00285 fatcat:mwe3zgl3njahfhvpm3ndq5ndju
« Previous Showing results 1 — 15 out of 270,281 results