Intelligent decision making based on queries with presupposition in MAS

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F15%3A86095549" target="_blank" >RIV/61989100:27240/15:86095549 - isvavai.cz</a>

Result on the web

<a href="http://www.sgem.org/sgemlib/spip.php?article5607" target="_blank" >http://www.sgem.org/sgemlib/spip.php?article5607</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5593/SGEM2015/B21/S7.021" target="_blank" >10.5593/SGEM2015/B21/S7.021</a>

Result language

angličtina

Original language name

Intelligent decision making based on queries with presupposition in MAS

Original language description

The paper deals with the analysis of questions with presuppositions in multi-agent systems platform. Nowadays, we are surrounded by computerized system composed of multiple interacting intelligent agents within their environment, so called Multi-agent systems (MAS). MAS are based on the cooperation of their formal units (agents). In the case of MAS with communicative deliberative agents, the behavior is regulated by communication and reasoning of intelligent social agents. Agents communicate with their fellows via messaging and they deal with data that enrich not only their base of facts, but also the knowledge base and ontology on the basis of which agents make their decisions. Hence, it is very important to ensure its consistency. One of the cases which lead to the non-correct decisions is making wrong inferences based on the answers to the questions that come attached with a presupposition. Presupposition is generally characterized as the information that is presupposed or taken for granted. The truth of presupposition is a necessary condition for an interrogative act to be successful and presupposition is entailed by each possible answer to the question. Let's have for instance the following question: Did Agent_1 stop unloading cargo? This question is connected with the presupposition that Agent _1 did unload cargo. This presupposition is entailed from the both, the positive and the negative answer. The problem arises with the answer in the case that the presupposition of question is not fulfilled. The solution is provided in the paper. The problems corresponding to under/over inferring are illustrated via practical examples of the agents'communication. Our background theory is Transparent Intensional Logic (TIL) with its procedural (in opposition to denotational) semantics. From the formal point of view, TIL is a hyperintensional, partial typed lambda calculus. We work with partial functions, because there are propositions with value-gaps,

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>

Continuities

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

Publication year

2015

Confidentiality

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

Article name in the collection

SGEM 2015 : 15th international multidisciplinary scientific geoconference : conference proceedings : 18-24 June, 2015, Albena, Bulgaria. Volume I, Informatics

ISBN

978-619-7105-34-6

ISSN

1314-2704

e-ISSN

—

Number of pages

12

Pages from-to

155-166

Publisher name

STEF92 Technology Ltd.

Place of publication

Sofia

Event location

Albena

Event date

Jun 18, 2015

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000371599500021