Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства, Дмитрий Бочвар,Р. Григолия,М. Забежайло,С. Рычков,О. Аншаков,Виктор Финн

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