|
|||||
|
|
| Petri网用于表示知识 | |
| 引用本文： | 林闯 陆维明. Petri网用于表示知识[J]. 计算机学报, 1992, 15(1): 1-16 |
| 作者姓名： | 林闯 陆维明 |
| 作者单位： | 国家信息中心信息科学与应用研究所，中国科学院数学研究所 北京 100045，北京 100080 |
| 基金项目： | 国家自然科学基金，中国科学院管理、决策与信息系统开放研究实验室合作课题基金，国家第七个五年计划科技攻关课题经费的资助 |
| 摘 要： | 本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的. |
| 关 键 词： | Petri网 知识表示 模态逻辑 |
KNOWLEDGE REPRESENTATION BY PETRI NETS |
|
| Lin Chuang. KNOWLEDGE REPRESENTATION BY PETRI NETS[J]. Chinese Journal of Computers, 1992, 15(1): 1-16 | |
| Authors: | Lin Chuang |
| Abstract: | The relationships between various classes of Petri nets and modal logicare studied in this paper. Petri nets Enlogy provides some hints for these relationships. The concepts of case and case class have been successfully used to investigate knowledge representation of Condition/Event nets. In this paper both concepts are introduced into Place/Transition nets and High-level Petri nets for knowledge representation. We define case variables and equivalent case variables for knowledge representation of High-level Petri Nets in order to increase the representation power of knowledge. |
| Keywords: | Condition/Event Nets Place/Transition Nets High-level Petri Nets case step modal logic marking variables case variable and equivalence of case variable. |
| 本文献已被 CNKI 维普 等数据库收录！ | |