engleski

The Past Temporal Operators in Multi-Agent Systems

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.

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

nije evidentirano