engleski

Development of formal infrastructure for perception of intelligent agents as problem solvers

There are few important reasons for introduction of intelligent mobile agents model in telecommunications. These are, but not limited to: transport platform development which provides us with a high level of flexibility during communication process and &raquo ; ; softwaresation&laquo ; ; of telecommunications. Introduction of mobile agents generates search for appropriate formal system to develop their efficient formal specification. Here, we present formal model for specification of mobile agents in telecommunication network management. Network management can be perceived as process of decomposite problem solving where each network problem is decomposed to smaller ones called primary problems. Primary problems are then objects of problem solvers. Two aspects of formal specification of network mangement system based on mobile agents are considered here: static and dynamic.

Multiagent systems; Formal specification; Problem space; Solver space; Object-oriented techniques

nije evidentirano