Modelling a Dialog with Public Announcements

Abstract

This contribution zeroes in providing a formal tool for modelling reasoning with public announcements.
In Section 1 I briefly delineate the idea of a new approach to public announcement interpretation via enthymematic implication presented in [1]. Section 2 contains a preliminary review of different cases representing reasoning with public announcements. Starting out from famous Muddy Children example I distinguish four types of such cases: initial announcement, ‘derived’ announcement, ‘enthymematic’ announcement, and ’knowledge state’ announcement. In Section 3, a system PADME (that is Public Announcements Dialogue Modelling Engine) is introduced as a kind of Fitch-style natural deduction derivation allowing to construct ‘completely Merandized’ dialogue as a sequence of public announcements on the ground of supplementary subordinate derivations. Finally, in Section 4, future lines of work are observed.