Building Information Modeling Using Constraint Logic Programming (Extended Ab...
summary
Claims a unified BIM verifier that mixes geometric constraints and symbolic rules using CLP(Q/R) and an ASP-with-constraints engine, with a prototype 3D reasoner implemented and evaluated on several BIM models. Relevance-driven semantics (via s-CASP) yields 14 partial models for an eight-room query instead of thousands from standard ASP, avoiding combinatorial blowup, and produces natural-language justifications. The prototype handles unions/intersections of convex shapes, enforces ventilation/window rules, and flags precise inconsistent design decisions.
AI-written summary · about
chapters (13)
- 0:00BIM with CLP introduction
- 1:46Logic programming in BIM motivation
- 3:52Framework contributions
- 5:15BIM and IFC standards
- 6:18s(CASP) and constraints intro
- 8:06Ambiguity in regulations
- 9:123D object manipulation
- 12:26Iterative model refinement
- 14:14Relevance in model queries
- 16:42Querying 3D geometry
- 18:46Natural-language justifications
- 19:51Conclusion and future work
- 21:19Q&A
related talks
31mGenerating Constraint Programs for Variability Model Reasoning: A DSL and Solver-...
42mASP: Theory, Practice, and Beyond
34mAbstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…)
28mBounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
48mBeyond SAT - Proofs for QBF, and more
40mRelational Reasoning in Object-based Programs
14mQuantified Underapproximation via Labeled Bunches
01h 01mCDCL SAT Solving and Applications to Optimization Problems