Text this: Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах