DocumentCode
1529465
Title
Temporal knowledge representation and reasoning techniques using time Petri nets
Author
Jong, Woei-Tzy ; Shiau, Yuh-Shin ; Horng, Yih-Jen ; Chen, Hsin-Horng ; Chen, Shyi-Ming
Author_Institution
Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Volume
29
Issue
4
fYear
1999
fDate
8/1/1999 12:00:00 AM
Firstpage
541
Lastpage
545
Abstract
In this paper, we present temporal knowledge representation and reasoning techniques using time Petri nets. A method is also proposed to check the consistency of the temporal knowledge. The proposed method can overcome the drawback of the one presented in Yao (1994). It provides a useful way to check the consistency of the temporal knowledge
Keywords
Petri nets; knowledge based systems; knowledge representation; temporal reasoning; knowledge representation; reasoning; temporal knowledge; temporal knowledge representation; time Petri nets; Calculus; Councils; Fuzzy logic; Fuzzy reasoning; Fuzzy systems; Information science; Knowledge based systems; Knowledge representation; Petri nets; Production systems;
fLanguage
English
Journal_Title
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
1083-4419
Type
jour
DOI
10.1109/3477.775271
Filename
775271
Link To Document