Pregled bibliografske jedinice broj: 60341
MULTI-AGENT SYSTEMS: Some Relationships Among the Past Temporal Operator Has-Always-Been, the Future Temporal Operators, and Knowldge Operators
MULTI-AGENT SYSTEMS: Some Relationships Among the Past Temporal Operator Has-Always-Been, the Future Temporal Operators, and Knowldge Operators // Proceedings of 2000 IEEE International Conference on Intelligent Engineering Systems / Leon Žlajpah ; Imre J. Rudas (ur.).
Ljubljana: Institute "Jožef Stefan", 2000. str. 373-376 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 60341 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
MULTI-AGENT SYSTEMS: Some Relationships Among the Past Temporal Operator Has-Always-Been, the Future Temporal Operators, and Knowldge Operators
Autori
Maleković, Mirko ; Čubrilo, Mirko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of 2000 IEEE International Conference on Intelligent Engineering Systems
/ Leon Žlajpah ; Imre J. Rudas - Ljubljana : Institute "Jožef Stefan", 2000, 373-376
Skup
000 IEEE International Conference on Intelligent Engineering Systems
Mjesto i datum
Portorož, Slovenija, 17.09.2000. - 19.09.2000
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Sažetak
We characterize some relationships among the past temporal operator (the has-always-been operator) future temporal operators (the next operator, the eventually operator, the always operator, the until operaotr), and knowledge operators (Ki, Kj) in multi-agent systems. The relationships describe agent properties in multi-agent systems (the properties relate the knowledge of two agents): if agent i has always known F, then agent j will know F in the next step; if agent i has always known F, then j will eventually know F; if agent i has always known F, then agent j will allways know F; and if agent i has always known F, then agent i knows F until agent j knows F.
Izvorni jezik
Engleski
Znanstvena područja
Informacijske i komunikacijske znanosti
