Temporal Knowledge Representation and Reasoning Based on Petri Nets with Time Tokens (CROSBI ID 463881)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Ribarić, Slobodan ; Dalbelo Bašić, Bojana
engleski
Temporal Knowledge Representation and Reasoning Based on Petri Nets with Time Tokens
A new formal model for temporal representation and reasoning is proposed. The model is based on the modification of the Petri nets, called PNTT - Petri Nets with Time Tokens. The PNTT is the main building block of the KRPTT knowledge representation scheme. It integrates the theory of PNTT and Allen"s interval-based temporal logic. The model is suitable for representing activities in temporally rich domains, reasoning as well as planning. The process of reasoning in the scheme is called time dependent event driven reasoning. It includes the ability to reason about be time relationship among actions and/or states, but it also includes the ability to determine the subsequent activities or states based on initial or current activities or states and temporal information associated with each activity or state. An example of the use of the model in temporally rich domain is given.
temporal knowledge representation; Petri nets; fuzzy time interval; fuzzy time relations
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
131-135.
1996.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 8th Mediterranean Electrotechnical Conference : MELECON '96 : Industrial Applications in Power Systems, Computer Science and Telecommunications ; Vol. I
De Sario, Marco ; Maione, Bruno ; Pugliese, Pasquale ; Savino, M
Bari: Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
Mediterranean Electrotechnical Conference : Industrial Applications in Power Systems, Computer Science and Telecommunications (8 ; 1996)
predavanje
13.05.1996-16.05.1996
Bari, Italija