Options
Geometric rule check with Answer Set Programming for barrier-free navigation
Citation Link: https://doi.org/10.15480/882.13504
Publikationstyp
Conference Paper
Date Issued
2024-09-18
Sprache
English
Author(s)
TORE-DOI
Start Page
382
End Page
389
Citation
35. Forum Bauinformatik, fbi 2024: 382-389
Contribution to Conference
Publisher
Technische Universität Hamburg, Institut für Digitales und Autonomes Bauen
Peer Reviewed
true
The topic of rule-based navigation within buildings is an area of current research. The objective to make a public building accessible for all user groups requires the implementation of complex geometric rule checks. This paper defines exemplary rules based on the German building code DIN 18040-1 and implements rule checks using a declarative programming approach (Answer Set Programming). The results indicate that the declarative implementation has some significant limitations in terms of complexity (linear solver). However, it also offers a promising approach to constraint-based geometric rule checking, which could be a valuable contribution to future research.
Subjects
Algorithms
Declarative Programming
Rule check
DDC Class
720: Architecture
690: Building, Construction
004: Computer Sciences
Publication version
publishedVersion
Loading...
Name
Geometric rule check with Answer Set Programming for barrier-free navigation.pdf
Type
Main Article
Size
260.08 KB
Format
Adobe PDF