Temporal knowledge representation and reasoning techniques using time Petri nets

Title:	Temporal knowledge representation and reasoning techniques using time Petri nets
Authors:	Jong, WT Shiau, YS Horng, YJ Chen, HH Chen, SM 資訊工程學系 Department of Computer Science
Keywords:	knowledge representation;rule-based system;temporal knowledge;time Petri nets
Issue Date:	1-Aug-1999
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 [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
Journal:	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
Volume:	29
Issue:	4
Begin Page:	541
End Page:	545
Appears in Collections:	Articles

Files in This Item:

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.