A grounder for SPINdle defeasible logic reasoner

作者：Rohaninezhad Mehdi; Arif Shereena Mohd^*; Noah Shahrul Azman Mohd

来源：Expert Systems with Applications, 2015, 42(20): 7098-7109.

DOI：10.1016/j.eswa.2015.04.065

• Defeasible logic
• Grounder
• Reasoning engine
• Semantic web

Defeasible logic (DL) has attracted significant attention in nonmonotonic reasoning and found many applications, particularly in expert systems and knowledge-based systems communities. Even though backward chaining DL reasoners are mature enough to deal with real-life applications by supporting first-order form of the logic, the forward chaining reasoners of this logic programs only adopt propositional form. To address the problem, this paper proposes and evaluates a grounder system for stratified defeasible logic programs specialized for the SPINdle defeasible logic reasoner. Our method combines approaches from dlv and gringo grounders accompanied with a developed indexer and stratification modules for the reasoner. Our experimental results indicate that the system is able to deal with millions of facts generated based on the web data model efficiently. To the best of our knowledge, this system is the first grounder developed for forward chaining DL reasoning approach.

• 出版日期2015-11-15