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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Неразрешимость логики      235
Несовместность      24
Неусеченная относительная клауза      39
Нехорновская клауза      32
Неявная только-если посылка      228
Николя (Nicolas)      54
Нильссон (Nilsson)      14 16 87 96 107 147
Нисходящее опровержение      68
Нисходящее параллельное опровержение      70
Нисходящий      22
Нисходящий вывод      63
Нисходящий синтаксический анализ      63
Нотация инфиксная      37
Нотация префиксная      37
Ньюэлл (Newell)      87 194
О сломанной шахматной доске задача      204
О сортировке задача      133
О сосудах с водой задача      87
Об обращении стрелок задача      116
Обращение к процедуре      118
Общая закономерность      54
Общий пример      82
Общности квантор      208
Объектный язык      241
Означивание      30
Операторы      87
Определение натурального числа      228
Определение подмножества      191
Определение факториала      27
Определения      225
Определяемые отношения      152
Опровержение      68
Опровержение восходящее      67
Опровержение нисходящее      68
Опровержения процедура      74
Освобождение от кванторов общности      211
Остова аксиома      150
Остова проблема      147
Ответа выделение      58
Отделение логики от управления      138
Отделение структур данных      134
Откладывания на потом принцип      105
Открытый мир, предположение о нем      229
Относительное местоимение      39
Отношение      19
Отношение бинарное      48
Отношение Сохраняет      149
Отрицание      42
Отрицание как неудача      234
Охраняемые команды      125
Оценочная функция      95
Палиндром      84
Память человека      46
Парадокс самоприменимости      240
Параллельный поиск      125
Параллельный режим      128
Параметр входной      122
Параметр выходной      122
Патерсон (Paterson)      73
Первичные отношения      152
Переименование переменных      164
Переименование предикатных символов      155
Перейра (Pereira)      14 56 118 247
Перекрытие      196
Переменная      20
Петржиковски (Petrzykowski)      111
Пиротт (Pirott)      54
Пирс (Peirce)      255
ПЛЭННЕР      110
По умолчанию рассуждения      256
Повторяющаяся подцель      106
Поддержки процедура      253
Подмножества определение      191
Подстановка      82
Подстановка наиболее общая      67
Подстановка согласующая      82
Подстановки компонент      84
Подстановки применение      82
Подформула      212
Подцелей выбора стратегия      104
Подцель      107
Поиск бесконечный      77
Поиск вглубь      76
Поиск вширь      76
Поиск пути      87
Поиск решений      87
Поиск эвристический      95
Поиска пути задача      133
Поиска пути поисковые сгратегии      95
Поиска решений задач метод      99
Поисковая стратегия      74
Поисковая стратегия для поиска пути      95
Поисковая стратегия для пространств редукции задач      107
Поисковая стратегия исчерпывающая      79
Полезность      255
Полнота      77
Полнота процедуры доказательства методом графа соединений      189
Поль (Pohl)      112
Поплер      110
Попль (Pople)      87
Поппер (Popper)      256
Последователь      24
Последовательный поиск      124
Построение компиляторов      56
Построение планов      147
Постусловия      149
Посылка      17
Посылки выбор      76
Правиц (Prawitz)      15 73
Прагматика      132
Пратт (Pratt)      143
Предикат      21
Предикатного символа переименование      155
Предикатный символ      21
Предикатный символ бинарный      37
Предикатный символ унарный      37
Предложение      208
Предложение атомарное      16
Представление n-арное      49
Представление бинарное      50
Представление пространства поиска в виде графа      100
Представление пространства поиска в виде дерева      97
Предусловия      149
Преобразующие системы      74
Префиксная нотация      37
Приведение к клаузальной форме      211
Применение подстановки      31
Применение процедуры      100
Пример      29
Пример общий      82
Принцип немедленного рассмотрения      105
Принцип откладывания на потом      105
Принцип чистоты      177
Приоритета отношение между кванторами и связками      211
Приоритета отношение между функциональными символами      121
Присваивание      161
Присовокупление добавочной информации      201
Проблема остова      147
Проблема синтаксического анализа      63
Программ эквивалентность      133
Программа      27
Программного комплекса проектирование      134
Программные преобразования      135
Программные спецификации      138
Программы верификация      219
Программы извлечение (вывод)      219
Программы корректность      140
Программы остановка      193
Программы свойства      219
Программы семантика      219

Продемонстрировать отношение      242
Производные эквивалентности      214
ПРОЛОГ      55
Пропозициональная логика      166
Пропозициональные связки      207
Пространства поиска представление в виде графа      100
Пространства состояний аксиома      150
Пространства состояний задача      147
Пространство поиска      75
Процедура      97
Процедура грамматического разбора Эрли      106
Процедура доказательства      74
Процедура доказательства методом графа соединений      177
Процедурная интерпретация      118
Процедуры доказательства трасса      250
Процедуры имя      118
Прямое выполнение      241
Псевдосвязь      187
Пустая клауза      100
Пустое множество клауз      178
Пучок дуг      97
Рабин (Rabin)      181
Равенство      57
Разделение времени      129
Разл отношение      150
Раскрутка      246
Расходящиеся от центра рассуждения      165
Расширенная семантическая сеть      47
Расширенное И-ИЛИ дерево      100
Расщепление      111
Реализация резолюции с разделением структур      165
Ребо (Reboh)      141
Редукции задач стратегии поиска      107
Редукция задач      97
Резольвента      164
Резолюции реализация с разделением структур      165
Резолюция      164
Резолюция аналитическая      83
Резолюция взаимная графовая      83
Резолюция линейная      83
Резолюция упорядоченная линейная      83
Рейтер (Reiter)      16 83 229 256
Рекурсивное определение      228
Рекурсивные структуры данных      119
Рекурсивные уравнения      141
Рекурсии теория      136
Рекурсия      132
Реляционная база данных      53
Реляционное исчисление      57
Рефлексии принцип      244
Решение дизъюнктное      171
Решение задач по образцу      115
Робинсон (Robinson)      15 73 83 152 162 166 172 177 188 197
Родительская клауза      164
Рулифсон (Rulifson)      141
Руссель (Roussel)      14 55 110 118
Саймон (Simon)      87 194
Самбук (Sambuc)      54 55
Сассмен (Sussman)      109 111 141 257
Свободная переменная      209
Свойство      19
Связанная переменная      209
Связки      31
Связь      189
Сейл      110
Семантика      24
Семантика программы      219
Семантическая сеть      46
Семантическая сеть расширенная      47
Сеть расширенная семантическая      47
Сеть семантическая      46
Сикель (Siekel)      83 140 191 215 220
Символ константный      18
Символ предикатный      21
Символ функциональный      18
Символьное интегрирование      138
Симмонс (Simmons)      48
Симула      129
Синтаксис      21
Синтез      63
Синтез органических смесей      160
Сир (Syr)      54
Система диагностики      141
Система понимания текста      254
Системы вывода корректность      83
Системы вывода полнота      83
Словарь      33
Совместность      30
Согласующая подстановка      82
Согласующая процедура      100
Соединений граф      177
Сопоставление      67
Сопрограммы      129
Сост (функциональный символ)      119
Состояние      95
Состояние исходное      87
Состояние целевое      87
Сохраняет отношение      149
Спецификаций язык      132
Спецификация программ      207
Список      120
Стандартная форма логики      207
Стандартная форма логики приведение к клаузальной форме      211
Стандартная форма логики, семантика      207
Стратегия "последним пришел, первым ушел"      80
Стратегия выбора      80
Стратегия выбора подцелей      104
Стратегия поиска      95
Стрелочное обозначение      112
Стэллмен (Stallman)      111 257
Существование      40
Существования квантор      208
Существования квантора исключение      213
Сэйсердоти (Sacerdoti)      141 147 161
Таблицы      52
Тавтология      188
Тарнлунд (Tarnlund)      140 220 237
Тело процедуры      118
Теорема Эренфойхта — Рабина      181
Термы      21
Термы составные      22
Типы      38
Только-если      45
Только-если части определений      217
Транзитивность      40
Трасса процедуры доказательства      250
Треугольник      63
Трэвис (Travis)      54 191
Тэйт (Tate)      161
Удаление избыточных подцелей      194
Удаление клауз      178
Удаление пустых кванторов      210
Удаляемые предложения      150
Уинстон (Winston)      14
Унарный предикатный символ      37
Универсальный решатель задач      87
Универсум дискурса      28
Унификатор наиболее общий      82
Унификации алгоритм      73
Унификация      82
Уолдингер (Waldinger)      16 140 161 172 215 220
Уоррен (Warren)      14 16 55 56 106 118 132 159 161 247
Упорядоченная линейная резолюция      83
Управляемая дедукция      153
Управляющий компонент      138
Управляющий язык      140
Усеченная относительная клауза      39
Устранение несовместности целевых предложений      196
Устранение подцелей, которые опровергаются примерами      193
Утверждение      43

1 2 3

О проекте