Inference engine of extended interval temporal logic

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 25, Issue 6, 2002, Pages 637-644

  Liu, Ting ^a   Lin, Chuang ^a   Liu, Wei Dong ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Extended interval temporal logic; Inference engine; Temporal relation; Time Petri nets

Indexed keywords

PETRI NETS; REAL TIME SYSTEMS;

EXTENDED INTERVAL TEMPORAL LOGIC; INEQUATION; TEMPORAL RELATION; TIME PETRI NETS;

INFERENCE ENGINES;

EID: 0036625161     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Toward a general theory of action and time. Artificial Intelligent, 1984, 23(2): 123-154
2. Allen J F, Illayes P J. Moments and points in an interval-based temporal logic. Computational Intelligence, 1989, 5(4): 225-238
3. Allen J F. Time and time again: The many ways to represent time. International Journal of Intelligent Systems, 1991, 6(4): 341-356
4. Allen J F, Ferguson G. Actions and events in interval temporal logic. Journal Logic and Computation, 1994, 4(5): 531-579
5. Aalst W. The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers, 1998, 8(1): 21-66
6. Zaidi A K. On temporal logic programming using Petri nets. IEEE Trans Systems, Man, and Cybernetics, 1999, 29(3): 245-254
7. Yao Y. A Petri net model for temporal knowledge representation and reasoning. IEEE Trans Systems, Man, and Cybernetics, 1994, 24(9): 1374-1382
8. Lin C, Chanson S T. Logical inference of clauses based on Petri net models. International Journal of Intelligent Systems, John Wiley and Sons, 1998, 13: 821-840
9. Lin C, Chaudhury A, Whinston A B et al. Logical inference of horn clauses in Petri net models. IEEE Trans Knowledge and Data Engineering, 1993, 5(4): 416-425
10. Kindler E, Vesper T. ESTL: A temporal logic for events and states. In: Proc 19th International Conference on Application and Theory of Petri Nets (ICATPN'98), Lisbon, Portugal, 1998. 365-383
11. Lin C, Liu T, Qu Y. Extended interval temporal logic for undetermined interval: Modeling and linear inference using time Petri nets. Chinese Journal Computers, 2001, 24(12): 1299-1309 (in Chinese)