Intelligent decision making based on queries with presupposition in MAS

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Intelligent decision making based on queries with presupposition in MAS

Popis výsledku v původním jazyce

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,

Název v anglickém jazyce

Intelligent decision making based on queries with presupposition in MAS

Popis výsledku anglicky

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,

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensionální logika pro analýzu přirozeného jazyka</a><br>

Návaznosti

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

Rok uplatnění

2015

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ů

Název statě ve sborníku

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

—

Počet stran výsledku

12

Strana od-do

155-166

Název nakladatele

STEF92 Technology Ltd.

Místo vydání

Sofia

Místo konání akce

Albena

Datum konání akce

18. 6. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000371599500021