Management of MAS by Means of Automated Reasoning in the Role Model
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10126279" target="_blank" >RIV/00216208:11320/12:10126279 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.3233/978-1-60750-818-2-309" target="_blank" >http://dx.doi.org/10.3233/978-1-60750-818-2-309</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/978-1-60750-818-2-309" target="_blank" >10.3233/978-1-60750-818-2-309</a>
Alternative languages
Result language
angličtina
Original language name
Management of MAS by Means of Automated Reasoning in the Role Model
Original language description
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 thedivision 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.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Software agents, agent systems and their applications
ISBN
978-1-60750-817-5
Number of pages of the result
14
Pages from-to
309-322
Number of pages of the book
347
Publisher name
IOS Press
Place of publication
Amsterdam
UT code for WoS chapter
—