Geometric rule check with Answer Set Programming for barrier-free navigation

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.