Modelling dynamic aspects of a Multi-Agent System using Transparent Intensional Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86080095" target="_blank" >RIV/61989100:27240/11:86080095 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Modelling dynamic aspects of a Multi-Agent System using Transparent Intensional Logic
Popis výsledku v původním jazyce
In this paper, we focus on the communication and reasoning of agents in Multi-Agent Systems. We propose a method of modelling dynamic behaviour of these systems using Transparent Intensional Logic. We also describe several issues where the formalizationaffects the implementation of both the system and the agents, and propose solutions to the problems that may arise. In order to make the paper easily readably, we illustrate our approach by a simple example.
Název v anglickém jazyce
Modelling dynamic aspects of a Multi-Agent System using Transparent Intensional Logic
Popis výsledku anglicky
In this paper, we focus on the communication and reasoning of agents in Multi-Agent Systems. We propose a method of modelling dynamic behaviour of these systems using Transparent Intensional Logic. We also describe several issues where the formalizationaffects the implementation of both the system and the agents, and propose solutions to the problems that may arise. In order to make the paper easily readably, we illustrate our approach by a simple example.

Projekt
<a href="/cs/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logické základy sémantiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

Podobné výsledky(10)