文章基本信息

标题：REASONING ABOUT KNOWLEDGE: SOME AGENT PROPERTIES
本地全文：下载
作者：Maleković, Mirko
期刊名称：Journal of Information and Organizational Sciences
印刷版ISSN：1846-3312
电子版ISSN：1846-9418
出版年度：1998
卷号：22
期号：1
页码：1-11
出版社：Faculty of Organization and Informatics University of Zagreb
摘要：In this paper we characterize some agent properties relating to reasoning about knowledge. The following facts are proved: if a reflexive agent has F, then F holds; if a transitive agent knows F, then he knows that he knows F (the positive introspection property); if an Euclidean agent does not know F, then he knows that he does not know F (the negative introspection property); a serial agent does not know F if F is a contradiction. Also, the concept of the more knowledgeable agent is introduced.
关键词：agent properties; Euclidean agent; reflexive agent; serial agent; symmetric agent; transitive agent; reasoning about knowledge