978-3-031-30044-8.pdf (10.54 MB)
Interpreting knowledge-based programs
conference contribution
posted on 2023-06-07, 08:01 authored by Bernhard ReusBernhard Reus, Alexander Knapp, Heribert MühlbergerKnowledge-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
Full text available
- Yes
Peer reviewed?
- Yes