This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n12http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n22http://purl.org/net/nknouf/ns/bibtex#
n21http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n9http://linked.opendata.cz/ontology/domain/vavai/
n11https://schema.org/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F13%3A86086156%21RIV14-MSM-27240___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n19http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F13%3A86086156%21RIV14-MSM-27240___
rdf:type
skos:Concept n9:Vysledek
dcterms: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.
dcterms:title
Communication in a multi-agent system; questions and answers Communication in a multi-agent system; questions and answers
skos:prefLabel
Communication in a multi-agent system; questions and answers Communication in a multi-agent system; questions and answers
skos:notation
RIV/61989100:27240/13:86086156!RIV14-MSM-27240___
n9:predkladatel
n18:orjk%3A27240
n3:aktivita
n16:S n16:O
n3:aktivity
O, S
n3:dodaniDat
n6:2014
n3:domaciTvurceVysledku
n15:3439151 n15:9530614 n15:1485806
n3:druhVysledku
n13:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
66035
n3:idVysledku
RIV/61989100:27240/13:86086156
n3:jazykVysledku
n14:eng
n3:klicovaSlova
questions, answers, agents, communication, TIL
n3:klicoveSlovo
n8:answers n8:TIL n8:communication n8:agents n8:questions
n3:kontrolniKodProRIV
[7B7F42516179]
n3:mistoKonaniAkce
Albena
n3:mistoVydani
Sofia
n3: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
n3:obor
n4:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n6:2013
n3:tvurceVysledku
Číhalová, Martina Duží, Marie Menšík, Marek
n3:typAkce
n12:WRD
n3:zahajeniAkce
2013-06-16+02:00
s:issn
1314-2704
s:numberOfPages
12
n19:doi
10.5593/SGEM2013/BB2.V1/S07.002
n22:hasPublisher
STEF92 Technology Ltd.
n11:isbn
978-954-91818-9-0
n21:organizacniJednotka
27240