Computing and Library Services - delivering an inspiring information environment

Towards Parallel Nonmonotonic Reasoning with Billions of Facts

Tachmazidis, Ilias, Antoniou, Grigoris, Flouris, Giorgos and Kotoulas, Spyros (2012) Towards Parallel Nonmonotonic Reasoning with Billions of Facts. In: Principles of Knowledge Representation and Reasoning: Proceedings. KR 2012 . AAAI Press, Rome, Italy, pp. 638-642.

[img] PDF - Submitted Version
Restricted to Registered users only

Download (213kB)


We are recently witnessing an explosion of available
data from the Web, government authorities, scientific
databases, sensors and more. Such datasets could benefit
from the introduction of rule sets encoding commonly
accepted rules or facts, application- or domainspecific
rules, commonsense knowledge etc. This raises
the question of whether, how, and to what extent knowledge
representation methods are capable of handling the
vast amounts of data for these applications. In this paper,
we consider non-monotonic reasoning, which has
traditionally focused on rich knowledge structures. In
particular, we consider defeasible logic, and analyze
how parallelization, using the MapReduce framework,
can be used to reason with defeasible rules over huge
data sets. Our experimental results demonstrate that defeasible
reasoning with billions of data is performant,
and has the potential to scale to trillions of facts.

Item Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
Related URLs:
Depositing User: Grigoris Antoniou
Date Deposited: 26 Jul 2012 15:28
Last Modified: 16 Nov 2015 10:38


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©