Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Reasoning About Knowledge: Some Agent Properties (CROSBI ID 81308)

Prilog u časopisu | izvorni znanstveni rad

Maleković, Mirko Reasoning About Knowledge: Some Agent Properties // Zbornik radova (Fakultet organizacije i informatike Varaždin), 22 (1998), 1; 1-11-x

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

Povezanost rada

Informacijske i komunikacijske znanosti