Temporal knowledge representation and reasoning techniques using time Petri nets.
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.
Jong
W T
WT
Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu.
Shiau
Y S
YS
Horng
Y J
YJ
Chen
H H
HH
Chen
S M
SM