License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-12002
URL: http://drops.dagstuhl.de/opus/volltexte/2007/1200/

Aucher, Guillaume

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

pdf-format:
Dokument 1.pdf (318 KB)


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:DSP:2007:1200,
  author =	{Guillaume Aucher},
  title =	{A logical formalism for the subjective approach in a multi-agent setting},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  year =	{2007},
  editor =	{Giacomo Bonanno and James Delgrande and J{\'e}r{\^o}me Lang and Hans Rott},
  number =	{07351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/1200},
  annote =	{Keywords: Epistemic logic, multi-agent system}
}

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


DROPS-Home | Fulltext Search | Imprint Published by LZI