License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07351.5
URN: urn:nbn:de:0030-drops-12002
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1200/
Go to the corresponding Portal

Aucher, Guillaume

A logical formalism for the subjective approach in a multi-agent setting

pdf-format:
07351.AucherGuillaume.Paper.1200.pdf (0.3 MB)

Abstract

Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lot on the nature of this modeling point of view. Classically, in epistemic logic, the models built are supposed to represent the situation from an external and objective point of view. We call this modeling approach the objective approach. In this paper, we study the modeling point of view of a particular agent involved in the situation with other agents. We propose a logical formalism based on epistemic logic that this agent can use to represent `for herself' the surrounding world. We call this modeling approach the subjective approach. We then set some formal connections between the subjective approach and the objective approach. Finally we axiomatize our logical formalism and show that the resulting logic is decidable.

BibTeX - Entry

@InProceedings{aucher:DagSemProc.07351.5,
  author =	{Aucher, Guillaume},
  title =	{{A logical formalism for the subjective approach in a multi-agent setting}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1200},
  URN =		{urn:nbn:de:0030-drops-12002},
  doi =		{10.4230/DagSemProc.07351.5},
  annote =	{Keywords: Epistemic logic, multi-agent system}
}

Keywords: Epistemic logic, multi-agent system
Collection: 07351 - Formal Models of Belief Change in Rational Agents
Issue Date: 2007
Date of publication: 20.11.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI