標題: Temporal knowledge representation and reasoning techniques using time Petri nets
作者: Jong, WT
Shiau, YS
Horng, YJ
Chen, HH
Chen, SM
資訊工程學系
Department of Computer Science
關鍵字: knowledge representation;rule-based system;temporal knowledge;time Petri nets
公開日期: 1-八月-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 [16]. It provides a useful way to check the consistency of the temporal knowledge.
URI: http://dx.doi.org/10.1109/3477.775271
http://hdl.handle.net/11536/31171
ISSN: 1083-4419
DOI: 10.1109/3477.775271
期刊: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
Volume: 29
Issue: 4
起始頁: 541
結束頁: 545
顯示於類別:期刊論文


文件中的檔案:

  1. 000081565700008.pdf