基于一阶谓词逻辑的结构设计规范表示方法
设计规范的知识表示和计算机表达是实现工程设计与审查自动化和智能化的技术基础。在结构设计领域，能够有效支撑知识表示与推理，以及支持设计审查自动化的设计规范表达方法有待开发。一阶谓词逻辑以数理逻辑为基础，擅长精确性知识的表示与推理。本研究基于一阶谓词逻辑，通过转译《混凝土结构设计规范》中的设计条款，提出一种结构设计规范规则表达和推理方法。通过"谓词定义"和"函数定义"转译设计规范中语言类、表格类和计算公式类设计条款。结果表明，一阶谓词逻辑用于表示结构设计条款具有很大潜力，尤其在消除设计条款语言表达模糊性和推理自动化方面。
结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能
于泽涵 张吉松 赵丽华 刘鑫 任国乾
大连交通大学土木工程学院,辽宁大连116028 大石桥建筑设计院有限公司,辽宁营口 115100 卡迪夫大学工学院,英国威尔士卡迪夫CF24 3AA
国内会议
重庆
中文
57-62
2021-12-01（万方平台首次上网日期，不代表论文的发表时间）