Towards Parallel Nonmonotonic Reasoning with Billions of Facts

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Abstract

We are 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 domain-specific 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 nonmonotonic 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.

LanguageEnglish
Title of host publication13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
PublisherAAAI press
Pages638-642
Number of pages5
ISBN (Print)9781577355601
Publication statusPublished - 17 May 2012
Event13th International Conference on the Principles of Knowledge Representation and Reasoning - Rome, Italy
Duration: 10 Jun 201214 Jun 2012
Conference number: 13
http://www.diag.uniroma1.it/kr12/ (Link to Conference Website)

Conference

Conference13th International Conference on the Principles of Knowledge Representation and Reasoning
Abbreviated titleKRR
CountryItaly
CityRome
Period10/06/1214/06/12
Internet address

Fingerprint

Knowledge representation
Explosions
Sensors

Cite this

Tachmazidis, I., Antoniou, G., Flouris, G., & Kotoulas, S. (2012). Towards Parallel Nonmonotonic Reasoning with Billions of Facts. In 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (pp. 638-642). AAAI press.
Tachmazidis, Ilias ; Antoniou, Grigoris ; Flouris, Giorgos ; Kotoulas, Spyros. / Towards Parallel Nonmonotonic Reasoning with Billions of Facts. 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. AAAI press, 2012. pp. 638-642
@inproceedings{87236a7974c94ff282f5f851b5b8d5ef,
title = "Towards Parallel Nonmonotonic Reasoning with Billions of Facts",
abstract = "We are 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 domain-specific 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 nonmonotonic 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.",
author = "Ilias Tachmazidis and Grigoris Antoniou and Giorgos Flouris and Spyros Kotoulas",
year = "2012",
month = "5",
day = "17",
language = "English",
isbn = "9781577355601",
pages = "638--642",
booktitle = "13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012",
publisher = "AAAI press",

}

Tachmazidis, I, Antoniou, G, Flouris, G & Kotoulas, S 2012, Towards Parallel Nonmonotonic Reasoning with Billions of Facts. in 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. AAAI press, pp. 638-642, 13th International Conference on the Principles of Knowledge Representation and Reasoning, Rome, Italy, 10/06/12.

Towards Parallel Nonmonotonic Reasoning with Billions of Facts. / Tachmazidis, Ilias; Antoniou, Grigoris; Flouris, Giorgos; Kotoulas, Spyros.

13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. AAAI press, 2012. p. 638-642.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Towards Parallel Nonmonotonic Reasoning with Billions of Facts

AU - Tachmazidis, Ilias

AU - Antoniou, Grigoris

AU - Flouris, Giorgos

AU - Kotoulas, Spyros

PY - 2012/5/17

Y1 - 2012/5/17

N2 - We are 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 domain-specific 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 nonmonotonic 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.

AB - We are 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 domain-specific 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 nonmonotonic 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.

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

M3 - Conference contribution

SN - 9781577355601

SP - 638

EP - 642

BT - 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012

PB - AAAI press

ER -

Tachmazidis I, Antoniou G, Flouris G, Kotoulas S. Towards Parallel Nonmonotonic Reasoning with Billions of Facts. In 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. AAAI press. 2012. p. 638-642