TIL as the Logic of Communication in a Multi-Agent System

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F08%3A00018816" target="_blank" >RIV/61989100:27240/08:00018816 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

TIL as the Logic of Communication in a Multi-Agent System

Original language description

The method of encoding communication of agents in a multi-agent system (MAS) is described. The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the semantic content of messages. The hyper-intensional features of TIL analysis are described, in particular with respect to agents? attitudes and anaphoric references. We demonstrate the power of TIL to determine the antecedent of an anaphoric pronoun. By an example of a simple dialogue we illustrate the way TIL can function as a dynamic logic of discourse where anaphoric pronouns refer to entities of any type, even constructions, i.e. the structured meanings of other expressions.

Czech name

TIL jako logika pro komunikaci v multiagentovém systému

Czech description

V článku je popsána metoda komunikace agentů v multiagentním systému (MAS). Autonomní agenti spolu komunikují pomocí zpráv formulovaných v jazyce blízkém přirozenému. Transparentní Intensionální Logika (TIL) je vysoce expresivní systém, který byl primárně navržen pro logickou sémantiku přirozeného jazyka. Proto využíváme TIL jako nástroj pro kódování sémantického obsahu zpráv. Jsou posány hyperintensionální rysy TIL, a to zejména s ohledem na analýzu postojů agentů, a anaforických odkazů. Síla TIL je demonstrována na způsobu, jak pomáhá určit příslušný antecedent anaforického odkazu. Pomocí příkladu jednoduchého dialogu ukazujeme, jakým způsobem funguje TIL jako dynamická logika diskursu, kde anaforická zájmena odkazují k entitám libovolné typu, včetněkonstrukcí, což jsou strukturované významy výrazů.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F07%2F0451" target="_blank" >GA401/07/0451: Semantisation of Pragmatics</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Research in Computing Science

ISSN

1870-4069

e-ISSN

—

Volume of the periodical

33

Issue of the periodical within the volume

1

Country of publishing house

MX - MEXICO

Number of pages

14

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—