Skip to the main content

Journal of Information and Organizational Sciences, Vol. 23 No. 1, 1999.

Original scientific paper

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

Full text: english pdf 3.744 Kb

page 15-21

downloads: 338

cite

Abstract

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.

Keywords

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

Hrčak ID:

78747

URI

https://hrcak.srce.hr/78747

Publication date:

11.6.1999.

Visits: 691 *