|Authors:||Ilić Stepić, Angelina
Mathematical Institute of the Serbian Academy of Sciences and Arts
|Title:||A Probabilistic Temporal Epistemic Logic||First page:||33||Related Publication(s):||Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021||Conference:||10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia||Issue Date:||Sep-2021||Rank:||M34||URL:||http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf||Abstract:||
In 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.
|Keywords:||multi-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verification||Publisher:||University Center Dubrovnik, Croatia||Project:||Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC|
Show full item record
checked on Apr 8, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.