nLab
epistemic logic

Epistemic logic

Idea

Epistemic logic is the branch of modal logic concerning notions of knowledge and belief. In its applied form it has found considerable use in computer science and Artificial Intelligence.

Introduction

Epistemic modalities are captured in epistemic modal logic, where necessity is interpreted as saying “I know that proposition ϕ\phi is true”, and in ‘provability logic’, the basic modal operator interprets as “it is provable that ϕ\phi. If we have the basic temporal logic, then there is a future truth operator, so that FϕF\phi is intended to mean ‘’ ϕ\phi will be true at some future time“, and also a past operator PP so PϕP\phi is intended to mean “ϕ\phi was true at some past time”.

Notice that the notions of possibility and necessity have different senses in ordinary language. For example, if we say ‘PP is possible’, we may mean that PP is: epistemically possible, not ruled out by anything I know; physically possible, not ruled out by the laws of physics; logically possible, not ruled out by the laws of logic. Some suggest that there is a further type of possibility, metaphysical possibility intermediate between logical and physical possibility. Metaphysical possibility would allow that different laws of physics might apply.

Epistemic formulae

These are variants of the formulae of the basic modal language. The basic modal operators are, here, labelled K iK_i since they relate to ‘knowledge’. These correspond to the box\box operators in the standard form, and are used in preference to the dual \Diamond forms because of their interpretation (given below), which is more immediately relevant to the applications.

More formally, we have PP or PropProp, is a set of countably (finite or infinite) many atomic formulae. there is also a set AA, often called the set of ‘agents’ and taken to be A={1,,m}A = \{1,\ldots,m\}. The set of epistemic formluae (= basic mm-agent epistemic language) will be denoted K m(P)\mathcal{L}^m_K(P) is given by the rules

ϕ::=p¬ϕϕ 1ϕ 2K iϕforiA.\phi ::= p \mid \bot \mid \neg \phi \mid \phi_1 \wedge \phi_2 \mid K_i\phi for i\in A.

We read K iϕK_i \phi as ‘’agent ii knows that ϕ\phi’’.

The converse or dual operators, denoted M iM_i (so that M iϕ=¬K i¬ϕM_i \phi = \neg K_i\neg \phi) reads as ‘’agent ii considers ϕ\phi is possible’’.

Note

The ‘agent’ terminology is extremely useful, but in pure modal logic texts is not used so much. It does provide an ‘intuition’ and an interpretation however.

List of frequently encountered epistemic logics

Models for epistemic logics

The geometric or combinatorial semantics of epistemic models follows the same techniques of Kripke frames as at geometric models for modal logics, whilst the algebraic models are BAOs that is Boolean algebras with operators. As usual the Kripke frames semantics is an example of coalgebraic semantics?.

References

A fairly recent book on epistemic logics and their applications is

  • J.- J. Ch. Meyer and W. Van der Hoek, Epistemic logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 41, 1995,

and this has been used for some of the material here.

General books on modal logics include

  • Patrick Blackburn, M. de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53, 2001.

  • Marcus Kracht, Tools and Techniques in Modal Logic, Studies in Logic and the Foundation of Mathematics, 142, Elsevier, 1999,

and these have discussions about epistemic logics and their place within the wider framework of modal logic.

  • Johan van Benthem, Dynamic logic for belief revision (pdf)

Revised on November 6, 2012 18:36:52 by Tim Porter (95.147.237.33)