Related papers: A calculus for epistemic interactions

A calculus for epistemic interactions

URL: http://arxiv.org/abs/2206.14506v1
Date: Wed, 29 Jun 2022 09:54:58 GMT
Title: A calculus for epistemic interactions
Authors: Huili Xing, Zhaohui Zhu, Jinjin Zhang
Abstract summary: E-calculus is a concept framework to model agent's interactions with its environment. This paper presents the e-calculus, which provides a concept framework to model agent's interactions with its environment. The behaviour theory of the e-calculus is developed in two different viewpoints.
Score: 0.5156484100374059
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: 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 $\pi$-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.

Related papers

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs) [45.085830389820956]
A knowledge-based ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge about themselves and their peers. We study two types of mathematical semantics for epistemic ensembles based on a common syntactic operational ensemble semantics.
arXiv Detail & Related papers (2024-08-02T08:52:05Z)
A process algebraic framework for multi-agent dynamic epistemic systems [55.2480439325792]
We propose a unifying framework for modeling and analyzing multi-agent, knowledge-based, dynamic systems. On the modeling side, we propose a process algebraic, agent-oriented specification language that makes such a framework easy to use for practical purposes.
arXiv Detail & Related papers (2024-07-24T08:35:50Z)
Abstract Dialectical Frameworks are Boolean Networks (full version) [7.324459578044214]
We study the relation between these two formalisms revealing their communalities as well as their differences, and introduce a correspondence that allows to establish novel results for the individual formalisms.
arXiv Detail & Related papers (2024-07-02T08:37:05Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability. Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity. We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z)
Logic meets Wigner's Friend (and their Friends) [49.1574468325115]
We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions. We discuss various solutions proposed in the literature, focusing on a few questions.
arXiv Detail & Related papers (2023-07-04T13:31:56Z)
Model Transformations for Ranking Functions and Total Preorders [3.42658286826597]
We introduce the concept of model transformations to convert an epistemic state from one point of view to another point of view. We show how the well-known advantages of syntax splitting, originally developed for belief sets, can be exploited for belief revision via model transformation.
arXiv Detail & Related papers (2022-03-26T07:58:33Z)
Observing Interventions: A logic for thinking about experiments [62.997667081978825]
This paper makes a first step towards a logic of learning from experiments. Crucial for our approach is the idea that the notion of an intervention can be used as a formal expression of a (real or hypothetical) experiment. For all the proposed logical systems, we provide a sound and complete axiomatization.
arXiv Detail & Related papers (2021-11-25T09:26:45Z)
Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
We extend the notion of a causal model with a representation of the state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
arXiv Detail & Related papers (2020-10-30T12:16:45Z)
A Defeasible Calculus for Zetetic Agents [0.0]
We show that zetetic norms can be modeled via defeasible inferences to and from questions. We offer a sequent calculus that accommodates unique features of "erotetic defeat"
arXiv Detail & Related papers (2020-10-11T17:39:03Z)

This list is automatically generated from the titles and abstracts of the papers in this site.