Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства

В настоящем сборнике представлены результаты многолетних исследований многозначных логик, начиная с пионерских работ одного из создателей многозначных логик Дмитрия Анатольевича Бочвара (1903-1990). В сборнике содержатся работы самого Д.А. Бочвара, его учеников и их последователей. Эти исследования начинались с анализа трехзначных логик (среди них особое место занимает трехзначная логика Бочвара B3); затем изложены общие результаты исследований многозначных (в том числе бесконечнозначных) логик. В последнее время активно исследуются специальные многозначные логики аргументации. Особенностью данных исследований является установленная полезность применения этих многозначных логик для интеллектуального анализа данных в компьютерных системах так называемого "искусственного интеллекта". В частности, бесконечнозначные логики (с конечным числом типов истинностных значений) используются в ДСМ-методе автоматического порождения гипотез. Более того, при анализе социологических данных оказались полезными многозначные логики аргументации. Книга предназначена логикам, специалистам в области искусственного интеллекта, а также философам, интересующимся проблемами логики.