土木与环境工程学报（中英文）2024，Vol.46Issue(1)：254-262,9.DOI:10.11835/j.issn.2096-6717.2022.031
基于一阶谓词逻辑的结构设计规范表示方法
Representation of structural design specifications based on first-order predicate logic
摘要
Abstract
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.关键词
结构设计规范/知识表示/一阶谓词逻辑/合规性审查/人工智能Key words
structural design code/knowledge representation/first-order predicate logic/code compliance checking/artificial intelligence分类
土木建筑引用本文复制引用
张吉松,于泽涵,赵丽华..基于一阶谓词逻辑的结构设计规范表示方法[J].土木与环境工程学报（中英文）,2024,46(1):254-262,9.基金项目
辽宁省科技厅博士科研启动基金(2019-BS-041) （2019-BS-041）
辽宁省教育厅青年科技人才育苗项目(JDL2019036) （JDL2019036）
辽宁省教育厅基础研究项目(JDL 2019018)PhD Research Startup Foundation of Department of Science&Technology of Liaoning Province(No.2019-BS-041) （JDL 2019018）
Scientific Talents Breeding Foundation of Educational Department of Liaoning Province(No.JDL2019036) （No.JDL2019036）
Fundamental Research Foundation of Educational Department of Liaoning Province(No.JDL 2019018) （No.JDL 2019018）
