Sun 15 Jan 2023 11:00 - 11:25 at Kenmore - Session #2 Chair(s): Shrutarshi Basu, Thomas T. Hildebrandt, Jonathan Protzenko

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 (AEC) 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, e.g., 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. This paper is an extended abstract of Arias et al. (2022b), where 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.

Building Information Modeling Using Constraint Logic Programming (Presentation ProLaLa'23) (prolala23-spatial-talk.pdf)1.74MiB

Sun 15 Jan

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session #2ProLaLa at Kenmore
Chair(s): Shrutarshi Basu Harvard University, Thomas T. Hildebrandt University of Copenhagen, Jonathan Protzenko Microsoft Research, Redmond
11:00
25m
Talk
Building Information Modeling Using Constraint Logic Programming (Extended Abstract)Virtual
ProLaLa
Joaquín Arias Universidad Rey Juan Carlos, Seppo Törmä VisuaLynk Oy, Finland, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta University of Texas at Dallas, USA
Link to publication DOI Pre-print File Attached
11:25
25m
Talk
Exploring Consequences of Privacy Policies with Narrative Generation via Answer Set Programming
ProLaLa
Chinmaya Dabral North Carolina State University, Emma Tosch Northeastern University, USA, Chris Martens Northeastern University
Link to publication Pre-print File Attached
11:50
25m
Talk
The Structure and Legal Interpretation of Computer ProgramsVirtual
ProLaLa
James Grimmelmann Cornell University
File Attached
12:15
10m
Talk
Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint
ProLaLa
Sterre Lutz Utrecht University and TNO
DOI Pre-print
12:25
10m
Talk
Defeasible Semantics for L4Virtual
ProLaLa
Guido Governatori Singapore Management University, Meng Weng Wong Singapore Management University
Link to publication DOI