A FUZZY PETRI NET FOR KNOWLEDGE REPRESENTATION AND REASONING

被引：58

作者：

GARG, ML

AHSON, SI

GUPTA, PV

机构：

[1] KING SAUD UNIV,COLL COMP & INFORMAT SCI,DEPT COMP ENGN,RIYADH 11543,SAUDI ARABIA

[2] REG ENGN COLL,KURUKSHETRA 132119,HARYANA,INDIA

来源：

INFORMATION PROCESSING LETTERS | 1991年 / 39卷 / 03期

关键词：

FORMAL LANGUAGES; CONCURRENCY; DECISION SUPPORT;

D O I：

10.1016/0020-0190(91)90114-W

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A new type of Fuzzy Petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking.

引用

页码：165 / 171

页数：7

共 7 条

[1] NECESSITY MEASURES AND THE RESOLUTION PRINCIPLE [J].

DUBOIS, D ;

PRADE, H .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1987, 17 (03) :474-478

[2]

FROST R, 1986, INTRO KNOWLEDGE BASE

[3] FUZZY LOGIC AND RESOLUTION PRINCIPLE [J].

LEE, RCT .

JOURNAL OF THE ACM, 1972, 19 (01) :109-&

[4]

LIPP HP, 1983, P IFAC C FUZZ INF CO, P459

[5] FUZZY PETRI NETS FOR RULE-BASED DECISION-MAKING [J].

LOONEY, CG .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1988, 18 (01) :178-183

[6]

Peterson J. L., 1981, PETRI NET THEORY MOD

[7]

PETRI CA, 1962, SCHRIFT RHEINISCH WE, V2

← 1 →