Финн Виктор Константинович о книге Многозначные логики и их применения. Том 2: Логики в системах...

Книга: Финн В.К. (отв.ред.), Аншаков О.М., Виноградов Д.В. "Многозначные логики и их применения. Том 2: Логики в системах искусственного интеллекта". URSS.

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

Many-valued logics and its applications: V. 2: Logics in AI Systems
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.

Об авторе:
Известный специалист в области искусственного интеллекта, логики и методологии наук о жизни и социальном поведении. Доктор технических наук (1990; тема диссертации — «Правдоподобные рассуждения в экспертных системах с неполной информацией»), профессор, заслуженный деятель науки Российской Федерации. В настоящее время — заведующий сектором интеллектуальных информационных систем Всероссийского института научной и технической информации РАН, а также заведующий отделением интеллектуальных систем в гуманитарной сфере Института лингвистики Российского государственного гуманитарного университета. Основные научные результаты: формализация n-значных обобщений трехзначной логики Д. А. Бочвара и исследование их алгебраических свойств; установление предполноты множества функций n-значных логик Я. Лукасевича, таких, что n–1 есть простое число; построение логик аргументации с неассоциативными логическими связками; создание ДСМ-метода автоматического порождения гипотез, содержащего автоматизированные правдоподобные рассуждения, которые применяются в интеллектуальных системах для фармакологии, медицины, социологии и криминалистики. В своих исследованиях В. К. Финн существенным образом использует идеи выдающихся отечественных логиков Д. А. Бочвара и А. В. Кузнецова.

[Syllogist]

Пока что РАН тихо и трусливо спасовал... :-)