.png){kind=icon}
返回
Graph-based rule representation for automated design checking
.png){kind=icon}
PRE
AI
DOI：10.1080/17452007.2026.2632098.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
自动化规则检查旨在通过可计算的规则实现设计检查的自动化，并且多年来已得到广泛研究。现有规则解释方法在表示隐含复杂计算逻辑方面的能力往往受限，且复杂逻辑表示方法与规则解释结果之间的集成仍显不足。本文提出了一种基于图的方法，用于表示自动化设计检查的知识规则。该图的表示过程主要包括两个主要步骤。首先，采用语义映射，将规则表示为三个对应图分支的语义组合。其次，利用原子函数映射，从可计算逻辑层面向图中添加原子函数节点，形成完整的图表示，从而构成完整的图表示。随后，我们提供了一种从图自动生成编程代码的方法，结合原子函数的开发，可用于进行检查。该方法在可解释性和可理解性方面展现出显著潜力，并为全自动化规则检查系统的发展提供了新的思路。
Keyword:
Automated rule checking
building codes
graphic representation
atomic function
code generation