engleski

Formal Modelling of Intelligent Agents used in Parallel Distributed Systems

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.

Intelligent Agent; Distributed System; Coloured Petri Nets; Formal Specification of Intelligent Agent System

Subseries of Research Notes in Computer Science: Annals of the University of Craiova