Б. А. Кулик, А. А. Зуенко, А. Я. Фридман, “Дедуктивные и пересматриваемые рассуждения на основе единого алгебраического подхода”, Искусственный интеллект и принятие решений, 2013, выпуск 4,страницы 34

Эта публикация цитируется в 8 статьях

Приобретение знаний и автоматизация рассуждений

Дедуктивные и пересматриваемые рассуждения на основе единого алгебраического подхода

Б. А. Кулик^a, А. А. Зуенко^b, А. Я. Фридман^b

^a Институт проблем машиноведения РАН, г. Санкт-Петербург
^b Институт информатики и математического моделирования технологических процессов, Кольский научный центр РАН, г. Апатиты Мурманской обл.

Аннотация: В работе продемонстрировано применение единого классического подхода к моделированию и анализу как дедуктивных, так и пересматриваемых рассуждений на основе разработанной авторами алгебры кортежей. Предлагается метод анализа пересматриваемых рассуждений, в котором “неклассическая” составляющая переносится в семантику, а сам логический анализ осуществляется без нарушения законов классической логики.

Ключевые слова: пересматриваемые рассуждения, алгебра кортежей, коллизии, анализ гипотез.