Герман О.В. Неклассические логические исчисления

Учебно—методическое пособие. — Минск: БГУИР, 2012. — 124 с. Пособие посвящено теоретико—прикладным проблемам неклассических логик.
Рассматриваются вопросы представления знаний, построения машин вывода для моделей знаний, использующих неклассические логические формализации. Описаны вопросы, связанные с мотивацией введения многозначных логических исчислений из-за логических парадоксов и аномалий, их причины и способы преодоления.
Предназначено для магистрантов, аспирантов и инженеров, занимающимся теоретико—прикладными аспектами реализации интеллектуальных логических систем. Основы логических исчислений.
Многозначные логики Я. Лукасевича.
Нечеткая логика Л. Заде и системы с неопределенностями.
Противоречивые логические исчисления.
Продукционные системы с временным параметром.
Вероятностная логика.
Логика Р. Рейтера.
Модальная логика К. Льюиса.
Теория Демпстера — Шафера.
Использовании формулы Е. Шортлифа при исчислении правдоподобных выводов.
Проблема реализации быстрой машины вывода в логике.
Лабораторные работы.