Description
V nastoyashhem sbornike predstavleny rezul′taty mnogoletnich issledovanij mnogoznachnych logik, nachinaya s pionerskich rabot odnogo iz sozdatelej mnogoznachnych logik Dmitriya Anatol′evicha Bochvara (1903--1990). V sbornike soderzhatsya raboty samogo D.A.Bochvara, ego uchenikov i ich posledovatelej. Eti issledovaniya nachinalis′ s analiza trechznachnych logik (sredi nich osoboe mesto zanimaet trechznachnaya logika Bochvara B3); zatem izlozheny obshhie rezul′taty issledovanij mnogoznachnych (v tom chisle beskonechnoznachnych) logik. V poslednee vremya aktivno issleduyutsya special′nye mnogoznachnye logiki argumentacii. Osobennost′yu dannych issledovanij yavlyaetsya ustanovlennaya poleznost′ primeneniya etich mnogoznachnych logik dlya intellektual′nogo analiza dannych v komp′yuternych sistemach tak nazyvaemogo iskusstvennogo intellekta. V chastnosti, beskonechnoznachnye logiki (s konechnym chislom tipov istinnostnych znachenij) ispol′zuyutsya v DSM-metode avtomaticheskogo porozhdeniya gipotez. Bolee togo, pri analize sociologicheskich dannych okazalis′ poleznymi mnogoznachnye logiki argumentacii. Kniga prednaznachena logikam, specialistam v oblasti iskusstvennogo intellekta, a takzhe filosofam, interesuyushhimsya problemami logiki. 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.
