Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule

Author

Wang, Huaiqing ; Jiang, ChangJun ; Liao, Shaoyi

Author_Institution

Dept. of Inf. Syst., City Univ., Hong Kong, China

Volume

9

Issue

3

fYear

2001

fDate

6/1/2001 12:00:00 AM

Firstpage

444

Lastpage

449

Abstract

Models of a fuzzy Petri net (FPN) are defined based on generating rules of a knowledge base and the Petri nets semantics description of logical rules are presented. Two kinds of reasoning patterns are considered. First, the beliefs of initial propositions are known and their beliefs of noninitial propositions need to be computed. Second, the beliefs of initial propositions are known and the beliefs of goal propositions need to be computed. The concurrent reasoning algorithms of the two patterns based on a multi-task schedule are proposed. The application of this model and reasoning algorithm is discussed

Keywords

Petri nets; fuzzy logic; inference mechanisms; knowledge based systems; Petri nets semantics; beliefs; concurrent reasoning; fuzzy logical Petri nets; goal propositions; initial propositions; logical rules; multi-task schedule; noninitial propositions; reasoning patterns; Fuzzy logic; Fuzzy reasoning; Fuzzy systems; Helium; Knowledge representation; Neural networks; Petri nets; Process control; Processor scheduling; Scheduling algorithm;

fLanguage

English

Journal_Title

Fuzzy Systems, IEEE Transactions on

Publisher

ieee

ISSN

1063-6706

Type

jour

DOI

10.1109/91.928740

Filename

928740