Software Agents, Agent Systems and Their Applications

0377648 - ÚI 2013 RIV NL eng M - Část monografie knihy
Kazík, O. - Neruda, Roman
Management of MAS by Means of Automated Reasoning in the Role Model. Chapter 13.
Software Agents, Agent Systems and Their Applications. Amsterdam: IOS Press, 2012 - (Essaaidi, M.; Ganzha, M.; Paprzycki, M.), s. 309-322. NATO Science for Peace and Security Series - D: Information and Communication Security, 32. ISBN 978-1-60750-817-5
Grant CEP: GA MŠMT OC10047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multi-agent systems * description logic * role model * matchmaking * integrity constraints * automated reasoning * computational intelligence
Kód oboru RIV: IN - Informatika

The concept of role allows introducing organizational aspects in the development of multi-agent systems. In this chapter we elaborate the role-based model of computational multi-agent system and formalize this model in description logic. We show that the division of the ontology into axioms interpreted under the open- and closed-world assumption is necessary to express correctness conditions of the system. The ontology agent is proposed and implemented. This agent provides management services, e.g. run-time validation of the system or matchmaking of present groups and agents. An example of the simple computational multi-agent system is shown.
Trvalý link: http://hdl.handle.net/11104/0209750