Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Гаек П., Гавранек Т. — Автоматическое образование гипотез
Гаек П., Гавранек Т. — Автоматическое образование гипотез



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Автоматическое образование гипотез

Авторы: Гаек П., Гавранек Т.

Аннотация:

Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить?", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы?". Книга содержит две части: "логика индукции" и "логика открытия".
В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозначные исчисления), которые применяются для формализации рациональных индуктивных выводов и для построения логических основ вычислительной статистики. В книге излагается метод автоматического образования гипотез и исследуются вопросы вычислительной сложности рассматриваемых процедур.
Книга предназначена. для специалистов по искусственному интеллекту, программированию, математической логике, а также для философов; интересующихся проблемами индукции.


Язык: ru

Рубрика: Разное/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1984

Количество страниц: 277

Добавлена в каталог: 05.12.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Предикат бинарный      91
Предикат количества      135
Предикат порядка      91
Предикат равенства      54
Предикат свойства      135
Предикат унарный      36
Предложение      18 27
Предложение выразимое      57
Предложение дистрибуциональное      106 136
Предложение истинное      19 181
Предложение исходное      101
Предложение каноническое      52
Предложение классически выразимое      57
Предложение несмещенное      130
Предложение оценивающее      107
Предложение собственное      44
Предложение теоретическое      27
Предложение эмпирическое      27
Принцип "скачка"      227
Проблема без дедукции      210
Проблема второго рода      211
Проблема исследования эмпирическая      170
Проблема комбинированная      213
Проблема первого рода      210
Проблема простая      211
Проблема третьего рода      211
Проблема четвертого рода      213
Проверка простых гипотез      107
Пространство вероятностное      34 97
Псевдолитерал      80
Псевдолитерал полный      80
Псевдолитерал пустой      80
Псевдонумерация      163
Путь      228
Пучок верхний      186
Пучок нижний      186
Разбиение      68
Разрешимость      24
Ранг      140
Рандомизация      151
Распределение двузначное      129
Распределение нормальное стандартизованное      129
Распределение полиномиальное      127
Распределение условное      114
Расширение безопасное      163
Расширение выделенное      164
Расширение каноническое      79
Рациональность правила      7 34
Ребро графа      88
Регулярность правила вывода      29
Редукция      66
Рекурсивность      22
Рекурсивность примитивная      26
Решение минимальное      178
Решение прямое      179
Род      55
Свойства вероятностные      104
Свойства неинтерпретируемые      30
Связка импликации      22
Семантика      20
Сечение      68
Силлогистика      5
Символы функциональные      45 72
Синглет      20
Система семантическая      20
Система семантическая аксиоматизируемая      24
Система семантическая разрешимая      24
Система семантическая эмпирическая      25
Система синтаксическая      200
Сложность вычислительная      176
Сложность структурная      176
Смысл имени      19
Событие случайное      97
Сопряженность      116
Сопряженность логарифмическая      116
Состояние      59
Спецификация      66
Способы эквивалентные      30
Стабильность      53
Статистика вычислимая      102
Статистика именуемая      103
Статистика основанная на медиане      146
Статистика ранговая      141
Статистика ранговая сильная      150
Статистика Уилкоксона      145
Структура выборочная      33
Структура зависящая от состояний      35
Структура критическая      89
Структура нумерованная      152
Структура регулярная      70
Структура реляционная      31
Структура с полной информацией      70
Структура случайная      34
Структура упорядоченная      153
Структура эмпирическая      33
Структуры рангово эквивалентные      141
Сукцедент      19
Схема ассоциативных тавтологий      68
Тавтология      21
Тезис Чёрча      22
Теорема интерполяционная      86
Теорема Крейга      29
Тип      32
Тип монадический двусортный      152
Типы кванторов      36
Точка граничная      100
Транзитивность правила вывода      29
Удовлетворимость множества      68
Универсум      27
Униюнктор      225
Униюнкцйя      225
Упорядочение      32
Упорядочение естественное      73
Условие бесконечности      30
Условие слабой удовлетвори мости      182
Условия корректности      204
Условия рекурсивности      26
Условия удовлетвори мости      203
Утверждение важное      173
Утверждение теоретическое      15
Утверждение эмпирическое      15
Фактор случайный      33
Форма двойственная      167
Форма нормальная      53
Формула      36
Формула атомарная      36
Формула безопасная      72
Формула выводимая      21
Формула выделенная      64
Формула доказуемая      21
Формула замкнутая      35
Формула открытая      40
Формула открытая выделенная      51
Формула псевдорегулярная      80
Формула регулярная      80
Формула регулярно-значная      72
Формула чисто предваренная      59
Формулы непересекающиеся      66 194
Функции на нумерациях      152
Функция бинарная      32
Функция измеримая      97
Функция мощности      108
Функция нормального распределения      128
Функция общерекурсивная      23
Функция оценочная      20
Функция распределения      97
Функция унарная      38
Функция частично рекурсивная      22
Характеристика модели      53
Частота относительная      111
Шаг индукционный      36
Эквивалентность      30
Эквиваленция      36
Эквиваленция вспомогательная      182
Эквиваленция логическая      59
Юнктор      36
Юнктор бинарный      36
Юнктор нульарный      36
Юнктор унарный      36
Юнктор эквивалентности      49
Язык предикатный      35
Язык предикатный с тождеством      36
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте