A grounder for SPINdle defeasible logic reasoner

Mehdi Rohaninezhad, Shereena Mohd Arif, Shahrul Azman Mohd Noah

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)7098-7109
Number of pages12
JournalExpert Systems with Applications
Volume42
Issue number20
DOIs
Publication statusPublished - 4 Jun 2015

Fingerprint

Knowledge based systems
Expert systems
Data structures

Keywords

  • Defeasible logic
  • Grounder
  • Reasoning engine
  • Semantic web

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Engineering(all)

Cite this

A grounder for SPINdle defeasible logic reasoner. / Rohaninezhad, Mehdi; Arif, Shereena Mohd; Mohd Noah, Shahrul Azman.

In: Expert Systems with Applications, Vol. 42, No. 20, 04.06.2015, p. 7098-7109.

Research output: Contribution to journalArticle

Rohaninezhad, Mehdi ; Arif, Shereena Mohd ; Mohd Noah, Shahrul Azman. / A grounder for SPINdle defeasible logic reasoner. In: Expert Systems with Applications. 2015 ; Vol. 42, No. 20. pp. 7098-7109.
@article{c1d97010e04147778c3062c502edd021,
title = "A grounder for SPINdle defeasible logic reasoner",
abstract = "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.",
keywords = "Defeasible logic, Grounder, Reasoning engine, Semantic web",
author = "Mehdi Rohaninezhad and Arif, {Shereena Mohd} and {Mohd Noah}, {Shahrul Azman}",
year = "2015",
month = "6",
day = "4",
doi = "10.1016/j.eswa.2015.04.065",
language = "English",
volume = "42",
pages = "7098--7109",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Limited",
number = "20",

}

TY - JOUR

T1 - A grounder for SPINdle defeasible logic reasoner

AU - Rohaninezhad, Mehdi

AU - Arif, Shereena Mohd

AU - Mohd Noah, Shahrul Azman

PY - 2015/6/4

Y1 - 2015/6/4

N2 - 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.

AB - 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.

KW - Defeasible logic

KW - Grounder

KW - Reasoning engine

KW - Semantic web

UR - http://www.scopus.com/inward/record.url?scp=84930634490&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84930634490&partnerID=8YFLogxK

U2 - 10.1016/j.eswa.2015.04.065

DO - 10.1016/j.eswa.2015.04.065

M3 - Article

VL - 42

SP - 7098

EP - 7109

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 20

ER -