文章基本信息

标题：MULTI-AGENT SYSTEMS: INCORPORATING KNOWLEDGE AND TIME
本地全文：下载
作者：Maleković, Mirko
期刊名称：Journal of Information and Organizational Sciences
印刷版ISSN：1846-3312
电子版ISSN：1846-9418
出版年度：1998
卷号：22
期号：2
页码：97-105
出版社：Faculty of Organization and Informatics University of Zagreb
摘要：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.
关键词：knowledge bases; knowledge theory; multi-agent systems; temporal operators; reasoning about knowledge