Temporal knowledge representation and reasoning techniques using time Petri nets
Woei-Tzy Jong, Yuh-Shin Shiau, Yih-Jen Horng, Hsin-Horng Chen, Shyi‐Ming Chen · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 1999
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.