Reasoning About Knowledge: Some Agent Properties
Mirko Maleković · University of Zagreb University Computing Centre (SRCE) · 1998
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 ser iaI agent does not know F if F is a contradiction.Also, the concept of the more knowledgeable agent is introduced.