NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±
Pages 2390 - 2392
Abstract
In this demonstration paper, we introduce NAKED: a new generator for n-ary logic-based argumentation frameworks instantiated from inconsistent knowledge bases expressed using \datalog. The tool allows to import a knowledge base in DLGP format, generate, visualise and export the corresponding argumentation hypergraph. We show its application on a use-case from the NoAW project.
References
[1]
Leila Amgoud. 2014. Postulates for logic-based argumentation systems. Int. J. Approx. Reasoning 55, 9 (2014), 2028--2048.
[2]
Leila Amgoud and Jonathan Ben-Naim. 2015. Argumentation-based Ranking Logics. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4--8, 2015. 1511--1519. http://dl.acm.org/citation.cfm?id=2773344
[3]
Abdallah Arioua and Madalina Croitoru. 2016. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks. In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). 55--63.
[4]
Abdallah Arioua, Madalina Croitoru, and Patrice Buche. 2016. DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases. In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12--16 September, 2016. 461--462.
[5]
Abdallah Arioua, Madalina Croitoru, and Srdjan Vesic. 2017. Logic-based argumentation with existential rules. Int. J. Approx. Reasoning 90 (2017), 76--106.
[6]
Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, and Clément Sipieter. 2015. DLGP: An extended Datalog Syntax for Existential Rules and Datalog+/- Version 2.0. (June 2015).
[7]
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, and Eric Salvat. 2011. On rules with existential variables: Walking the decidability line. Artif. Intell. 175, 9--10 (2011), 1620--1654.
[8]
Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. 2011. An introduction to argumentation semantics. Knowledge Eng. Review 26, 4 (2011), 365--410.
[9]
Meghyn Bienvenu. 2012. On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22--26, 2012, Toronto, Ontario, Canada. http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4928
[10]
Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, and Abdelraouf Hecham. 2016. Substantive Irrationality in Cognitive Systems. In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). 1642--1643.
[11]
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, and Nicolas Maudet. 2016. A Comparative Study of Ranking-Based Semantics for Abstract Argumentation. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12--17, 2016, Phoenix, Arizona, USA. 914--920. http://www.aaai.org/ocs/index.php/ AAAI/AAAI16/paper/view/12465
[12]
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz. 2009. A general datalogbased framework for tractable query answering over ontologies. In Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA. 77--86.
[13]
Michel Chein and Marie-Laure Mugnier. 2009. Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs. Springer.
[14]
Madalina Croitoru and Srdjan Vesic. 2013. What Can Argumentation Do for Inconsistent Ontology Query Answering?. In Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, September 16--18, 2013. Proceedings. 15--29.
[15]
Phan Minh Dung. 1995. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artif. Intell. 77, 2 (1995), 321--358.
[16]
Sarah Alice Gaggl. 2013. A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation. Ph.D. Dissertation. TU Wien.
[17]
Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, and Madalina Croitoru. 2017. An empirical evaluation of argumentation in explaining inconsistency tolerant query answering. In Description Logics, 30th International Workshop, DL 2017, Montpellier, France.
[18]
Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly. 2015. CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9--11, 2015. 928--935.
[19]
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. 2010. Inconsistency-Tolerant Semantics for Description Logics. In Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22--24, 2010. Proceedings. 103--117.
[20]
Sanjay Modgil and Henry Prakken. 2014. The ASPIC+ framework for structured argumentation: a tutorial. Argument & Computation 5, 1 (2014), 31--62.
[21]
Søren Holbech Nielsen and Simon Parsons. 2006. Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments. In Computational Models of Argument: Proceedings of COMMA 2006, September 11--12, 2006, Liverpool, UK. 97--108. http://www.booksonline.iospress.nl/Content/View.aspx?piid=1930
[22]
Søren Holbech Nielsen and Simon Parsons. 2007. A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments. In Argumentation in Multi-Agent Systems, Nicolas Maudet, Simon Parsons, and Iyad Rahwan (Eds.). Springer Berlin Heidelberg, 54--73.
[23]
Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, and Valérie Guillard. 2014. A Food Packaging Use Case for Argumentation. In Metadata and Semantics Research: 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27--29, 2014. Proceedings, Sissi Closs, Rudi Studer, Emmanouel Garoufallou, and Miguel-Angel Sicilia (Eds.). Springer International Publishing, Cham, 344--358.
[24]
Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard, Carole Guillaume, and Nathalie Gontard. 2014. Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session. In Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, Iai, Romania, July 27--30, 2014, Proceedings, Nathalie Hernandez, Robert Jäschke, and Madalina Croitoru (Eds.). Springer International Publishing, Cham, 305--310.
[25]
Matthias Thimm. 2017. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. KI 31, 1 (2017), 93--97.
[26]
Michaël Thomazo. 2013. Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms. Ph.D. Dissertation. Université Montpellier II - Sciences et Techniques du Languedoc. https://tel.archives-ouvertes.fr/ tel-00925722
[27]
Bruno Yun and Madalina Croitoru. 2016. An Argumentation Workflow for Reasoning in Ontology Based Data Access. In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12--16 September, 2016. 61--68.
[28]
Bruno Yun, Madalina Croitoru, Srdjan Vesic, and Pierre Bisquert. 2018. DAGGER: Datalog+/- Argumentation Graph GEneRator. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10--15, 2018. 1841--1843. http://dl.acm.org/citation. cfm?id=3237996
[29]
Bruno Yun, Srdjan Vesic, and Madalina Croitoru. 2018. Toward a More Efficient Generation of Structured Argumentation Graphs. In Proceedings of the 7th International Conference on Computational Models of Argument, COMMA 2018, 11th - 14th September, 2018, Warsaw, Poland.
[30]
Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, and Rallou Thomopoulos. 2017. A Structural Benchmark for Logical Argumentation Frameworks. In Advances in Intelligent Data Analysis XVI - 16th International Symposium, IDA 2017, London, UK, October 26--28, 2017, Proceedings. 334--346.
Index Terms
- NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±
Recommendations
Algorithms for generating arguments and counterarguments in propositional logic
A common assumption for logic-based argumentation is that an argument is a pair <@F,@a> where @F is minimal subset of the knowledgebase such that @F is consistent and @F entails the claim @a. Different logics provide different definitions for ...
Abstract Hilbertian deductive systems, infon logic, and Datalog
In the first part of the paper, we discuss abstract Hilbertian deductive systems; these are systems defined by abstract notions of formula, axiom, and inference rule. We use these systems to develop a general method for converting derivability problems, ...
On temporal logic versus datalog
Logic and complexity in computer scienceWe provide a direct and modular translation from the temporal logics CTL, ETL, FCTL (CTL extended with the ability to express fairness) and the Modal µ-calculus to Monadic inf-Datalog with built-in predicates. We call it inf-Datalog because the ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 2019
2518 pages
ISBN:9781450363099
- General Chairs:
- Edith Elkind,
- Manuela Veloso,
- Program Chairs:
- Noa Agmon,
- Matthew E. Taylor
Sponsors
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC
Publication History
Published: 08 May 2019
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- H2020 NoAW project
Conference
AAMAS '19
Sponsor:
AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems
May 13 - 17, 2019
Montreal QC, Canada
Acceptance Rates
AAMAS '19 Paper Acceptance Rate 193 of 793 submissions, 24%;
Overall Acceptance Rate 1,155 of 5,036 submissions, 23%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 55Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)0
Reflects downloads up to 19 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in