Naslov
Temporal Knowledge Representation and Reasoning Based on Petri Nets with Time Tokens

Autori
Ribarić, Slobodan ; Dalbelo Bašić, Bojana

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
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), 1996, 131-135

Skup
Mediterranean Electrotechnical Conference : Industrial Applications in Power Systems, Computer Science and Telecommunications (8 ; 1996)

Mjesto i datum
Bari, Italija, 13.05.1996. - 16.05.1996

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
temporal knowledge representation; Petri nets; fuzzy time interval; fuzzy time relations

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA