Abstract:Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious and error-prone, and amending flaws discovered only at construction time causes huge additional costs and delays. Several tools can check BIM models for conformance with rules/guidelines. For example, Singapore's CORENET e-Submission System checks fire safety. But since the current BIM exchange format only contains basic information about building objects, a separate, ad-hoc model pre-processing is required to determine, for example, evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and/or adding new ones (to cater for building regulations, that can vary not only among countries but also among parts of the same city), if at all possible. We propose the use of logic-based executable formalisms (CLP and Constraint ASP) to couple BIM models with advanced knowledge representation and reasoning capabilities. Previous experience shows that such formalisms can be used to uniformly capture and reason with knowledge (including ambiguity) in a large variety of domains. Additionally, incorporating checking within design tools makes it possible to ensure that models are rule-compliant at every step. This also prevents erroneous designs from having to be (partially) redone, which is also costly and burdensome. To validate our proposal, we implemented a preliminary reasoner under CLP(Q/R) and ASP with constraints and evaluated it with several BIM models.

Modeling Administrative Discretion Using Goal-Directed Answer Set Programming

Automated legal reasoning with discretion to act using s(LAW)

Justifications for Goal-Directed Constraint Answer Set Programming

Counterfactual Generation with Answer Set Programming

Formalization of Psychological Knowledge in Answer Set Programming and its Application

Solving Advanced Argumentation Problems with Answer Set Programming

Reasoning about Study Regulations in Answer Set Programming

Modelling Multi-Agent Epistemic Planning in ASP

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes

dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP

Reason for Future, Act for Now: A Principled Architecture for Autonomous LLM Agents

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Declarative Reasoning on Explanations Using Constraint Logic Programming

A formalism for causal explanations with an Answer Set Programming translation

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

LLASP: Fine-tuning Large Language Models for Answer Set Programming

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks

Building Information Modeling Using Constraint Logic Programming