Izvorni znanstveni članak
MULTI-AGENT SYSTEMS: INCORPORATING KNOWLEDGE AND TIME
Mirko Maleković
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Sažetak
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.
Ključne riječi
knowledge bases; knowledge theory; multi-agent systems; temporal operators; reasoning about knowledge
Hrčak ID:
78881
URI
Datum izdavanja:
14.12.1998.
Posjeta: 828 *