Epistemic Learning Programs A Calculus for Describing Epistemic Action Models

Autor:	Ramezanian, Mohammad Ardeshir Rasoul
Rok vydání:	2013
Předmět:	Computer Science - Logic in Computer Science 68T27
Druh dokumentu:	Working Paper
Popis:	Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action Kripke models introduced by Baltag et al. Also, van Ditmarsch interprets the information change as a relation between epistemic states and sets of epistemic states and to describe it formally, he considers a special constructor LB called learning operator. Inspired by this, it seems natural to us that the basic source of information change in a multi-agent system should be learning an announcement by some agents together, privately, concurrently or even wrongly. Hence moving along this path, we introduce the notion of a learning program and prove that all finite K45 action models can be described by our learning programs Comment: 35 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1304.6276 Zobrazit plný text záznamu View this record from Arxiv