Number of the records: 1
Software Agents, Agent Systems and Their Applications
- 1.0377648 - ÚI 2013 RIV NL eng M - Monography Chapter
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
R&D Projects: GA MŠMT OC10047
Institutional research plan: CEZ:AV0Z10300504
Keywords : multi-agent systems * description logic * role model * matchmaking * integrity constraints * automated reasoning * computational intelligence
Subject RIV: IN - Informatics, Computer Science
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.
Permanent Link: http://hdl.handle.net/11104/0209750
Number of the records: 1