基于一阶谓词逻辑的结构设计规范表示方法
DOI:
作者:
作者单位:

1.大连交通大学 土木工程学院;2.大连交通大学

作者简介:

通讯作者:

中图分类号:

TU375.4

基金项目:

辽宁省科技厅博士科研启动基金计划项目,辽宁省教育厅青年科技人才育苗项目


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

1.Dept. of Civil Engineering,Dalian Jiaotong University;2.大连交通大学

Fund Project:

Ph.D Research Startup Foundation of Department of Science & Technology of Liaoning Province, Fundamental Research Foundation of Educational Department of Liaoning Province

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    目前基于BIM模型的合规性审查采用人工审查的方式,工作量繁重且自动化程度较低,开展自动化合规性审查研究具有重要意义。规范转译作为合规性审查的重要步骤,涉及哲学、数学、数理逻辑、计算机科学、人工智能、自然语言处理和语义学等多个领域,不仅是一个多学科交叉融合的研究方向,而且是实现工程设计与审查自动化的前提条件。在结构设计领域,能够有效支撑知识表示与推理,以及支持设计审查自动化的设计规范表达方法有待开发。本研究基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供了一种参考方法。

    Abstract:

    At present, the code compliance checking based on BIM model are done manually with heavy workload and low degree of information intelligence. It is of great significance to carry out the research on automatic compliance checking. As an important step of compliance checking, 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 direction 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 method for the computer expression of design specifications.

    参考文献
    相似文献
    引证文献
引用本文
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2021-12-16
  • 最后修改日期:2022-03-10
  • 录用日期:2022-03-26
  • 在线发布日期:
  • 出版日期: