Toward a More Efficient Generation of Structured Argumentation Graphs

To address the needs of the EU NoAW project, in this paper we solve the problem of efficiently generating the argumentation graphs from knowledge bases expressed using existential rules. For the knowledge bases without rules, we provide a methodology that allows to optimise the generation of argumentation graphs. For knowledge bases with rules, we show how to filter out a large number of arguments and reduce the number of attacks.

[1]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[2]  Leila Amgoud,et al.  Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..

[3]  Jean-François Baget,et al.  Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules , 2015, Challenge+DC@RuleML.

[4]  Jean-François Baget,et al.  Graal: A Toolkit for Query Answering with Existential Rules , 2015, RuleML.

[5]  Philippe Besnard,et al.  Equivalence in logic-based argumentation , 2014, J. Appl. Non Class. Logics.

[6]  S. A. Gaggl.  A Comprehensive Analysis of the cf2 Argumentation Semantics: 0.1cm From Characterization to Implementation , 2013 .

[7]  Abdallah Arioua,et al.  Logic-based argumentation with existential rules , 2017, Int. J. Approx. Reason..

[8]  Andrea Calì,et al.  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.

[9]  Madalina Croitoru,et al.  A Structural Benchmark for Logical Argumentation Frameworks , 2017, IDA.

[10]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[11]  Abdelraouf Hecham,et al.  An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering , 2017, Description Logics.

[12]  Madalina Croitoru,et al.  Are Ranking Semantics Sensitive to the Notion of Core? , 2017, AAMAS.

[13]  Madalina Croitoru,et al.  A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering , 2016, KR.

[14]  Madalina Croitoru,et al.  An Argumentation Workflow for Reasoning in Ontology Based Data Access , 2016, COMMA.

[15]  Madalina Croitoru,et al.  Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases , 2015, PRIMA.

[16]  Madalina Croitoru,et al.  What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.

[17]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

[18]  Abdallah Arioua,et al.  A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks , 2016, ECAI.

[19]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[20]  Simon Parsons,et al.  Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments , 2006, COMMA.

[21]  Abdallah Arioua,et al.  Explanatory dialogues with argumentative faculties over inconsistent knowledge bases , 2017, Expert Syst. Appl..

[22]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[23]  Abdallah Arioua,et al.  DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases , 2016, COMMA.

[24]  Éric Grégoire,et al.  Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle , 2007, IJCAI.

[25]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..