Work

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

Year: 2024

Type: conference-paper

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

Source: tub.dok (Hamburg University of Technology)

DOI: 10.15480/882.13504

Author: Kurzawa, Marian

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Sustainable cities and communities

Open Access status: green

OpenAlex ID: W6943480184

FWCI:

Cites:

Cited by:

Related to: