An extension of process calculus for asynchronous communications between agents with epistemic states
It plays a central role in intelligent agent systems to model agents’ epistemic states and their changes. Asynchrony plays a key role in distributed systems, in which the messages transmitted may not be received instantly by the agents. Epistemic interaction behaviors can change agents’ epistemic states, while the latter will affect the former. So far, the literature mainly focuses on formalizing the change of epistemic state after receiving information.
To model epistemic interactions between ...












