|
|||||
|
|
| Petri网在基于规则系统一致性问题检查中的应用 | |
| 引用本文： | 丁彩红,黄文虎.Petri网在基于规则系统一致性问题检查中的应用[J].机械强度,1999,21(3):170-173. |
| 作者姓名： | 丁彩红 黄文虎 |
| 作者单位： | 哈尔滨工业大学航天工程与力学系!哈尔滨150001 |
| 基金项目： | 国家高科技研究发展计划航天领域项目 |
| 摘 要： | 基于规则系统是目前应用较为广泛的一类专家系统，但它的知识库不易维护。本文针对基于规则系统的一致性问题，应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法，提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较，并在含约束Ｐｅｔｒｉ网模型基础上，提出了一致性检验的命题方法，最后以实例说明该方法的实现步骤。当规则库较大时，相应的Ｐｅｔｒｉ网模型可能也会很庞 |
| 关 键 词： | 基于规则系统 一致性 Petri网 知识库 专家系统 |
| 本文献已被 CNKI 维普 等数据库收录！ | |