Моделирование диалога с публичными объявлениями

Аннотация

В статье предлагается новый подход к формализации рассуждений на основе публичных объявлений.В первой части описывается идея новой экспликации публичных объявлений на ос- нове энтимемической импликации, подробно изложенной в [1]. Вторая часть посвящена обзору различных ситуаций рассуждений на основе публичных объявлений. Отталкиваясь от модифицированной версии диалога «Дети с грязными лицами», я выделяю четыре типа таких ситуаций. В третьей части вводится система PADME (Public Announcements Dialogue Modelling Engine — средство моделирования диа- лога с публичными объявлениями), представляющая собой разновидность системы субординатного вывода. В последней четвертой части рассматриваются дальнейшие направления развития исследований.