Author(s): Аншаков О.М. (ред.)
Publisher: Либроком
Year: 2009
Language: Russian
Pages: 431
Tags: Информатика и вычислительная техника;Искусственный интеллект;Компьютерная лингвистика;
Обложка ......Page 1
Титульная страница ......Page 2
Аннотация ......Page 3
Оглавление ......Page 4
Предисловие (Аншаков О.М, Финн В.К.) ......Page 5
Источники ......Page 9
Введение ......Page 10
Глава 1. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ (Финн В.К.) ......Page 11
Глава 2. ДСМ-метод как система автоматического обучения (Кузнецов С.О.) ......Page 52
Глава 3. Об одной- интерпретации ДСМ-метода автоматического порождения гипотез (Аншаков О.М.) ......Page 82
Глава 4. Синтез познавательных процедур и проблема индукции (Финн В.К.) ......Page 97
Часть I. Логико-математические основания ДСМ-метода ......Page 166
Глава 1. ДСМ-метод автоматического порождения гипотез с отношением порядка (Финн В.К.) ......Page 167
Глава 2. Об обобщенном ДСМ методе автоматического порождения гипотез (Финн В.К.) ......Page 193
Глава 3. О некоторых способах построения логических языков с кванторами по кортежам (Скворцов Д.П.) ......Page 215
Глава 4. О характеристиках переборных задач, возникающих при автоматическом порождении гипотез ДСМ-методом (Забежайло М.И.) ......Page 234
Глава 5. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез (Аншаков О.М., Скворцов Д.П., Финн В.К.) ......Page 241
Глава 6. Формализация правдоподобных рассуждений в логике предикатов (Виноградов Д.В.) ......Page 288
Глава 7. Логические программы для квазиаксиоматических теорий (Виноградов Д.В.) ......Page 295
Глава 8. Корректные логические программы для правдоподобных рассуждений (Виноградов Д.В.) ......Page 300
Глава 9. Каузальные модели предметных областей (Аншаков О.М.) ......Page 307
Глава 10. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 1 (Аншаков О.М.) ......Page 334
Глава 11. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 2 (Аншаков О.М.) ......Page 361
Глава 12. ДСМ-метод на языке соответствий Галуа (Кузнецов С.О.) ......Page 387
Часть II. ДСМ-метод в науках о жизни ......Page 398
Глава 1. Интеллектуальные системы для анализа медицинских данных (Финн В.К, Блинова В.Г., Панкратова Е.С, Фабрикантова Е.Ф.) ......Page 399
