В книге представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д.С.Милля об индукции и идеи Ч.С.Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К.Р.Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К.Р.Поппера. Кроме того, ДСМ-рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез --- оригинальной технологии и методологии интеллектуального анализа данных.
Книга предназначена для специалистов в области искусственного интеллекта и анализа данных, а также для логиков и философов, интересующихся проблемами искусственного интеллекта.
JSM-method of automatic hypothesis generation: logical and epistimological foundation / Ed. by O.M.Anshakov. --- Moscow: KD "LIBROCOM", 2009. --- 432 p.
In this book, are submitted the theoretical basis for the formalization of plausible reasoning used in the JSM-method of automatic hypothesis generation. This method develops Mill’s ideas on induction and Peirce’s ones on abduction by contemporary logic technique. Moreover, the JSM-method uses Popper’s Falsification Principle for rejecting the irrelevant hypotheses. The main result of the book is a formalization for the heuristics of the form “induction + analogy + abduction”. This formalization is just the JSM-type plausible reasoning that synthesizes three above cognitive procedures (induction, analogy and abduction). The JSM-reasoning, which includes a context-dependent induction with controllable conclusions, is a powerful argument against Popper’s anti-inductivism. Furthermore, the JSM-reasoning is an essential part of the JSM-method of automatic hypothesis generation: original technology and methodology of Knowledge Discovery.
The book is intended for professionals working in the field of artificial intelligence and data analysis, as well as for logicians and philosophers with an interest in this research.
V knige predstavleny teoreticheskie osnovaniya formalizatsii pravdopodobnykh rassuzhdeniy, ispolzuemykh v DSM-metode avtomaticheskogo porozhdeniya gipotez. Etot metod razvivaet sredstvami sovremennoy logiki idei D.S.Millya ob induktsii i idei CH.S.Pirsa ob abduktsii, krome togo, DSM-metod ispolzuet printsip falsifikatsii K.R.Poppera kak sredstvo otbrasyvaniya nerelevantnykh gipotez. Glavnym rezultatom, predstavlennym v knige, yavlyaetsya formalizatsiya evristiki tipa induktsiya + analogiya + abduktsiya, kotoraya obrazuet sintez etikh poznavatelnykh protsedur. Ego formalizatsiey yavlyayutsya pravdopodobnye rassuzhdeniya tipa DSM. DSM-rassuzhdeniya, vklyuchayushchie kontekstno-zavisimuyu induktsiyu s kontroliruemymi vyvodami, yavlyayutsya vesomym argumentom protiv antiinduktivizma K.R.Poppera. Krome togo, DSM-rassuzhdeniya yavlyayutsya sushchestvennoy chastyu DSM-metoda avtomaticheskogo porozhdeniya gipotez --- originalnoy tekhnologii i metodologii intellektualnogo analiza dannykh. Kniga prednaznachena dlya spetsialistov v oblasti iskusstvennogo intellekta i analiza dannykh, a takzhe dlya logikov i filosofov, interesuyushchikhsya problemami iskusstvennogo intellekta. JSM-method of automatic hypothesis generation: logical and epistimological foundation / Ed. by O.M.Anshakov. --- Moscow: KD "LIBROCOM", 2009. --- 432 p. In this book, are submitted the theoretical basis for the formalization of plausible reasoning used in the JSM-method of automatic hypothesis generation. This method develops Mills ideas on induction and Peirces ones on abduction by contemporary logic technique. Moreover, the JSM-method uses Poppers Falsification Principle for rejecting the irrelevant hypotheses. The main result of the book is a formalization for the heuristics of the form induction + analogy + abduction. This formalization is just the JSM-type plausible reasoning that synthesizes three above cognitive procedures (induction, analogy and abduction). The JSM-reasoning, which includes a context-dependent induction with controllable conclusions, is a powerful argument against Poppers anti-inductivism. Furthermore, the JSM-reasoning is an essential part of the JSM-method of automatic hypothesis generation: original technology and methodology of Knowledge Discovery. The book is intended for professionals working in the field of artificial intelligence and data analysis, as well as for logicians and philosophers with an interest in this research.
The book presents the theoretical bases of formalization of plausible reasoning that is used in JSM-method of automatic generation of hypotheses. This method develops the tools of modern logic D. S. mill's ideas on induction and ideas of C. S. Pierce on abduction, moreover, the DSM method uses the principle of falsification of K. R. Popper as a means of discarding irrelevant hypotheses. The main result presented in the book, is a formalization of the heuristics of type "induction + analogy + abduction", which forms the synthesis of these cognitive procedures. Its formalization are plausible, the arguments of the DSM. DSM-reasoning, including context-sensitive induction with controlled findings are a powerful argument against antiendothelial K. R. Popper. In addition, DSM-reasoning are an essential part of the DSM method for automatic generation of hypotheses --- the original technology and methodology of data mining.
The book is intended for specialists in the field of artificial intelligence and data analysis, as well as for logicians and philosophers interested in the problems of artificial intelligence.
JSM-method of automatic hypothesis generation: logical and epistimological foundation / Ed. by O. M. Anshakov. --- Moscow: KD "LIBROCOM", 2009. --- 432 p.
In this book, are submitted, the theoretical basis for the formalization of plausible reasoning used in the JSM-method of automatic hypothesis generation. This method develops Mill's ideas on induction and Peirce's ones on abduction by contemporary logic technique. Moreover, the JSM-method uses Popper''s Falsification Principle for rejecting the irrelevant hypotheses. The main result of the book is a formalization for the heuristics of the form “induction + analogy + abduction”. This formalization is just the JSM-type plausible reasoning that synthesizes the above three cognitive procedures (induction, analogy and abduction). The JSM-reasoning, which includes a context-dependent induction with controllable conclusions, is a powerful argument against Popper''s anti-inductivism. Furthermore, the JSM-reasoning is an essential part of the JSM-method of automatic hypothesis generation: original technology and methodology of Knowledge Discovery.
The book is intended for professionals working in the field of artificial intelligence and data analysis, as well as for logicians and philosophers with an interest in this research.
