文章基本信息

标题：THE PAST TEMPORAL OPERATORS IN MULTI-AGENT SYSTEMS
本地全文：下载
作者：Maleković, Mirko ; Čubrilo, Mirko
期刊名称：Journal of Information and Organizational Sciences
印刷版ISSN：1846-3312
电子版ISSN：1846-9418
出版年度：1999
卷号：23
期号：1
页码：15-21
出版社：Faculty of Organization and Informatics University of Zagreb
摘要：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.
关键词：knowledge bases; knowledge operators; multi-agent systems; past temporal operators; reasoning about knowledge