Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Christopher Brenton; Wolfgang Faber; Sotiris Batsakis

doi:10.4230/OASIcs.ICLP.2016.4

Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Christopher Brenton, Wolfgang Faber, Sotiris Batsakis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 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 language	English
Title of host publication	Technical Communications of the 32nd International Conference on Logic Programming
Subtitle of host publication	ICLP 2016
Editors	Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	4:1-4:15
Number of pages	15
Volume	52
ISBN (Electronic)	9783959770071
DOIs	https://doi.org/10.4230/OASIcs.ICLP.2016.4
Publication status	Published - 13 Nov 2016
Event	32nd International Conference on Logic Programming - New York City, United States Duration: 16 Oct 2016 → 21 Oct 2016 Conference number: 32 http://software.imdea.org/Conferences/ICLP2016/ (Link to Conference Website)

Conference

Conference	32nd International Conference on Logic Programming
Abbreviated title	ICLP 2016
Country/Territory	United States
City	New York City
Period	16/10/16 → 21/10/16
Internet address	http://software.imdea.org/Conferences/ICLP2016/ (Link to Conference Website)

Access to Document

10.4230/OASIcs.ICLP.2016.4Licence: CC BY

http://eprints.hud.ac.uk/id/eprint/29805/Licence: CC BY

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 = nov,

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",

address = "Germany",

note = "32nd International Conference on Logic Programming, ICLP 2016 ; Conference date: 16-10-2016 Through 21-10-2016",

url = "http://software.imdea.org/Conferences/ICLP2016/",

}

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, New York, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - Answer set programming for qualitative spatio-temporal reasoning

T2 - 32nd International Conference on Logic Programming

AU - Brenton, Christopher

AU - Faber, Wolfgang

AU - Batsakis, Sotiris

N1 - Conference code: 32

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

AN - SCOPUS:85004008369

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

Y2 - 16 October 2016 through 21 October 2016

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 doi: 10.4230/OASIcs.ICLP.2016.4

Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Sotirios Batsakis

Cite this

Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Profiles

Sotirios Batsakis

Cite this