Beschreibung
V nastojačšem sbornike predstavleny rezul′taty mnogoletnich issledovanij mnogoznačnych logik, načinaja s pionerskich rabot odnogo iz sozdatelej mnogoznačnych logik Dmitrija Anatol′eviča Bočvara (1903--1990). V sbornike soderžatsja raboty samogo D.A.Bočvara, ego učenikov i ich posledovatelej. Ėti issledovanija načinalis′ s analiza trechznačnych logik (sredi nich osoboe mesto zanimaet trechznačnaja logika Bočvara B3); zatem izloženy občšie rezul′taty issledovanij mnogoznačnych (v tom čisle beskonečnoznačnych) logik. V poslednee vremja aktivno issledujutsja special′nye mnogoznačnye logiki argumentacii. Osobennost′ju dannych issledovanij javljaetsja ustanovlennaja poleznost′ primenenija ėtich mnogoznačnych logik dlja intellektual′nogo analiza dannych v komp′juternych sistemach tak nazyvaemogo iskusstvennogo intellekta. V častnosti, beskonečnoznačnye logiki (s konečnym čislom tipov istinnostnych značenij) ispol′zujutsja v DSM-metode avtomatičeskogo poroždenija gipotez. Bolee togo, pri analize sociologičeskich dannych okazalis′ poleznymi mnogoznačnye logiki argumentacii. Kniga prednaznačena logikam, specialistam v oblasti iskusstvennogo intellekta, a takže filosofam, interesujučšimsja 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.
