A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

In this paper we are interested in the task of a data engineer choosing what tool to use to perform defeasible reasoning with a first order logic knowledge base. To this end we propose the first benchmark in the literature that allows one to classify first order defeasible reasoning tools based on their semantics, expressiveness and performance.

[1]  Andrea Calì,et al.  Advanced processing for ontological queries , 2010, Proc. VLDB Endow..

[2]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[3]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

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

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

[6]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

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

[8]  Guillermo Ricardo Simari,et al.  Planning and defeasible reasoning , 2007, AAMAS '07.

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

[10]  Lynn Andrea Stein,et al.  Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies , 1992, Artif. Intell..

[11]  Grigoris Antoniou.  Defeasible reasoning: A discussion of some intuitions , 2006, Int. J. Intell. Syst..

[12]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[13]  Michael Kifer,et al.  Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web , 2003, OTM.

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

[15]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[16]  Henry Prakken,et al.  Intuitions and the modelling of defeasible reasoning: some case studies , 2002, NMR.

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

[18]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[19]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[20]  Karl Schlechta,et al.  Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets , 1991, Artif. Intell..

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

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

[23]  Matthias Thimm,et al.  Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation , 2014, KR.

[24]  Grigoris Antoniou,et al.  DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web , 2005, AAAI.

[25]  Abdelraouf Hecham,et al.  Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.

[26]  Donald Nute,et al.  Defeasible Reasoning: A Philosophical Analysis in Prolog , 1988 .

[27]  Leora Morgenstern,et al.  Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry , 1997, IJCAI.

[28]  Michael Kifer,et al.  Defeasibility in answer set programs with defaults and argumentation rules , 2015, Semantic Web.