Clingo2DSR - A clingo-based software system for declarative spatial reasoning

We present a modified ground-and-solve approach based on the clingo Answer Set Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR. Our system is distinct from previous research integrating ASP with space in that it deals with complex real-world data and numerous ti...

Full description

Saved in:
Bibliographic Details
Published in:Spatial cognition and computation Vol. 25; no. 1; pp. 69 - 119
Main Authors: Li, Beidi, Schultz, Carl
Format: Journal Article
Language:English
Published: Mahwah Taylor & Francis 02.01.2025
Taylor & Francis Ltd
Subjects:
Answer Set Programming
Building Information Modelling
Declarative programming
Mathematical programming
Reasoning
spatial reasoning
Task complexity
ISSN:1387-5868, 1542-7633, 1573-9252
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a modified ground-and-solve approach based on the clingo Answer Set Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR. Our system is distinct from previous research integrating ASP with space in that it deals with complex real-world data and numerous time steps. Clingo2DSR is composed of (i) an input language defining spatial entities, functions, and relations; (ii) an external geometry database for performing spatial computations and checking spatial constraints; and (iii) a theory-based solving approach coupling symbolic ASP with external sources for sound and fast model search. We demonstrate our system on three real building models, in the context of architectural design, submitted for analyses and queries where spatial components play an important role.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1387-5868
1542-7633
1573-9252
DOI:10.1080/13875868.2024.2324875