迈向法国智能建筑规范：基于语义规则的合规性检查
人工智能
2019-10-02 v1 计算与语言
计算机科学中的逻辑
摘要
人工检查模型是否符合建筑法规对建筑师与施工工程师而言是一项耗时的任务。因此亟需能够处理建设项目信息并报告不合规元素的算法。然而自动化规范合规性检查存在若干障碍。建筑法规通常以人类可读文本发布，其内容常含混或不完整。此外，表达此类法规的词汇与表达建筑信息模型（BIM）的词汇大相径庭。再者，BIM 所含几何体的高度细节导致复杂计算。最后，IFC 标准的高复杂度也阻碍了 IFC 处理任务的自动化。模型图、形式化规则与预处理器方法可将建筑法规转化为语义查询。我们通过若干用例进一步证明该方法的有用性。我们认为该方法是在弥合法规文本与自动检查算法鸿沟方面向前迈出的一步。最后，借助 W3C 关联建筑数据社区组推荐的近期建筑本体 BOT，我们指出了标准化与扩展该方法的前景。
引用
@article{arxiv.1910.00334,
title = {Towards French Smart Building Code: Compliance Checking Based on Semantic Rules},
author = {Nicolas Bus and Ana Roxin and Guillaume Picinbono and Muhammad Fahad},
journal= {arXiv preprint arXiv:1910.00334},
year = {2019}
}