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
fDate :
8/1/1999 12:00:00 AM
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;
Journal_Title :
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
DOI :
10.1109/3477.775271
