When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

by   Yifeng Ding, et al.
berkeley college

The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to reason about what agent A believes about what agent B believes about what agent A believes; but it is rarely important to reason just about what agent A believes about what agent A believes. This raises the question of the extent to which single-agent introspection axioms actually matter for multi-agent epistemic reasoning. In this paper, we formalize and answer this question. To formalize the question, we first define a set of multi-agent formulas that we call agent-alternating formulas, including formulas like Box_a Box_b Box_a p but not formulas like Box_a Box_a p. We then prove, for the case of belief, that if one starts with multi-agent K or KD, then adding both the 4 and 5 axioms (or adding the B axiom) does not allow the derivation of any new agent-alternating formulas – in this sense, introspection axioms do not matter. By contrast, we show that such conservativity results fail for knowledge and multi-agent KT, though they hold with respect to a smaller class of agent-nonrepeating formulas.


page 1

page 2

page 3

page 4


A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

In recent years, multi-agent epistemic planning has received attention f...

Revisable Justified Belief: Preliminary Report

The theory CDL of Conditional Doxastic Logic is the single-agent version...

Knowledge Compilation in Multi-Agent Epistemic Logics

Epistemic logics are a primary formalism for multi-agent systems but maj...

Multi-Agent Systems based on Contextual Defeasible Logic considering Focus

In this paper, we extend previous work on distributed reasoning using Co...

Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge

The TARK conference (Theoretical Aspects of Rationality and Knowledge) i...

Learnability with PAC Semantics for Multi-agent Beliefs

The tension between deduction and induction is perhaps the most fundamen...

Please sign up or login with your details

Forgot password? Click here to reset