Thomas Caridroit

Learn More
The AGM model for the revision and contraction of beliefs sets provides sets of postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon printed out some sets of postulates for the revision of belief bases which correspond to the postulates AGM revision of beliefs sets. In this paper, we present postulates(More)
AGM belief change aims at modeling the evolution of an agent's beliefs about its environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents' beliefs must be taken into account. In this work, we study private expansion and revision operators in such a multi-agent(More)
Nous étudions les opérateurs d'expansion et de révision privées dans un cadre multi-agent. Plus pré-cisément, nous étudions les changements induits par un nouvel élément d'information mis à disposition d'un seul agent dans un modèle KD45n. Nous proposons une traduction des postulats d'expansion et de révi-sion AGM dans ce cadre, et proposons des opérateurs(More)
AGM belief change aims at modeling the evolution of an agent's beliefs about her environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents' beliefs must be taken into account. In this work, we study the private revision issue in a multi-agent setting represented(More)
  • 1