Бесплатная библиотека - 1 338 004 изданий в библиотеке

Книга Автоматическое образование гипотез. Математические основы общей теории

Книга Книга Автоматическое образование гипотез. Математические основы общей теории

Название: Автоматическое образование гипотез. Математические основы общей теории
Автор: Гаек П., Гавранек Т.
Страниц: 280
Формат: DJVU
Размер: 13.3 Мб
Качество: Нормальное
Язык: Русский
Год издания: 1984
Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить?", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы?".
Книга содержит две части: "логика индукции" и "логика открытия". В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозначные исчисления), которые применяются для формализации рациональных индуктивных выводов и для построения логических основ вычислительной статистики. В книге излагается метод автоматического образования гипотез и исследуются вопросы вычислительной сложности рассматриваемых процедур.
Книга предназначена для специалистов по искусственному интеллекту, программированию, математической логике, а также для философов; интересующихся проблемами индукции.
Оглавление
От редактора русского перевода 5
Предисловие к русскому изданию 10
Предисловие 11
Глава 1. Введение: что есть логика открытия? 13
1.1. Неформальные рассмотрения 13
1.2. Некоторые математические понятия 17
Задачи и дополнения 28
Часть I. Логика индукции 30
Глава 2. Формализация эмпирического и теоретического языков 30
2.1. Структуры 30
2.2. Эмпирические исчисления предикатов 34
2.3. Функторные исчисления 40
2.4. Функторные исчисления с моделями, зависящими от состояний (исчисления, зависящие от состояний) 44
Задачи и дополнения 47
Глава 3. Логика эмпирических функторных исчислений 49
3.1. Монадические эмпирические исчисления предикатов 50
3.2. Ассоциативные и импликационные кванторы 61
3.3. Исчисления с неполной информацией 63
3.4. Исчисления с качественными значениями 77
3.5. Ещео логике эмпирических исчислений предикатов 83
Задачи и дополнения 92
Глава 4. Логические основы вычислительной статистики 94
4.1. Предварительное обсуждение 95
4.2. Понятие статистики 97
4.3. Форма теоретических предложений и правил вывода 104
4.4. Эмпирические исчисления предикатов, основанные на статистических процедурах 109
4.5. Некоторые свойства статистически мотивированных эмпирических исчислений предикатов 121
Задачи и дополнения 127
Глава 5. Ранговые исчисления 133
5.1. Обобщенные случайные структуры и гипотеза Н„ о ^/однородности.... 134
5.2. Ранговые критерии с/однородности и независимости 146
5.3. Функторные исчисления с нумерованными моделями 151
5.4. Эмпирические монадические функторные исчисления с рационалпозначными моделями 159
Задачи и дополнения 165
Часть II. Логика выдвижения гипотез
Глава 6. Перечень важных эмпирических утверждений и связанных с ними логических проблем 169
6.1. Эмпирические проблемы исследования и их решения 170
6.2. Косвенные решения 181
6.3. Полезные кванторыъ Х-номинальном исчислении 186
6.4. Несокращаемость 195
Задачи и дополнения 199
Глава 7. Общий GUHA-метод с ассоциативными кванторами 201
7.1. Система г-проблем 202
7.2. Решения 209
7.3. Замечания по поводу реализации и оптимизации 215
7.4. Несколько замечаний по поводу GUHA-метода, основанного на ранговом исчислении 222
Задачи и дополнения 226
Глава 8. Дальнейшие статистические проблемы логики открытия 228
8.1. Локальная интерпретация 228
8.2. Глобальная интерпретация 235
8.3. Некоторые статистические проблемы 243
Задачи и дополнения 254
Дополнение. Некоторые замечания по поводу истории GUHA-метода и логики открытия 258
Основные сокращения 263
Основные обозначения 265
Литература 266
Предметный указатель 273

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12775 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Журнал Quilting Arts Gifts 2013/2014

    Quilting Arts Gifts 2013/2014

    Издательство: :Interweave Название: Quilting Arts Gifts Автор: коллективГод издания: 2013/2014Страниц: 148Формат: JPEG Язык: АнглийскийРазмер: 56.MBЛоскутное шитье. Готовим подарки. Много идей для в . . .

  • Книга Мы и Советский Союз. Путешествие в большевизм

    Мы и Советский Союз. Путешествие в большевизм

    Название: Мы и Советский Союз. Путешествие в большевизмГод: 1983Автор: Карлебах Э.Переводчик: П. КуриленкоИздательство: ПрогрессФормат: PDFРазмер: 46 MbСтраниц: 241Язык: РусскийКнига «Мы и Советский С . . .

  • Журнал Вяжем сами. Спецвыпуск №9, 2013. Осенняя коллекция вязанных идей

    Вяжем сами. Спецвыпуск №9, 2013. Осенняя коллекция вязанных идей

    Название: Вяжем сами. Спецвыпуск №9, 2013. Осенняя коллекция вязанных идейИздательство: ФЛ Год/месяц: 2013/июнь Номер: 9Формат: PDF Язык: русскийРазмер: 38 mbЖурнал по вязанию спицами и крючком. В это . . .

  • Журнал Автоцентр №38 2013

    Автоцентр №38 2013

    Название: АвтоцентрИздательство: АвтоцентрГод выхода: 2013Номер: 38Страниц: 43Формат: PDFКачество: ВысокоеЯзык: РусскийРазмер: 30.7 МбАвтоцентр - еженедельный журнал полностью посвящен миру автомобиле . . .

  • Журнал Better Homes and Gardens №10 2013 (USA)

    Better Homes and Gardens №10 2013 (USA)

    Название: Better Homes & Gardens №10Издательство: Meredith CorporationГод издания: 2013 Язык: английскийКоличество страниц: 191Формат: pdfРазмер: 118,4 mbЖурнал "Лучшие дома и сады" - идеи и проектов . . .

  • Книга Очерки теории исторической науки

    Очерки теории исторической науки

    Название: Очерки теории исторической наукиАвтор: Бицилли П. М.Издательство: AxiomaГод: 2012Формат: PDFРазмер: 62,13 МбКачество: ХорошееЯзык: Русский"Очерки теории исторической науки" занимают централь . . .

  • Журнал Photoshop User №9 2013

    Photoshop User №9 2013

    Название: Photoshop User Издательство: NAPPГод издания: 2013 / 9Язык: английскийКоличество страниц: 124Формат: pdfРазмер: 22,1 MbЖурнал для художников и дизайнеров по обработке изображений в популярно . . .

  • Книга Кинематический метод в геометрических задачах

    Кинематический метод в геометрических задачах

    Автор: Ю.И.ЛюбичНазвание: Кинематический метод в геометрических задачахИздательство: НаукаГод: 1976Страниц: Формат: DJVUРазмер: 1 МБКачество: Отличное, 600дпи, цветные обложки и ч/б иллюстрацииРешая . . .

  • Книга Публичное пространство: от пустоты к парадоксу pdf 1,1Мб

    Публичное пространство: от пустоты к парадоксу pdf 1,1Мб

    Название: Публичное пространство: от пустоты к парадоксуАвтор: Борис ГройсИздательство: Strelka PressГод: 2012Страниц: 30Язык: русскийФормат: pdfРазмер: 1.1 МбРассуждение философа о происхождении, при . . .

  • Журнал Вяжем сами. Спецвыпуск №9, 2013. Осенняя коллекция вязанных идей jpg 53Мб

    Вяжем сами. Спецвыпуск №9, 2013. Осенняя коллекция вязанных идей jpg 53Мб

    Название: Вяжем сами. Спецвыпуск Осенняя коллекция вязанных идейИздательство: ФЛ Булатов А. А.Год/месяц: 2013/июнь Номер: 9Язык: русскийстраниц: 32Формат: jpgРазмер: 53 mbЖурнал по вязанию спицами и . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Книга Автоматическое образование гипотез. Математические основы общей теории. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.