2026-07-21T23:19:37Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1200 2024-03-06T11:07:40Z ddc:004 open_access

A logical formalism for the subjective approach in a multi-agent setting Aucher, Guillaume Epistemic logic multi-agent system 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Guillaume Aucher 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07351.5 urn:nbn:de:0030-drops-12002 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.5 eng https://creativecommons.org/licenses/by/4.0/legalcode