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

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

blank
blank
blank
Красота
blank
Рафаэл Б. — Думающий компьютер
Рафаэл Б. — Думающий компьютер



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



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


Название: Думающий компьютер

Автор: Рафаэл Б.

Аннотация:

Книга вводит читателя в круг современных представлений о возможностях искусственного интеллекта, реализованного средствами вычислительной техники и кибернетики. Автор, известный американский специалист в области искусственного интеллекта, один из создателей первого интегрального робота "Шейки", способного видеть, двигаться, принимать различные решения и самостоятельно действовать в относительно несложной окружающей обстановке, предпринял попытку подытожить достигнутое в этой области, а также наметить пути дальнейшего продвижения к кибернетическому разуму. Рассчитана на широкий круг читателей, интересующихся вопросами искусственного интеллекта. Свежестью идей она привлечет к себе внимание также специалистов-кибернетиков.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
"Животное Гопкинса"      328
apt      26—27 37
BASEBALL      194—195 250
DENDRAL      393 394
ELIZA      197 254—256
IBM      19 36 59 342
LOGO      372
MH-1      331 343
PLANEX      351 353 363
PLANNER      263
SCHOLAR      374—375
SIR      253
STRIPS      199 226 350—353 363
STUDENT      251
Автоматическое программирование      219 394—5
Алгоритм Британского музея      85
Алгоритм Вонга      151—152 167 179
Алгоритм для графов А*      113—117 351
Алгоритм для дерева $A^T$      105—107
Алгоритм информированный $A^kT$      108—112
Анализ сцен      297 304 307 311 315
Анализ ЭКГ      382
Аппаратная часть ЭВМ      15 20 32 43
Арифметическая машина      16 42
Атомная формула      158 167—168
База данных      225
Блок ЭВМ арифметический      24
Блок ЭВМ управления      24
Ветвь дерева      91 125
Винограда система      248 262 266 337
Вокансона утка      332
Вопросно-ответная система      249 266 268
Выделение ответа      173 179 256
Выделение свойств      136 178 196
Глубина дерева      99
Глубина узла      99
Го      117 127
Гомеостат      326—327
Грамматика      231 268
Грамматика падежная      246
Грамматика системная      248 262
Грамматика структурная      234 268
Грамматика трансформационная      241 268
Граф      94 113 128
Граф ориентированный      95
Графопостроитель      31
Датчик      43
Датчик видео      273 282
Датчик касания      341
Датчик расстояния      357
Дедукция      145 147 157
Действия низшего уровня (ДНУ)      349 351—354 363
Действия промежуточного уровня (ДПУ)      350—354 363
Дерево      94—112
Дерево игры      117—122 129
Дизъюнкт      156 163
Дуга      91 94—98
Дуга неориентированная      128
Дуга ориентированная      128
Задание дерева неявное      99
Задание дерева явное      99
Задача криптоарифметическая      45 88—93
Задача о коммивояжере      47
Задача о ханойской башне      110—113
Задача поиска по дереву      99
Знания в естественных языках      252
Знания в играх      126—128
Знания в роботах      354 358—359
Знания при поиске по дереву и графу      107—117 129
Изображение      279—295 306—307 314
Изображение несовершенное      307
Изображение цветное      311
Изображение черно-белое      311
Индивидуальная переменная      158
Интерпретатор      37 43
Информационно-поисковая система      225
Исчисление высказываний      147—148 153 179
Исчисление предикатов      157—162 166 179 349
Исчисление предикатов 1-го порядка      174 200 348 351
Кванторно-свободная форма      162 165
Классификация образов      133—143 178 215
Компилятор      36 43
Компонент грамматики основной      241
Компонент грамматики трансформационный      241
Лабиринт      213
Логика вероятностная      176—177
Логика высших порядков      175
Логика вычислительная      172
Логика многозначная      177
Логика модальная      176
Логика нечеткая      177
Логика формальная      145
Логические переменные      147 179
Логические посылки      149 200
Логические предложения      146
Логические связки      147 179
Макроассемблер      35
Макрокоманда      35
Манипулятор      330 343 360 389
Массачусетский технологический институт (МТИ)      118 127 220 297 330 340 355 358 372 385 392
Метод доказательства теорем семантический      146 179
Метод доказательства теорем синтаксический      147 179
Микрокомпьютер      358
Микрофильм      31
Минимаксная процедура      124 130 217
Моделирование      224 380
Моделирование роботов      336—338
Моделирование эксперимента      370
Неопределенность      240
Неразрешимость      160—161
Неформальные методы решения задач      181—183
Обучение концептуальное      209 219—222
Обучение методам      209 218—219
Обучение механическое      209 213—214
Обучение параметрическое      209 215—218
Обучение программированное      366 376
Объекты GPS      189
Операторы GPS      189 226
Оценивающая функция      123 126
Память ЭВМ      21 43
Периферийное оборудование      21 24 31 43
Поведение человека      182
Поиск в глубину      103 129 186
Поиск в ширину      102—103 129
Поиск двунаправленный      117
Поиск методом постепенного углубления      104 129
Поиск пути минимальной стоимости      104 114—116 129
Правильно построенная формула (ппф)      146—152 156—159 184 201
Предикат      158—159 162
Предложение исчисления предикатов      160
Представление задачи      44 81
Представление задачи редукционное      98 128
Представление задачи с описанием состояний      98 128
Представление знаний      74—79
Представление списковое      64 67 69
Представление строковое      64 66 69
Преобразователь аналого-цифровой      28—30 314
Преобразователь цифро-аналоговый      31
Проблема описания фактов      190—191 226
Программа для ЭВМ      17 23 25 36 41
Программное обеспечение      32 43 345 358
Пространство поиска      82—94 128
Противоречие      156 165 174
Прототип      137 215
Психология      377—379
Различия GPS      189 226
Распознавание изображений      284 295 302 308 310
Распознавание образов      132 143
Распознавание речи      263 269
Расширенные сети переходов      257
Рациональная предикативная функция      246
Режим смешанной инициативы      374—376
Резолюция      155 162 167—170 196
Резолюция пропозициональная      154—155 167 174 179
Рука робота      344—345 355
Световое перо      31
Семантика      231 268
Семантическая категория      243—245
Семантическая память      252 257
Силлогизм      149—150
Синтаксис      231 268
Списки изъятий и дополнений      201 351—352
Список      39—41 62 80
Стоимость дуги      99
Стоимость пути      101
Стратегия линейного формата      171
Стратегия поддерживающего множества      171
Стратегия предпочтения одночленам      171
Строка      39—40 62 80
Структура древовидная      99
Структура иерархическая      41
Структура предложения глубинная      241
Структура предложения поверхностная      241
Структура пространства поиска      87
Структура списковая      40 62
Таблица истинности      150 154 156
Таблица связей      184
Телевизионная камера      314 319 338 340 345 350 358
Телеоператор      330
Теория концептуальной зависимости      247 257
Теория множеств      198
Терминальный символ      234
Тренажер      335
Тринга изобретения      332—334
Узел      91 94 128
Узел корневой      95 129
Узел последующий      99 128
Узел предшествующий      99 128
Узел целевой      101 129
Узнавание      131
Указатель в списке      40
Универсальная система решения задач GPS      182 189 226 380
Университет Гарвардский      161
Университет Джона Гопкинса      328
Университет Карнеги—Меллона      127 266
Университет Стэнфордский      62 262 342 355 361 385 393
Университет Эдинбургский      363
Уолтера черепаха      327
Устройства ввода-вывода      21 24 27—32
Ферма последняя теорема      84
Формальный вывод      145
Фортран      36
Фредди (робот)      355
Целевое утверждение      202
Центральный процессор      21 24 43
Частный случай      166
Шаблон      283 289 291 314
Шахматный турнир среди ЭВМ      127
Шахматы      66—69 118 127 213
Шашки      58 127 213
Шейки (робот)      19 319 347—355 363
ЭВМ аналоговая      25—26
ЭВМ параллельная      26—27
ЭВМ последовательная      25—27
ЭВМ специализированная      23
ЭВМ универсальная      25 42
ЭВМ цифровая      25—27 42
Эквивалентность логических предложений      155
Эффектор      31 43 343 358 363
Язык ассемблера      34—35 43 59
Язык естественный      69—71 229—230
Язык искусственный      229—230
Язык исчисления предикатов      160
Язык машинный      34 43
Язык обработки символьных данных      37—38
Язык проблемно-ориентированный      35—36 43
Язык программирования      199 223 395
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте