Original scientific paper

MULTI-AGENT SYSTEMS: INCORPORATING KNOWLEDGE AND TIME

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

Abstract

We consider incorporating knowledge and time in multi-agent systems. Five temporal operators o, ♥, ♦, U, W are decribed. The following facts are proved: (a) for all formulas F in LK (propositional logic + knowledge operator K) if states s and s1 are equal, then F holds in s iff F holds in s1, (b) the same result does not hold in LKT (LK + the temporal operators). Finally, we characterize two propositions that state when the formulas Ki(F) => ♦Kj(F) and Ki(F) => ♥Kj(F) hold.

Keywords

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

Hrčak ID:

78881

URI

https://hrcak.srce.hr/78881

Publication date:

14.12.1998.

Visits: 795 *