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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\chi^{2}$-квантор      119
$\chi^{2}$-распределение      129
cc-статистика      102
d-однородность      99
r-проблема      170
t-проблема      211
Автоморфизм      55
Аксиоматизируемость      24
Алгебра Бореля      97
Алгебра множеств      96
Алфавит      25
Антецедент      19
Аппарат концептуальный      15
Ассоциативность      40
Ассоциация элементарная      65
Вероятность события      97
Вероятность условная      114
Вершина графа      88
Вопрос релевантный      173
Вопрос релевантный эмпирический      172
Время полиномиальное      23
Выборка      33
Вывод      19
Вывод дедуктивный      5
Вывод детерминистский      28
Вывод индуктивный      5 27
Вывод статистический      98
Вывод традуктивный      5
Выводимость      21
Вычислимость эффективная      16
Гипотеза альтернативная      108
Гипотеза альтернативная о регрессии однородности      138
Гипотеза альтернативная о сдвиге однородности      138
Гипотеза альтернативная об общей регрессии однородности      166
Гипотеза альтернативная об эволюции однородности      138
Гипотеза нулевая      108
Гипотеза о d-однородности      135
Гипотеза о независимости      149
Гипотеза о сдвиге однородности      135
Граница разумная      180
Граф      88
Дедукция обратная      28
Денотат      19
Дередуцирование      66
Деспецифицирование      66
Дизъюнкция      36
Дизъюнкция квазиэлементарная      53
Дизъюнкция псевдоэлементарная      80
Дизъюнкция элементарная      40
Дизъюнкция элементарная выделенная      52
Дисперсия случайной переменной      97
Дистрибутивность      40
Дополнительность      40
Заключение непосредственное      19
Закон де Моргана      40
Значение абстрактное      20
Значение выделенное      21 173
Значение имени      19
Значение истинностное      42
Значение наименее благоприятное      151
Значение особое      70
Значение подходящее      228
Значение регулярное      70
Идемпотентность      39
Идентификация      107
Изоморфизм      32
Имена абстрактных значений      19
Именуемость      103
Импликация      36
Имя единичное      19
Имя специальное      19
Интеллект искусственный      177
Информация неполная      70
Истина      36
Истина вспомогательная      182
Истина релевантная      178
Истина релевантная эмпирическая      173
Истинность значения      16
Исчисление $\times$-предикатное      73
Исчисление качественное      81
Исчисление миниатюрное      43
Исчисление непрерывно порождаемое      231
Исчисление одноимпликационное      8
Исчисление предикатов      17
Исчисление предикатов классическое      85
Исчисление предикатов обычное      85
Исчисление предикатов эмпирическое      35
Исчисление предикатов эмпирическое классическое      85
Исчисление предикатов эмпирическое монадическое      51
Исчисление предикатов эмпирическое монадическое классическое      51
Исчисление псевдоэмпирическое      103
Исчисление с неполной информацией      70
Исчисление функторное      41
Исчисление функторное эмпирическое      44
Исчисления пропозициональные      8
Исчисления ранговые      134
Квазиупорядочение      63
Квантиль      119
Квантор      36
Квантор антецедентный      191
Квантор ассоциативный      61
Квантор безопасный      187
Квантор большинства      37
Квантор вероятной p-импликации      114
Квантор замыкания      185
Квантор импликации      37
Квантор исполнительный      154
Квантор Кендалла      162
Квантор классический      37
Квантор корреляционный      160
Квантор Мостовского      46
Квантор насыщенный      67
Квантор обобщенный      35
Квантор обоснованной p-импликации      37
Квантор общности      37
Квантор объектный      45
Квантор определимый      52
Квантор подозрительной p-импликации      114
Квантор полезный      185
Квантор полезный консервативный      206
Квантор послеследования      191
Квантор предшествования      191
Квантор присутствия      182
Квантор простой ассоциации      37
Квантор ранговый      162
Квантор ранговый безопасный      163
Квантор ранговый корреляционный      165
Квантор ранговый регрессионный      227
Квантор ранговый сильный      163
Квантор регулярно-значный      72
Квантор Решера      49
Квантор сильной эквивалентности      72
Квантор смешанный      45
Квантор сопряженности      132
Квантор состояний      45
Квантор Спирмена      162
Квантор сукцедентный      191
Квантор существенно двузначный      81
Квантор существенно трехзначный      82
Квантор существования      37
Квантор универсально определимый      187
Квантор уровня $\alpha$      161
Квантор Фишера      117
Квантор характерный      135 153
Квантор Хёртига      46
Класс кванторов монотонный      158
Класс критериев монотонный      235
Когерентность      69
Кодирование словами      25
Кодирование формул      36
Кодирование элементов      23
Коммутативность      39
Компактность      85
Конъюнкция      36
Конъюнкция псевдоэлементарная      80
Конъюнкция универсальных замыканий      90
Конъюнкция элементарная      40 79
Корректность правила вывода      21
Кортеж      22
Коэффициент      79
Коэффициент корреляции      43
Коэффициент корреляции общий      165
Коэффициент ошибок вывода      239
Коэффициент ошибок эксперимента      240
Коэффициент ранговой корреляции Кендалла      150
Коэффициент ранговой корреляции Спирмена      150
Критерий квадрантный      167
Критерий непараметрический      139
Критерий несмещенный      109
Критерий равномерно наиболее мощный      109
Критерий ранговый      134
Критерий рациональности правил вывода      16
Критерий Хага      166
Критерий эмпирический      108
Критерий эмпирический асимптотический      109
Линеаризация выделенная      163
Линеаризация критическая      164
Литерал      40 79
Логика выдвижения гипотез      11
Логика индукции      11
Логика нечеткая      8
Логика открытия      11
Логика открытия математическая      16
Логики многозначные      8
Ложь      36
Машина Тьюринга      22
Мера      97
Мера вероятностная      34 97
Мера индуцированная      68 97
Мера счетная обобщенная      97
Метод остатков      7
Метод различия      7
Метод реализуемый      175
Метод сходства      7
Многообразие моделей      85
Многообразие моделей проективное      86
Многообразие моделей элементарное      86
Множество $\Sigma$-состояний      33
Множество альтернатив      180
Множество возрастающе независимое      200
Множество выделенных значений      173
Множество диофантово      90
Множество достаточное      181
Множество замкнутое      189
Множество замкнутое экономное      189
Множество кодов рекурсивное      36
Множество наследственное конечное      30
Множество нерегулярное      101
Множество несущее      32
Множество основное      32
Множество покрываемое      241
Множество покрываемое разумное      242
Множество регулярное      100
Множество рекурсивно перечислимое      23
Множество рекурсивное      23
Множество релевантных вопросов      173
Множество существенных гипотез      17
Множество упорядоченное      32
Множество утверждений важное      173
Модель      20
Модель каноническая      91
Модель нумерованная      152
Модель функторного исчисления      42
Модель частичная      20
Модель эмпирическая      25 86
Наследственность      30
Насыщаемость кванторов      125
Независимость по вероятности      98
Независимость слабая      178
Независимость строгая      178
Несокращаемость      196
Нумерация      139
Нумерация гёделевская      23
Область      32
Обобщение индуктивное      15
Обобщение теоремы Крейга      29
Общий GUHA-метод      215
Объект конечный      24
Объект экстралингвистический      20
Ожидание математическое      47
Операции над данными      14
Описание данных      16
Определимость кванторов      54
Основание знания      16
Отношение      18
Отношение "часть"      27
Отношение a-лучше      62
Отношение бинарное      32
Отношение позитивного расширения      226
Отношение рекурсивное      23
Отношение эквивалентности      49
Отрицание      36
Оценка      107
Ошибка второго рода      108
Ошибка первого рода      108
Ошибка первого рода глобальная      237
Пара критическая      217
Пара нежелательная      94
Переименование переменных      48
Переменная выделенная      51
Переменная дискретная      98
Переменная свободная      36
Переменная связанная      36
Переменная случайная      33 97
Переменная случайная нумерующая      139
Переменные для множеств      91
Переменные числовые      91
Перечислимость      23
Плотность распределения      128
Покрытие монотонное      201
Покрытие узлов      180
Поле      32
Полнота правил вывода      21
Полу множество      88
Понятие эмпиричности неформальное      25
Пополнение импликационное      219
Пополнение карты      71
Пополнение наихудшее      219
Пополнение симметричное      219
Пополнение структуры      70
Порядок      216
Порядок выделенный      215
Последовательность переменных      36
Построение языков      42
Правила статистического вывода      98
Правило вывода      18
Правило вывода детерминистское      28
Правило вывода индуктивное      27
Правило вывода корректное      21
Правило вывода полное      21
Правило вывода регулярное      29
Правило вывода рекурсивное      24
Правило вывода транзитивное      29
Правило дедукции      21
Правило дедукции инвариантное      235
Правило комбинированное      207
Правило одновременного отрицания      65
Правило рационального вывода      15
Правило симметрии      65
Предикат      36
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте