0309098 - ÚI 2009 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR 1ET100300419
Institutional research plan: CEZ:AV0Z10300504
Keywords : multi-agent systems * formal description * computational intelligence
Subject RIV: IN - Informatics, Computer Science

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.
Permanent Link: http://hdl.handle.net/11104/0161332