Toward Dynamic Generation of Computational Agents by Means of Logical Descriptions

0309098 - ÚI 2009 RIV GB eng J - Článek v odborném periodiku
Neruda, Roman - Beuster, G.
Toward Dynamic Generation of Computational Agents by Means of Logical Descriptions.
[Dynamické generování výpočetních agentů pomocí logických popisů.]
International Transactions on Systems Science and Applications. Roč. 4, č. 2 (2008), s. 139-144. ISSN 1751-1461
Grant CEP: GA AV ČR 1ET100300419
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multi-agent systems * formal description * computational intelligence
Kód oboru RIV: IN - Informatika

A formalism for the logical description of computational agents and multi-agent systems is given. It is explained how it such a formal description can be used to configure and reason about multi-agent systems realizing computational intelligence models. A usage within a real software system Bang 3 is demonstrated. A way to extend the system toward dynamic environments with migrating agents is discussed.

Předkládáme formalismus logických popisů výpočetních agentů a multiagentních systémů. Vysvětlujeme, jak lze tento formalismus použít pro konfiguraci a zdůvodňování v rámci systémů realizujících modely výpočetní inteligence. Ukazujeme využití v rámci reálného softwarového systému a možnost rozšíření systému do dynamických prostředí s migrujícími agenty.
Trvalý link: http://hdl.handle.net/11104/0161332