Argumentation-Based Defeasible Reasoning For Existential Rules

Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT's empirical behavior.

[1]  Andrea Calì,et al.  A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..

[2]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[3]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[4]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[5]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

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

[7]  Guillermo Ricardo Simari,et al.  On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog± , 2015, JOWO@IJCAI.

[8]  Guillermo Ricardo Simari,et al.  Inconsistency-Tolerant Reasoning in Datalog ^± ± Ontologies via an Argumentative Semantics , 2014, IBERAMIA.

[9]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[10]  Paul J. Krause,et al.  A review of current defeasible reasoning implementations , 2008, Knowl. Eng. Rev..

[11]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[12]  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..

[13]  Abdelraouf Hecham,et al.  Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study , 2017, Minds and Machines.

[14]  Abdelraouf Hecham,et al.  Substantive Irrationality in Cognitive Systems , 2016, ECAI.

[15]  Jean-François Baget,et al.  Extending Acyclicity Notions for Existential Rules , 2014, ECAI.

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

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