Pregled bibliografske jedinice broj: 16488
Reasoning About Knowledge: Some Agent Properties
Reasoning About Knowledge: Some Agent Properties // Zbornik radova : journal of information and organizational sciences, 22 (1998), 1; 1-11 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 16488 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Reasoning About Knowledge: Some Agent Properties
Autori
Maleković, Mirko
Izvornik
Zbornik radova : journal of information and organizational sciences (0351-1804) 22
(1998), 1;
1-11
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
agent properties; Euclidean agent; reflexive agent; serial agent; symmetric agent; transitive agent; reasoning about knowledge
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016002
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Mirko Maleković
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Zentralblatt fur Matematik/Mathematics Abstracts and Linguistics Abstracts
- Referativnyj žurnal: Informatika
- Inspec
