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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Spatial cognition and computation Ročník 25; číslo 1; s. 69 - 119
Hlavní autoři: Li, Beidi, Schultz, Carl
Médium: Journal Article
Jazyk:angličtina
Vydáno: Mahwah Taylor & Francis 02.01.2025
Taylor & Francis Ltd
Témata:
Answer Set Programming
Building Information Modelling
Declarative programming
Mathematical programming
Reasoning
spatial reasoning
Task complexity
ISSN:1387-5868, 1542-7633, 1573-9252
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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