Public communication in justification logic

Justification Logic is a framework for reasoning about evidence and justification in multi-agent systems. Most accounts of Justification Logic are essentially static, in that the (justified) beliefs of agents are immutable. In this article, we add public communication, a dynamic operation of belief...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 2011-12, Vol.21 (6), p.1005-1034
Main Author: Renne, Bryan
Format: Article
Language:English
Subjects:
Agents (artificial intelligence)
Catalogues
Computation
Dynamic tests
Dynamics
Expert systems
Fragments
Logic
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Justification Logic is a framework for reasoning about evidence and justification in multi-agent systems. Most accounts of Justification Logic are essentially static, in that the (justified) beliefs of agents are immutable. In this article, we add public communication, a dynamic operation of belief change studied in the area of Dynamic Epistemic Logic, to the language of Justification Logic. Introducing notions of bisimulation for the languages of Justification Logic with and without public communication, we catalogue the expressive relationships that exist between almost all of the well-known static fragments of Justification Logic and then determine whether the addition of public communication affects the various expressive relationships existing between these fragments.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exq026