M. Duzi, M. Cíhalova, M. Mensík
Monday 5 August 2013 by Libadmin2013

References: 13th SGEM GeoConference on Informatics, Geoinformatics And Remote Sensing, www.sgem.org, SGEM2013 Conference Proceedings, ISBN 978-954-91818-9-0 / ISSN 1314-2704, June 16-22, 2013, Vol. 1, 11 - 22 pp


The paper deals with communication of agents in a multi-agent system, in particular with the analysis of questions and answers. Agents communicate with their fellow agents by messaging. In this way they are able to learn new concepts, enrich their ontology and knowledge base, and based on their knowledge make proper decisions. Our language of messages complies with the FIPA ACL norm. Messages are equipped with the so-called performatives that determine the type of a message, for instance, Inform, Order, Query. The main novel contribution of the paper is a fine-grained analysis of the content of query messages and of presuppositions that many queries come with. We show that a presupposition of a query is indicated by a complete possible answer to the query. If the presupposition is not true, then no complete answer can be given. In such a case the receiving agent informs the sender by a message containing negated presupposition that makes it possible to adjust the query. Our background theory is Transparent Intensional Logic (TIL) with its procedural (as opposed 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, namely those propositions the presupposition of which is not true. Within TIL we define a general analytic schema for sentences that are associated with a presupposition. To this end we make use of the strict definition of the If-then-else function, which is another contribution of this paper.

Keywords: questions, answers, agents, communication, TIL

Home | Contact | Site Map | Site statistics | Visitors : 272 / 353063

Follow site activity en  Follow site activity INFORMATICS  Follow site activity Papers SGEM2013   ?

CrossRef Member    Indexed in ISI Web Of Knowledge   Indexed in ISI Web Of Knowledge

© Copyright 2001 International Multidisciplinary Scientific GeoConference & EXPO SGEM. All Rights Reserved.

Creative Commons License