Naslov
The Past Temporal Operators in Multi-Agent Systems

Autori
Maleković, Mirko ; Čubrilo, Mirko

Izvornik
"Zbornik Radova", Journal of Information and Organizational Science (0351-1804) 23 (1999), 1; 15-21

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
knowledge bases; knowledge operators; multi-agent systems; past temporal operators; reasoning about knowledge

Sažetak
In this paper, we consider the past temporal operators in multi-agent systems. Three temporal operators previous, once, and has-always-been are defined. These past temporal operators can be used for reasoning about events that happen along a single run r (in the past) in the systems R, where R models the possible behaviours of the system being modeled. Some important properties of agents (expressed by the formulas: Ki => previous Kj, Ki => once Kj, and Ki => has-always-been Kj) are caracterized.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA