Original scientific paper

REASONING ABOUT KNOWLEDGE: SOME AGENT PROPERTIES

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

Abstract

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.

Keywords

agent properties; Euclidean agent; reflexive agent; serial agent; symmetric agent; transitive agent; reasoning about knowledge

Hrčak ID:

78781

URI

https://hrcak.srce.hr/78781

Publication date:

12.6.1998.

Visits: 991 *