Agents' resoning using TIL-Script and Prolog
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Agents' resoning using TIL-Script and Prolog
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2010
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
Frontiers in Artificial Intelligence and Applications. Volume 206
ISBN
978-1-60750-089-6
ISSN
0922-6389
e-ISSN
—
Number of pages
20
Pages from-to
135-154
Publisher name
IOS Press
Place of publication
Amsterodam
Event location
Maribor
Event date
Jun 1, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—