Temporal knowledge representation and reasoning techniques usingtime Petri nets

  • Authors:
  • Woei-Tzy Jong;Yuh-Shin Shiau;Yih-Jen Horng;Hsin-Horng Chen;Shyi-Ming Chen

  • Affiliations:
  • Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu;-;-;-;-

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

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