Reus, Bernhard, Knapp, Alexander and Mühlberger, Heribert (2023) Interpreting knowledge-based programs. ESOP 32nd European Symposium on Programming, Paris, France, 22-27 April 2023. Published in: ESOP 2023 : 32st European Symposium on Programming. 13990 Springer ISBN 9783031300431 (Accepted)

PDF - Published Version Available under License Creative Commons Attribution. Download (11MB)

Abstract

Knowledge-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.

Item Type:	Conference Proceedings
Schools and Departments:	School of Engineering and Informatics > Informatics
Research Centres and Groups:	Foundations of Software Systems
SWORD Depositor:	Mx Elements Account
Depositing User:	Mx Elements Account
Date Deposited:	26 Jan 2023 10:00
Last Modified:	03 May 2023 13:26
URI:	http://sro.sussex.ac.uk/id/eprint/110337

View download statistics for this item

📧 Request an update