Answer set programming for qualitative spatio-temporal reasoning

Methods and experiments

Christopher Brenton, Wolfgang Faber, Sotiris Batsakis

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

3 Citations (Scopus)

Abstract

We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).

Original languageEnglish
Title of host publicationTechnical Communications of the 32nd International Conference on Logic Programming
Subtitle of host publicationICLP 2016
EditorsManuel Carro, Andy King, Neda Saeedloei, Marina De Vos
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages4:1-4:15
Number of pages15
Volume52
ISBN (Electronic)9783959770071
DOIs
Publication statusPublished - 13 Nov 2016
Event32nd International Conference on Logic Programming - New York City, United States
Duration: 16 Oct 201621 Oct 2016
Conference number: 32
http://software.imdea.org/Conferences/ICLP2016/ (Link to Conference Website)

Conference

Conference32nd International Conference on Logic Programming
Abbreviated titleICLP 2016
CountryUnited States
CityNew York City
Period16/10/1621/10/16
Internet address

Fingerprint

Temporal Reasoning
Answer Set Programming
Algebra
programming
experiment
Experiment
Calculus
transform
Experiments
Interval Algebra
Experimental Analysis
Reasoning
Transform
method
Alternatives
language
analysis
comparison

Cite this

Brenton, C., Faber, W., & Batsakis, S. (2016). Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments. In M. Carro, A. King, N. Saeedloei, & M. D. Vos (Eds.), Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016 (Vol. 52, pp. 4:1-4:15). [4] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.ICLP.2016.4
Brenton, Christopher ; Faber, Wolfgang ; Batsakis, Sotiris. / Answer set programming for qualitative spatio-temporal reasoning : Methods and experiments. Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016. editor / Manuel Carro ; Andy King ; Neda Saeedloei ; Marina De Vos. Vol. 52 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. pp. 4:1-4:15
@inproceedings{d318b817dfac4a23a430143ed936a243,
title = "Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments",
abstract = "We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).",
keywords = "Answer set programming, Qualitative spatio-temporal reasoning",
author = "Christopher Brenton and Wolfgang Faber and Sotiris Batsakis",
year = "2016",
month = "11",
day = "13",
doi = "10.4230/OASIcs.ICLP.2016.4",
language = "English",
volume = "52",
pages = "4:1--4:15",
editor = "Manuel Carro and Andy King and { Saeedloei}, Neda and Vos, {Marina De}",
booktitle = "Technical Communications of the 32nd International Conference on Logic Programming",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

}

Brenton, C, Faber, W & Batsakis, S 2016, Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments. in M Carro, A King, N Saeedloei & MD Vos (eds), Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016. vol. 52, 4, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 4:1-4:15, 32nd International Conference on Logic Programming, New York City, United States, 16/10/16. https://doi.org/10.4230/OASIcs.ICLP.2016.4

Answer set programming for qualitative spatio-temporal reasoning : Methods and experiments. / Brenton, Christopher; Faber, Wolfgang; Batsakis, Sotiris.

Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016. ed. / Manuel Carro; Andy King; Neda Saeedloei; Marina De Vos. Vol. 52 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. p. 4:1-4:15 4.

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

TY - GEN

T1 - Answer set programming for qualitative spatio-temporal reasoning

T2 - Methods and experiments

AU - Brenton, Christopher

AU - Faber, Wolfgang

AU - Batsakis, Sotiris

PY - 2016/11/13

Y1 - 2016/11/13

N2 - We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).

AB - We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).

KW - Answer set programming

KW - Qualitative spatio-temporal reasoning

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

U2 - 10.4230/OASIcs.ICLP.2016.4

DO - 10.4230/OASIcs.ICLP.2016.4

M3 - Conference contribution

VL - 52

SP - 4:1-4:15

BT - Technical Communications of the 32nd International Conference on Logic Programming

A2 - Carro, Manuel

A2 - King, Andy

A2 - Saeedloei, Neda

A2 - Vos, Marina De

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

Brenton C, Faber W, Batsakis S. Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments. In Carro M, King A, Saeedloei N, Vos MD, editors, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016. Vol. 52. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2016. p. 4:1-4:15. 4 https://doi.org/10.4230/OASIcs.ICLP.2016.4