Agents' resoning using TIL-Script and Prolog
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F10%3A86076682" target="_blank" >RIV/61989100:27240/10:86076682 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.3233/978-1-60750-477-1-135" target="_blank" >http://dx.doi.org/10.3233/978-1-60750-477-1-135</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/978-1-60750-477-1-135" target="_blank" >10.3233/978-1-60750-477-1-135</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Agents' resoning using TIL-Script and Prolog
Popis výsledku v původním jazyce
The paper introduces a method of transition from Transparent Intensional Logic (TIL) into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL system, which serves as a content language of agents? messaging. However, since a great expressive power is inversely proportional to an easy implementation of a suitable automatic deductive system, we specify a subsetof the set of TIL constructions the elements of which can be encoded in Prolog language. Moreover, due to the weaker expressivity of Prolog we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prologinto TIL in a near to equivalent way.
Název v anglickém jazyce
Agents' resoning using TIL-Script and Prolog
Popis výsledku anglicky
The paper introduces a method of transition from Transparent Intensional Logic (TIL) into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL system, which serves as a content language of agents? messaging. However, since a great expressive power is inversely proportional to an easy implementation of a suitable automatic deductive system, we specify a subsetof the set of TIL constructions the elements of which can be encoded in Prolog language. Moreover, due to the weaker expressivity of Prolog we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prologinto TIL in a near to equivalent way.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2010
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Frontiers in Artificial Intelligence and Applications. Volume 206
ISBN
978-1-60750-089-6
ISSN
0922-6389
e-ISSN
—
Počet stran výsledku
20
Strana od-do
135-154
Název nakladatele
IOS Press
Místo vydání
Amsterodam
Místo konání akce
Maribor
Datum konání akce
1. 6. 2009
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—