Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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. (en)
|
Title
| - Communication in a multi-agent system; questions and answers
- Communication in a multi-agent system; questions and answers (en)
|
skos:prefLabel
| - Communication in a multi-agent system; questions and answers
- Communication in a multi-agent system; questions and answers (en)
|
skos:notation
| - RIV/61989100:27240/13:86086156!RIV14-MSM-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/13:86086156
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - questions, answers, agents, communication, TIL (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - SGEM 2013 : 13th international multidisciplinary scientific geoconference : GeoConference on Informatics, Geoinformatics and Remote Sensing : 16-22, June, 2013, Albena, Bulgaria : conference proceedings. [Book 2]. Volume I
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Menšík, Marek
- Číhalová, Martina
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.5593/SGEM2013/BB2.V1/S07.002
|
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |