DC FieldValueLanguage
dc.contributor.authorIlić Stepić, Angelinaen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorPerović, Aleksandaren_US
dc.date.accessioned2021-09-22T09:29:54Z-
dc.date.available2021-09-22T09:29:54Z-
dc.date.issued2021-09-
dc.description.abstractIn this paper we present a probabilistic temporal epistemic logic PTEL suitable to reason about uncertain knowledge of a non-rigid set of agents that can be changed during time. We define semantics for PTEL as Kripke models with epistemic accessibility relations for agents’ knowledge, a number of runs consisting of sequences of linearly ordered possible worlds indexed by non-negative integers, and probability functions defined on sets of runs. Also we provide a new formal framework in order to prove a number of properties of the blockchain protocol concerning its uncertain behavior. The corresponding completeness theorem and decidability of the considered logic are proven.en_US
dc.publisherUniversity Center Dubrovnik, Croatiaen_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.subjectmulti-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verificationen_US
dc.titleA Probabilistic Temporal Epistemic Logicen_US
dc.typeConference Paperen_US
dc.relation.conference10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatiaen_US
dc.relation.publicationBook of Abstracts of the 10th International Conference Logic and Applications, LAP 2021en_US
dc.identifier.urlhttp://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf-
dc.contributor.affiliationMathematicsen_US
dc.relation.firstpage33-
dc.description.rankM34-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/description.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php-
Show simple item record

Page view(s)

15
checked on Dec 3, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.