978-3-031-30044-8.pdf (10.54 MB)
Interpreting knowledge-based programs
Version 3 2024-01-12, 15:09
Version 2 2024-01-12, 14:44
Version 1 2023-06-07, 08:01
conference contribution
posted on 2024-01-12, 15:09 authored by Alexander Knapp, Heribert Mühlberger, Bernhard ReusBernhard ReusKnowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environment. Their interpretation involves a non-monotone mutual dependency between the evaluation of epistemic guards over the reachable states and the derivation of the reachable states depending on the evaluation of epistemic guards. We apply the technique of a must/cannot analysis invented for synchronous programming languages to the interpretation problem of knowledge-based programs and demonstrate that the resulting constructive interpretation is monotone and has a least fixed point. We relate our approach with existing interpretation schemes for both synchronous and asynchronous programs. Finally, we describe an implementation of the constructive interpretation and illustrate the procedure by several examples and an application to the Java memory model.
History
Publication status
- Published
File Version
- Published version
Journal
ESOP 2023 : 32st European Symposium on ProgrammingPublisher
SpringerExternal DOI
Volume
13990Event name
ESOP 32nd European Symposium on ProgrammingEvent location
Paris, FranceEvent type
conferenceEvent date
22-27 April 2023ISBN
9783031300431Department affiliated with
- Informatics Publications
Research groups affiliated with
- Foundations of Software Systems Publications
Institution
University of SussexFull text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2023-01-26First Open Access (FOA) Date
2023-05-03First Compliant Deposit (FCD) Date
2023-01-26Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC