Management of MAS by Means of Automated Reasoning in the Role Model. Chapter 13

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F12%3A00377648" target="_blank" >RIV/67985807:_____/12:00377648 - isvavai.cz</a>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Management of MAS by Means of Automated Reasoning in the Role Model. Chapter 13

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Management of MAS by Means of Automated Reasoning in the Role Model. Chapter 13

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/OC10047" target="_blank" >OC10047: Analýza inteligentních distribuovaných výpočetních systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Software Agents, Agent Systems and Their Applications

ISBN

978-1-60750-817-5

Počet stran výsledku

14

Strana od-do

309-322

Počet stran knihy

347

Název nakladatele

IOS Press

Místo vydání

Amsterdam

Kód UT WoS kapitoly

—