Izvorni znanstveni članak

THE PAST TEMPORAL OPERATORS IN MULTI-AGENT SYSTEMS

Mirko Maleković ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Mirko Čubrilo ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia

Sažetak

In this paper, we consider the past temporal operators in multi-agent systems. Three temporal operators po (previous), p♦ (once), and p♥ (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 system R, where R models the possible behaviors of the system being modeled. Some important properties of agents (expressed by the formulas : Ki => poK), Ki => p♦Kj, and Ki => p♥Kj) are characterized.

Ključne riječi

knowledge bases; knowledge operators; multi-agent systems; past temporal operators; reasoning about knowledge

Hrčak ID:

78747

URI

https://hrcak.srce.hr/78747

Datum izdavanja:

11.6.1999.

Posjeta: 679 *