Modelling dynamic aspects of a Multi-Agent System using Transparent Intensional Logic
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modelling dynamic aspects of a Multi-Agent System using Transparent Intensional Logic
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logical foundations of semantics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Information modelling and knowledge bases XXIII
ISBN
978-1-60750-991-2
ISSN
0922-6389
e-ISSN
—
Number of pages
10
Pages from-to
352-361
Publisher name
IOS Press
Place of publication
Amsterodam
Event location
Tallin
Event date
Jun 4, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—