Communication in a multi-agent system based on Transparent Intensional Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86079565" target="_blank" >RIV/61989100:27240/11:86079565 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Communication in a multi-agent system based on Transparent Intensional Logic

Popis výsledku v původním jazyce

We introduce Transparent Intensional Logic (TIL) as a framework apt for the specification of ontologies, knowledge representation and communication by messaging in a multi-agent system. Since the intelligent agents should be able to learn by experience and deduce derived knowledge from their explicit knowledge in order to react adequately even in unexpected situations, we need a highly expressive logical framework to meet these goals. We show that TIL is such an expressive logic that makes it possible to make all the semantically salient features of a language explicit and logically tractable. Due to the ramified hierarchy of types we distinguish in TIL between a mode of the presentation of a function and the function itself, and between a function andits value. Thus the agents can reason about concepts themselves, learn new compound concepts via refinement of less complex concepts and exhibit an adequate dynamic behaviour.

Název v anglickém jazyce

Communication in a multi-agent system based on Transparent Intensional Logic

Popis výsledku anglicky

We introduce Transparent Intensional Logic (TIL) as a framework apt for the specification of ontologies, knowledge representation and communication by messaging in a multi-agent system. Since the intelligent agents should be able to learn by experience and deduce derived knowledge from their explicit knowledge in order to react adequately even in unexpected situations, we need a highly expressive logical framework to meet these goals. We show that TIL is such an expressive logic that makes it possible to make all the semantically salient features of a language explicit and logically tractable. Due to the ramified hierarchy of types we distinguish in TIL between a mode of the presentation of a function and the function itself, and between a function andits value. Thus the agents can reason about concepts themselves, learn new compound concepts via refinement of less complex concepts and exhibit an adequate dynamic behaviour.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

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 statě ve sborníku

Mendel 2011 : 17th International Conference on Soft Computing : evolutionary computation, genetic programming, fuzzy logic, rough sets, neural networks fractals, Bayesian methods : June 15-17, Brno, Czech Republic

ISBN

978-80-214-4302-0

ISSN

1803-3814

e-ISSN

—

Počet stran výsledku

9

Strana od-do

477-485

Název nakladatele

Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav automatizace a informatiky

Místo vydání

Brno

Místo konání akce

Brno

Datum konání akce

15. 6. 2011

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000302647900073