Modelling a Dialog with Public Announcements

##plugins.themes.bootstrap3.article.main##

D. V. Zaitsev

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Зайцев Д. В. Диспозиционность, энтимема и знание // Логические исследования. 2014. Вып. 20. С. 48–59.

##plugins.generic.recommendByAuthor.heading##