We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Interpreting Knowledge-based Programs (Extended Version with Proofs)

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.
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
ACM classes: D.2.4; F.3.1
Cite as: arXiv:2301.10807 [cs.PL]
  (or arXiv:2301.10807v1 [cs.PL] for this version)

Submission history

From: Bernhard Reus [view email]
[v1] Wed, 25 Jan 2023 19:51:38 GMT (60kb)

Link back to: arXiv, form interface, contact.