Ковальски Р. — Логика в решении проблем :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Ковальски Р. — Логика в решении проблем

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

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

Название: Логика в решении проблем

Автор: Ковальски Р.

Аннотация:

Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.
Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Cons      41
G-дедукция      83
modus ponens      68
Modus Tollens      69
n-арное представление      49
Q-система      70
QA4      110
QLISP      110
Query-by-example      54
SL-резолюция      83
Абдуктивная гипотеза      256
Авторезольвентная клауза      186
Аксиома остова      150
Аксиома пространства состояний      150
Активная клауза      184
Алгоритм      138
Альтернативные посылки      216
Альфа бета стратегии      107
Анализ      63
Анализ вариантных структур      48
Анализ инвариантных свойств      202
Анализ различий      199
Аналитическая резолюция      83
Аналогия      115
Андерсон (Anderson)      259
Аннулирующая система Колмероэ      191
Антецедентный тип теоремы      142
Аргумент      22
Ассоциативность дизъюнкции      211
Ассоциативность конъюнкции      210
Атом      21
Атомарная формула      19
Атомарное высказывание      17
База данных      52
База данных кафедры      55
База данных реляционная      53
База данных, запрос      53
База данных, формальные средства описания      138
Банди (Bundy)      14 16 56 181
Белнап (Belnap)      259
Бергман (Bergman)      56 122 138
Берстэлл (Burstall)      135 140 193 220
Бесконечный поиск      77
Бибел (Bibel)      140 143 190 215 220
Бинарное дерево      119
Бинарное отношение      48
Бинарное представление      50
Бинарный предикатный символ      37
Бледшоу (Bledsoe)      15 84 111 198 215
Бойер (Boyer)      165 220
Бранохе (Bruynooghe)      14 111 188
Браун (Brown)      20 83 190 215
Броу (Brough)      111
Брэнд (Brand)      83
Быть истинным      166
Бэктрекинг      76
Бэктрекинг интеллектуальный      131
Вайз (Wise)      130
Вайраух (Weyhrauch)      244
Ван дер Бруг (Van der Brug)      87
Ван Эмден (Van Emden)      16 54
Вариант      73
Вариантных структур анализ      48
Вглубь поиск      76
Вегман (Wegman)      73
Верификация программ      219
Ветвей и границ метод      96
Взаимная графовая резолюция      83
Взаимодействующие последовательные процессы      129
Виноград (Winograd)      141 143
Включающее понимание связки ИЛИ      31
Восходящее выполнение      130
Восходящее опровержение      67
Восходящий      22
Восходящий вывод      81
Восходящий синтаксический анализ      63
Восьми ферзей задача      144
Вуд (Wood)      96
Входной компонент      100
Входной параметр      122
Входные данные      100
Выбора стратегия      79
Вывод (извлечение) программ      219
Вывод восходящий      81
Вывод несовместности      257
Вывод нисходящий      79
Вывода правила      74
Вызов процедур по мере необходимости      134
Выполнение снизу вверх      130
Выражение      31
Выходной компонент      100
Выходной параметр      122
Выходные значения      100
Вычисление      27
Гедель (Godel)      240
Гелернтер (Gelernter)      87 198
Геометрические доказательства, использование диаграмм      197
Гиперрезолюция      84
Глобальные стратегии поиска решений      193
Грамматика контекстно-зависимая      70
Грамматика контекстно-свободная      70
Грамматического разбора дерево      63
Граф соединений      177
Графопроходец      87
Грин (Green)      54 151 172
Дал (Dahl)      54 55
Данных ноток      130
Данных отделение      134
Данных структуры      119
Данных структуры рекурсивные      119
Дарвеш (Darvas)      56 160
Дарлингтон (Darlington)      54 135 140 193 199 220
Двунаправленное рассуждение      169
Двунаправленный поиск      114
Двунаправленный поиск решений      109
Двусмысленность только-если частей      230
Де Лонг (de Long)      138
Дейкстра (Dijkstra)      125 220
Действия      147
Делиянни (Deliyanni)      47 125
Дерево И - ИЛИ      87
Дизъюнктивные заключения      217
Дизъюнктные решения      171
Дизъюнкция      212
Дискурса универсум      28
Добавление замещающих подцелей      193
Добавление посылок      245
Добавляемые предложения      150
Дойл (Doyle)      111 257
Доказательства теория      83
Доказательство геометрических теорем      56
Доказательство наличия свойства программы      236
Доказательство по индукции      237
Доказуемости формализация      30
Документирование      135
Доран (Doran)      87
Доступность следствий      253
Доусон (Dawson)      197
Дэвис (Davies)      141
Если-и-только-если      225
Естественный язык      46
Зависимые подцели      102
Задача грамматического разбора      63
Задача о восьми ферзях      144
Задача о допустимых парах      129
Задача о крестьянине, волке, козе и капусте      116
Задача о мире блоков      135
Задача о поиске пути      89
Задача о распознавании арки      107
Задача о сломанной шахматной доске      204

Задача о сортировке      133
Задача о сосудах с водой      87
Задача об обращении стрелок      116
Задача построения плана      147
Задача пространства состояний      147
Задача символьного интегрирования      138
Заключение      17
Замещающее ограничение      195
Замкнутый мир, предположение о нем      229
Запросно-ответный      54
Запросов язык      53
Зацикливание      106
Зацикливания распознавание      199
Зиберт (Sibert)      197
Зикман (Siekmann)      190
Значение      21
И-ИЛИ дерево      87
И-ИЛИ дерево расширенное      100
Игра      107
Избыточность      83
Извлечение (вывод) программ      219
ИЛИ включающая интерпретация      31
Импликация      19
Имя индивида      208
Инвариантов анализ      202
Индивид      19
Индуктивное обобщение      255
Индукции схема      236
Интегрирование символьное      138
Интеллектуальный бэктрекинг      131
Интерпретация      28
Интерпретация клауз Хорна в терминах поиска решений      99
Интерфейсные процедурные вызовы      135
Инфиксная нотация      37
Инфиксный функциональный символ      37
Информационная система      253
Информационный поиск      199
Исключающее понимание связки ИЛИ      31
Исключение кванторов существования      213
Искусственный интеллект      87
Истина      31
Истинности поддержание      257
Исходное состояние      87
Исчерпывающая стратегия поиска      79
Исчисление реляционное      57
Итерация      132
Кан (Kahn)      130
Кануи (Kanoui)      55 122 138
Кафедры база данных      55
Качественное упорядочение      47
Квайн (Quine)      13 257
Квантор      207
Квантор общности      208
Квантор существования      208
Квиллиан (Quillian)      48
Келлог (Kellog)      54 191
Кларк (Clark)      14 16 140 141 215 220 232 234 237
Клауз пустое множество      178
Клауз удаление      178
Клауза      18
Клауза авторезольвентная      186
Клауза неусеченная относительная      39
Клауза нехорновская      32
Клауза пустая      100
Клауза усеченная относительная      39
Клауза Хорна      32
Клаузальная форма      21
Клэр (Klahr)      54 191
Ключ      53
Ковальски (Kowalski)      16 47 83 84 87 96 107 118 125 143 190
Кодд (Codd)      52 53 119 136 143
Коелхо (Coelho)      56
Кокс (Cox)      111
Колмероэ (Colmerauer)      14 16 54 55 70 110 119 166 191 247
Колмероэ аннулирующая система      191
Коммутативность дизъюнкции      214
Компонент подстановки      84
Коннайвер      110
Консеквентный тип теоремы      142
Константный символ      20
Контекстно-зависимая грамматика      70
Контекстно-свободная грамматика      70
Концептуальный анализ действий      61
Конъюнкция      211
Корректная представимость      241
Корректность      83
Кюнер (Kuehner)      83 84 87
Лавлэнд (Loveland)      15 83 87 106 174 197
Лакатос (Lakatos)      256 259
Лакхэм (Luckham)      83
Лемма      106
Лемма негативная      106
Ли (Lee)      15 172
Линейная резолюция      83
Лисл      119
Логик-теоретик      87
Логика      139
Логика пропозициональная      166
Логики стандартная форма      207
Логическая импликация      19
Логическая программа      118
Логический компонент      138
Логический софизм      228
Ложь      30
Лоулер (Lawler)      96
Макдермотт (McDermott)      111 141
Маккарти (McCarthy)      115 118 151 247
Маккейб (McCabe)      14 16 141
Макропроцессирование      183
Макскимин (McSkimin)      54 197 199
Манна (Manna)      140 215 220
Маркуш (Markusz)      56
Мартелли (Martelli)      73
Массив      124
Математическое программирование      193
Машина для доказательства геометрических теорем      87
Мельцер (Melzer)      155 162 181
Местоимение относительное      39
Мета-язык      241
Механики задачи      56
Микроплэннер      110
Минимаксная стратегия      107
Минкер (Minker)      54 87 125 197 199
Минский (Minsky)      115 237 256 261
Мичи (Michei)      83 87
Модель исключения      83
Монотонности критика      237
Монтанари (Montanari)      73
Моррис (Morris)      130
Мосс (Moss)      16 122 159 160 172
Мур (Moor)      166 175 220
Мюррэй (Murray)      215
Наиболее общая подстановка      67
Наиболее общий унификатор      82
Наследственные свойства связей      188
Натуральной дедукции системы      215
Научная теория      253
Невннс (Nevins)      215
Негативная лемма      106
Негативные цели и утверждения      162
Недстерминизм      125
Недстерминизм второго рода      127
Недстерминизм первого рода      125
Недстерминизм «не забочусь»      125
Недстерминизм «не знаю»      125
Независимые подцели      101
Неоднозначность      38
Неполнота формализации доказуемости      240
Неполнота формальной арифметики      240
Непротиворечивость      83

1 2 3

О проекте