Log In Sign Up

A calculus for epistemic interactions

by   Huili Xing, et al.

It plays a central role in intelligent agent systems to model agent's epistemic state and its change. To this end, some formal systems have been presented. Among them, epistemic logics focus on logic laws of different epistemic attributes (e.g., knowledge, belief, common knowledge, etc) and epistemic actions (e.g., public announcement, private announcement, asynchronous announcement, etc). All these systems do not involve the interactive behaviours between an agent and its environment. Through enriching the well-known π-calculus, this paper presents the e-calculus, which provides a concept framework to model epistemic interactions between agents with epistemic states. Unlike usual process calculus, all systems in the e-calculus are always arranged to run at an epistemic state. To formalize epistemic states abstractly, a group of postulates on them are presented. Moreover, based on these postulates, the behaviour theory of the e-calculus is developed in two different viewpoints.


page 1

page 2

page 3

page 4


Common Knowledge of Abstract Groups

Epistemic logics typically talk about knowledge of individual agents or ...

A Defeasible Calculus for Zetetic Agents

The study of defeasible reasoning unites epistemologists with those work...

Robust Modeling of Epistemic Mental States

This work identifies and advances some research challenges in the analys...

Normative Epistemology for Lethal Autonomous Weapons Systems

The rise of human-information systems, cybernetic systems, and increasin...

Boredom-driven curious learning by Homeo-Heterostatic Value Gradients

This paper presents the Homeo-Heterostatic Value Gradients (HHVG) algori...

Forgetting Formulas and Signature Elements in Epistemic States

Delgrande's knowledge level account of forgetting provides a general app...

An Introduction to Logics of Knowledge and Belief

This chapter provides an introduction to some basic concepts of epistemi...