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

В настоящем сборнике представлены результаты многолетних исследований многозначных логик, начиная с пионерских работ одного из создателей многозначных логик Дмитрия Анатольевича Бочвара (1903--1990). В сборнике содержатся работы самого Д.А.Бочвара, его учеников и их последователей. Эти исследования начинались с анализа трехзначных логик (среди них особое место занимает трехзначная логика Бочвара B3); затем изложены общие результаты исследований многозначных (в том числе бесконечнозначных) логик. В последнее время активно исследуются специальные многозначные логики аргументации. Особенностью данных исследований является установленная полезность применения этих многозначных логик для интеллектуального анализа данных в компьютерных системах так называемого искусственного интеллекта. В частности, бесконечнозначные логики (с конечным числом типов истинностных значений) используются в ДСМ-методе автоматического порождения гипотез. Более того, при анализе социологических данных оказались полезными многозначные логики аргументации. Книга предназначена логикам, специалистам в области искусственного интеллекта, а также философам, интересующимся проблемами логики. Many-valued logics and its applications: V. 1: Logical calculi, algebras, and functional properties The book presents results of long-term researches on many-valued logics since pioneer works of one of this field creator Dmitry A.Bochvar (1903--1990). The book contains the papers of D.A.Bochvar, his students, and his followers. These researchers began to investigate three-valued logics (with special stress on three-valued Bochvar’s logic B3). Then general results on many-valued (and infinite-valued) logics were proved (and are presented in the book). Recently special argumentation logics are actively investigated. The advantage of these researches is established utility of application of the many-valued logics to intelligent data analysis in so-called “artificial intelligence” computer systems. In particular, infinite-valued (with finite number of types truth values) logics are used in the JSM-Method of automatic hypotheses generation. Moreover, many-valued argumentation logics are useful in analysis of sociological data.