一种新的Petri网推理方法

被引：12

作者：

王志坚

蔡自兴

机构：

[1] 中南大学信息科学与工程学院

[2] 中南大学信息科学与工程学院湖南长沙

[3] 湖南长沙

来源：

计算机工程与科学 | 2002年 / 02期

关键词：

Petri网; 知识表达; 逻辑推理;

D O I：

暂无

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

140502 [人工智能];

摘要：

提出一种新的基于Petri网的知识表达方法和逻辑推理算法 ,通过减少重复推理过程 ,充分利用推理过程中已经得到的中间结论。该算法比现有算法减少了推理步数 ,有效地提高了推理效率

引用

收藏

页码：102 / 104

页数：3

相关论文

共 3 条

[1]

基于归结反演的Petri网推理新方法 [J].

周奕 ;

吴时霖 .

计算机学报, 1997, (03)

[2]

使用Petri网T－不变量求解子句的逻辑推论 [J].

林闯 ;

王鼎兴 .

计算机学报, 1996, (10)

[3]

Petri网用于表示知识 [J].

林闯 ;

陆维明 .

计算机学报, 1992, (01) :1-16