论文标题
使用约束逻辑编程构建信息建模
Building Information Modeling Using Constraint Logic Programming
论文作者
论文摘要
建筑信息建模（BIM）产生了将几何信息与广泛属性相结合的建筑物的三维模型。 BIM正在缓慢，但不可避免地彻底改变了建筑，工程和建筑（AEC）行业。建筑物需要符合有关稳定，安全性和环境影响的法规。手动合规性检查非常乏味且容易出错，并且仅在施工时间发现的修改缺陷会导致巨大的额外成本和延误。几种工具可以检查BIM模型是否符合规则/准则。例如，新加坡的Corenet E-submission系统检查消防安全。但是，由于当前的BIM交换格式仅包含构建对象的基本信息，因此需要一个单独的临时模型预处理以确定例如疏散路线。此外，他们在调整现有内置规则和/或添加新规则方面面临困难（以适应建筑法规，如果可能的话，这种规定不仅在国家/地区之间，而且在同一城市的部分地区可能会有所不同）。我们建议使用基于逻辑的可执行形式主义（CLP和约束ASP）来使用具有高级知识表示和推理功能的BIM模型。先前的经验表明，这种形式主义可用于在各种领域中以知识（包括歧义）统一捕获和理由。此外，将检查在设计工具中的结合可以确保在每个步骤中都符合规则的规定。这也防止了错误的设计必须（部分）重做，这也是昂贵且繁重的。为了验证我们的建议，我们在CLP（Q/R）和ASP下实施了一个初步原因，并具有约束，并使用多个BIM模型进行了评估。正在考虑逻辑编程理论和实践（TPLP）的接受。
Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. 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 of 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. 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. Under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).
