DocumentCode
1142379
Title
A Petri net model for temporal knowledge representation and reasoning
Author
Yao, Yulin
Author_Institution
Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Volume
24
Issue
9
fYear
1994
fDate
9/1/1994 12:00:00 AM
Firstpage
1374
Lastpage
1382
Abstract
This paper presents a general model based on timed Petri net, capable of handling both qualitative and quantitative temporal information. Both metric relations between time points and qualitative relations between time interval can be encoded in a model. This model also allows the representation of higher-order expression and repeated activities which constitute a large part of the normal schedule. In addition, graphical representation of a timed Petri net gives a straightforward view of relations between temporal objects
Keywords
Petri nets; knowledge representation; temporal reasoning; Petri net model; graphical representation; metric relations; qualitative relations; qualitative temporal information; quantitative temporal information; temporal knowledge representation; temporal objects; temporal reasoning; time interval; time points; timed Petri net; Artificial intelligence; Calculus; Dynamic scheduling; Educational institutions; Fires; Fuzzy control; Fuzzy systems; Knowledge representation; Petri nets; Random variables;
fLanguage
English
Journal_Title
Systems, Man and Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9472
Type
jour
DOI
10.1109/21.310513
Filename
310513
Link To Document