<div class="csl-bib-body">
<div class="csl-entry">Schlögl, T. (2026, June 15). <i>Tool-Supported Action Model Synthesis for Truly Private Model Updates</i> [Presentation]. CELT 2026 : Epistemic logic and topological perspectives on distributed computing, Paris, France. http://hdl.handle.net/20.500.12708/231263</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/231263
-
dc.description.abstract
Epistemic logic has been successfully applied to modeling of epistemic
and doxastic attitudes of agents in distributed systems.
Dynamic Epistemic Logic (DEL) adds communication via model
transformation updates. Since agents in distributed systems often
exchange information without other agents knowing about it, however,
the inherent assumption that agents possess common knowledge of the model is
generally not adequate when describing fully private communication.
In this talk, I will present the following results of my forthcoming
PhD thesis, which addresses this deficiency:
1) A slight variation of standard action models enriched by a
new idea of postcondition.
2) A novel synthesis procedure that, based on a goal formula,
generates a pointed action model s.t. when this action model is applied to
a pointed epistemic model, the goal formula holds at the point of the epistemic model
(given some assumptions), without introducing new unrelated beliefs
and preserving consistency of agents' beliefs as much as possible.
The many technical statements and proofs I encountered in the course of my
PhD work suggested to use an epistemic model checker for verifying their correctness.
As none of the (few) existing tools provided the features I needed, I decided some years
ago to develop my own high-performance epistemic model checking and visualization tool.
Whereas it is still work in progress, it already supports the model synthesis approach
described above.
I will hence complement the first part of my talk with a live demo of my model checking
and visualization tool.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
Epistemic logic
en
dc.subject
Action Model Synthesis
en
dc.subject
Belief Revision
en
dc.subject
Distributed Systems
en
dc.subject
Model Checking
en
dc.title
Tool-Supported Action Model Synthesis for Truly Private Model Updates
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
P 33600-N
-
dc.type.category
Presentation
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
70
-
tuw.researchTopic.value
30
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.author.orcid
0000-0003-0037-0426
-
tuw.event.name
CELT 2026 : Epistemic logic and topological perspectives on distributed computing
en
tuw.event.startdate
15-06-2026
-
tuw.event.enddate
17-06-2026
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Paris
-
tuw.event.country
FR
-
tuw.event.presenter
Schlögl, Thomas
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
70
-
wb.sciencebranch.value
30
-
item.openairetype
conference presentation
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
