Reasoning About Knowledge: Some Agent Properties (CROSBI ID 81308)
Prilog u časopisu | izvorni znanstveni rad
Podaci o odgovornosti
Maleković, Mirko
engleski
Reasoning About Knowledge: Some Agent Properties
In this paper we characterize some agent properties relating to reasoning about knowledge. The following facts are proved: if a reflexive agent knows 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
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
22 (1)
1998.
1-11-x
objavljeno
0351-1804