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

Huaiqing Wang; Changjun Jiang; Shaoyi Liao

doi:10.1109/91.928740

Author(s)

Huaiqing Wang
Changjun Jiang
Shaoyi Liao

Related Research Unit(s)

Department of Information Systems

Detail(s)

Original language	English
Pages (from-to)	444-449
Journal / Publication	IEEE Transactions on Fuzzy Systems
Volume	9
Issue number	3
Publication status	Published - Jun 2001

Link(s)

DOI	DOI https://doi.org/10.1109/91.928740 Final Published version
	Check@CityULib
Link to Scopus	https://www.scopus.com/record/display.uri?eid=2-s2.0-0035360414&origin=recordpage
Permanent Link	https://scholars.cityu.edu.hk/en/publications/publication(fbc4d458-ff81-49fe-beb0-4af7b4768d1e).html

Abstract

Models of fuzzy Petri net (FPN) are defined based on generating rules of 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 multitask schedule are proposed. The application of this model and reasoning algorithm is discussed.