Authors: Ilić Stepić, Angelina 
Ognjanović, Zoran 
Perović, Aleksandar
Affiliations: Mathematics 
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

Page view(s)

10
checked on Sep 26, 2021

Google ScholarTM

Check


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