清华大学学报(自然科学版)

作者：高佳濠, 张荷花

单位：清华大学 软件学院，北京 100084

关键词：自动合规审查,规范建模,语义建模,标准数字化,建筑规范审查

基金：国家重点研发计划(2023YFC3804600)

随着计算机科学和软件工程的相关技术包括人工智能、领域特定语言、知识图谱等的发展，越来越多的自动合规审查工具开始出现。以建筑领域为例，有关建筑信息模型(building information modeling, BIM)、建筑二维图纸的自动化审查研究和落地应用层出不穷。使用计算机进行自动合规审查的核心步骤之一是对用自然语言编写的条文进行逻辑表示，将其转化为计算机能够理解的形式。虽然目前学者们已经进行了很多相关的研究，也形成了许多被广泛使用的标准和范式，但如何处理高层次的规则之间的相互关系却一直很少被关注。该文基于建筑领域基于规则的自动合规审查提出了一种处理高层次规则之间相互关系的范式，该范式使用“合规级联”、“不合规级联”和“不适用级联”三种模式对高层次规则间关系进行计算机表示，让计算机能够自动对其进行处理。将这种范式用于“BIMChecker”自动合规审查工具中进行了基于实际项目的测试，验证了该范式的有效性。

来源：2025年第11期

《清华大学学报(自然科学版)》期刊编辑部

查看清华大学学报(自然科学版)杂志2025年第11期