Prolegomena to general-imaging-based probabilistic dynamic epistemic logic

  • Authors:

  • Satoru Suzuki

  • Affiliations:

  • Department of General Education, Komazawa University, Setagaya-ku, Tokyo, Japan

  • Venue:
  • JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

In this paper, I propose a new version of probabilistic dynamic epistemic logic (GIPDEL) that is based on general imaging, and sketch the proof of soundness and completeness of this logic. The Monty Hall dilemma is a common topic in probabilistic dynamic epistemic logic. Using conditionalisation-based probabilistic dynamic epistemic logic (CPDEL), Kooi ([7]) supported the answer that I should switch my choice. However, it is acknowledged that this answer is counterintuitive. Using GIPDEL, I can support the answer that I do not have to switch my choice. Intuition would suggest this answer. Moreover, GIPDEL can give a plausible answer to a modified version of the Monty Hall dilemma to which CPDEL gives an extremely counterintuitive answer.