ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

М.М. Виньков, И.Б. Фоминых "Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход"

Аннотация.

В статье проведен обзор эпистемических модальных логик, формализующих рассуждения о знаниях. Особое внимание уделено связанной с ними так называемой проблеме логического всеведения и попыткам ее преодоления в рамках модального подхода. Анализ показал, что по способу решения данной проблемы эти попытки образуют два направления. Одно из них основано на искусственном ослаблении дедуктивных возможностей агента, другое направление имеет в своей основе введение в логический язык специальных модальных операторов, трактуемых как «ментальные усилия», необходимые для получения какого-либо знания, выраженного в виде логических формул.
 

Ключевые слова:

эпистемическая логика, проблема логического всеведения, модальный подход, рассуждения с ограниченным ресурсом, многоагентные системы.

Стр. 3-13.

Полная версия статьи в формате pdf.