ДСМ-метод автоматического порождения гипотез, Логические и эпистемологические основания, Аншаков О.М., Фабрикантова Е.Ф., 2009

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



Характеристика ИнтС-ДСМ.
ИнтС-ДСМ суть интеллектуальные системы [13], в которых решение принимается посредством рассуждения, использующего взаимодействие правдоподобных и достоверных выводов, БДНИ и базы знаний, а БДНИ соответствует открытое множество высказываний, пополняемое в процессе диалога под контролем критерия достаточного основания принятия гипотез (к. д. о. п. г.). ИнтС-ДСМ анализирует и порождает (синтезирует) эмпирические зависимости причинно-следственного типа в БДНИ, причем ИнтС-ДСМ является усилителем интеллектуальных возможностей исследователя. ИнтС-ДСМ является усилителем интеллектуальной деятельности посредством формализованных эвристик и комбинаторных алгоритмов, реализованных в компьютерной системе. Они представляются не только как правила правдоподобного вывода, но и как средства поиска используемой при решении задачи релевантной информации.

Характерной чертой ИнтС-ДСМ является не только использование средств фальсификации порождаемых гипотез, но и порождение самих фальсификаторов.
ИнтС-ДСМ не претендуют:
1) на открытие законов природы;
2) на универсальность применения.

Оглавление
Предисловие (Аншаков О.М., Финн В.К.)
Источники
Введение
Глава 1. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ (Финн В.К.)
Глава 2. ДСМ-метод как система автоматического обучения (Кузнецов С.О.)
Глава 3. Об одной интерпретации ДСМ-метода автоматического порождения гипотез (Аншаков О.М.)
Глава 4. Синтез познавательных процедур и проблема индукции (Финн В.К.)
Часть I. Логико-математические основания ДСМ-метода
Глава 1. ДСМ-метод автоматического порождения гипотез с отношением порядка (Финн В.К.)
Глава 2. Об обобщенном ДСМ методе автоматического порождения гипотез (Финн В.К.)
Глава 3. О некоторых способах построения логических языков с кванторами по кортежам (Скворцов Д.П.)
Глава 4. О характеристиках переборных задач, возникающих при автоматическом порождении гипотез ДСМ-методом (Забежайло М.И.)
Глава 5. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез (Аншаков О.М., Скворцов Д.П., Финн В.К.)
Глава 6. Формализация правдоподобных рассуждений в логике предикатов (Виноградов Д.В.)
Глава 7. Логические программы для квазиаксиоматических теорий (Виноградов Д.В.)
Глава 8. Корректные логические программы для правдоподобных рассуждений (Виноградов Д.В.)
Глава 9. Каузальные модели предметных областей (Аншаков О.М.)
Глава 10. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 1 (Аншаков О.М.)
Глава 11. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 2 (Аншаков О. М.)
Глава 12. ДСМ-метод на языке соответствий Галуа (Кузнецов С. О.)
Часть II. ДСМ-метод в науках о жизни
Глава 1. Интеллектуальные системы для анализа медицинских данных (Финн В.К., Блинова В. Г., Панкратова Е.С., Фабрикантова Е.Ф.).

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





Теги: учебник по информатике :: информатика :: компьютеры :: Аншаков :: Фабрикантова