Pregled bibliografske jedinice broj: 240598
Formal Modelling of Intelligent Agents used in Parallel Distributed Systems
Formal Modelling of Intelligent Agents used in Parallel Distributed Systems // Proceedings of the 5th International Conference on Artificial Intelligence and Digital Communications, Research Notes in Artificial Intelligence and Data Communications / Tandareanu, N. (ur.).
Craiova: Reprograph, 2005. str. 77-83 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 240598 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formal Modelling of Intelligent Agents used in Parallel Distributed Systems
Autori
Bagić, Marina ; Kunštić, Marijan
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 5th International Conference on Artificial Intelligence and Digital Communications, Research Notes in Artificial Intelligence and Data Communications
/ Tandareanu, N. - Craiova : Reprograph, 2005, 77-83
ISBN
973-671-055-6
Skup
5th International Conference on Artificial Intelligence and Digital Communications, Research Notes in Artificial Intelligence and Data Communications
Mjesto i datum
Craiova, Rumunjska, 01.09.2005. - 03.09.2005
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Intelligent Agent; Distributed System; Coloured Petri Nets; Formal Specification of Intelligent Agent System
Sažetak
Intelligent agent systems need well-defined formal mechanism for their efficient specification. It is desirable to use such a formal mechanism close to human perception of the knowledge and its environment, and it is rather graphical representation of knowledge than machine processing one. Therefore, we chose for such purposes a set of picturesque places and transitions as they are inherent to Petri nets. On the other hand, Coloured Petri nets are also close to machine information processing due to their ability to retrieve a set of model's features about the particular net. Therefore, we use Coloured Petri Nets, as being close to human perception of knowledge modelling, and also being a powerful tool in providing us with important system's features analysis. Formal model-based approach such as Coloured Petri Nets approach is of huge importance since it can verify correctness of a protocol or a system, detect absence of deadlocks, discover bugs and errors, remove bottlenecks, and also simulate the system, measure the performance, check that the system design has certain expected properties, find insecure states or check if they are reachable, etc.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
Napomena
Subseries of Research Notes in Computer Science: Annals of the University of Craiova
