基于一阶谓词逻辑的结构设计规范表示方法  

Representation of structural design specifications based on first-order predicate logic

作　　者：张吉松 于泽涵 赵丽华 ZHANG Jisong;YU Zehan;ZHAO Lihua(School of Civil Engineering,Dalian Jiaotong University,Dalian 116028,Liaoning,P.R.China)

机构地区：[1]大连交通大学土木工程学院,辽宁大连116028

出　　处：《土木与环境工程学报（中英文）》2024年第1期254-262,共9页Journal of Civil and Environmental Engineering

基　　金：辽宁省科技厅博士科研启动基金(2019-BS-041);辽宁省教育厅青年科技人才育苗项目(JDL2019036);辽宁省教育厅基础研究项目(JDL 2019018)。

摘　　要：目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。At present,the code compliance checking based on BIM model are done manually with heavy workload and low information intelligence.It is of great significance to carry out the research on automatic compliance checking.As an important step,standard translation involves many fields such as philosophy,mathematics,mathematical logic,computer science,artificial intelligence,natural language processing and semantics.It is not only a research issue of interdisciplinary integration,but also a prerequisite for realizing the automation of building design and compliance checking.In the field of structural design,code representation methods which can effectively support knowledge representation,reasoning,and automation of compliance checking needs to be developed.Based on the first-order predicate logic,this paper proposes a method of expression and reasoning of structural design rules by translating the provisions in the“code for design of concrete structures”.Through the definition of“predicate”and“function”,the design provisions,table and formula in design specification are translated.It effectively solves the problem of insufficient and inaccurate representation of structural design clauses by using traditional first order predicates,and thus provides a reference for the computer expression of design specifications.

关 键 词：结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能 

分 类 号：TU17[建筑科学—建筑理论]