Обложка Финн В.К., Аншаков О.М. ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания
Id: 60510
899 руб.

ДСМ-метод автоматического порождения гипотез:
Логические и эпистемологические основания

URSS. 2009. 432 с. ISBN 978-5-397-00636-1.
  • Твердый переплет

Аннотация

В книге представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д.С.Милля об индукции и идеи Ч.С.Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К.Р.Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики ...(Подробнее)типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К.Р.Поппера. Кроме того, ДСМ-рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез --- оригинальной технологии и методологии интеллектуального анализа данных.

Книга предназначена для специалистов в области искусственного интеллекта и анализа данных, а также для логиков и философов, интересующихся проблемами искусственного интеллекта.

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.


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

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