文档名：基于一阶谓词逻辑的结构设计规范表示方法
设计规范的知识表示和计算机表达是实现工程设计与审查自动化和智能化的技术基础.在结构设计领域,能够有效支撑知识表示与推理,以及支持设计审查自动化的设计规范表达方法有待开发.一阶谓词逻辑以数理逻辑为基础,擅长精确性知识的表示与推理.本研究基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法.通过"谓词定义"和"函数定义"转译设计规范中语言类、表格类和计算公式类设计条款.结果表明,一阶谓词逻辑用于表示结构设计条款具有很大潜力,尤其在消除设计条款语言表达模糊性和推理自动化方面.
作者：于泽涵 张吉松 赵丽华 刘鑫 任国乾
作者单位：大连交通大学土木工程学院,辽宁大连116028大石桥建筑设计院有限公司,辽宁营口115100卡迪夫大学工学院,英国威尔士卡迪夫CF243AA
母体文献：第七届全国BIM学术会议论文集
会议名称：第七届全国BIM学术会议
会议时间：2021年12月1日
会议地点：重庆
主办单位：中国图学学会
语种：chi
分类号：TP3TP1
关键词：结构设计规范 合规性审查 知识表示 自动化推理 一阶谓词逻辑
在线出版日期：2022年5月27日
基金项目：
相似文献
相关博文
- 文件大小:
- 534.79 KB
- 下载次数:
- 60
-
高速下载
|
|
