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

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

blank
blank
blank
Красота
blank
Осуга С. — Обработка знаний
Осуга С. — Обработка знаний



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



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


Название: Обработка знаний

Автор: Осуга С.

Аннотация:

Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, а также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ на различных этапах решения проблемы, модели решения и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний.
Для специалистов в области инженерии знаний и искусственного интеллекта, а также студентов соответствующих специальностей.


Язык: ru

Рубрика: Computer science/

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Аксиома      146
Аксиома включения      148
Аксиома выбора      149
Аксиома замены      148
Аксиома множества бесконечного      149
Аксиома множества пустого      148
Аксиома множества расширенного      148
Аксиома общности      148
Аксиома пары      148
Аксиома регулярности      148
Аксиома суммы множеств      149
Алгоритм      15
Алгоритм дедуктивного вывода      125
Алгоритм доказательства      129
Алгоритм поиска      24
Алгоритм унификации      129
Алгоритм управления      72
Антецедент      136
Антитезис      91
Аргумент      86
Аргумент предиката      87
Архитектура систем обработки знаний      226
Ассоциация      231
Атом      87
Атрибут      38
Атрибут слота      57
База данных      35
База данных высокоуровневая      210
База данных глобальная      38
База данных дедуктивная      210
База данных инженерная      208
База данных логическая      209
База данных реляционная      209
База знаний      16
Бэктрекинг      23
Вывод      34
Вывод в логике предикатов      48
Вывод в модели доски объявлений      51
Вывод во фреймовой системе      59
Вывод восходящий      39
Вывод высокоуровневый      225
Вывод дедуктивный      36
Вывод индуктивный      232
Вывод монотонный      65
Вывод немонотонный      232
Вывод нисходящий      40
Вывод обратный      38
Вывод по аналогиям      232
Вывод прямой      38
Вывод- эвристический      196
Выражение неунифицируемое      129
Выражение предикатное      129
Выражение составное      90
Выражение унифицируемое      129
Высказывание      48
Гипотеза      196
Де Моргана правила      112
Дедукция      125
Дедукция формальная      145
Действие      34
Декомпозиция      46
Декомпозиция множества знаний      70
Декомпозиция семантической сети      70
Демон      61
Дерево вывода      125
Дерево дедуктивное      125
Дерево поиска      24
Диагностика медицинская      59
Знания      9
Знания неполные      256
Знания поверхностные      76
Знания экспертов      32
Импликация      91
Имя фрейма      58
Индукция      231
Инженерия знаний      31
Интеллект искусственный      7
Интерпретатор правил      38
Интерпретация      94
Интерпретация аксиом      149
Интерпретация информации      183
Интерпретация машинная      182
Интерпретация процедурная      259
Интерпретация реального на абстрактное      223
Интерпретация семантики      182
Интерпретация теории множеств      219
Интерфейс человеко-машинный      250
Интуиция      231
Истина логическая      81
Источник знаний      51
Квалификация      94
Квантор общности      93
Квантор существования      93
Компьютер обработки знаний      193
Консеквент      99
Консеквенция логическая      133
Концепт      45
Критерий диагностический      59
Литералы      123
Литералы дополнительные      124
Логика высказываний      124
Логика математическая      46
Логика многосортная      268
Логика многоуровневая      269
Логика нечеткая      232
Логика предикатов      46
Логика предикатов высокого порядка      139
Логика предикатов первого порядка      137
Логика препозиционная      129
Ложь логическая      81
Машина выводов      246
Метазнания      53
Метауровень      255
Метод вывода      133
Метод доказательства теорем      103
Метод опровержения      122
Метод поиска      19
Метод порождающий      147
Метод проб и ошибок      172
Метод резолюции      108
Механизм выводов      12
Механизм обмена сообщениями      71
Механизм умолчания      57
Множественность миров      254
Множество клаузальное      119
Множество расширенное      220
Множество расширенное многократно      220
Моделирование      236
Моделирование имитационное      236
Моделирование математическое      236
Моделирование машинное      238
Модель      252
Модель ассоциативная      45
Модель грубая      228
Модель данных      203
Модель доски объявлений      50
Модель концептуальная      230
Модель локальная      172
Модель математическая      237
Модель объекта      212
Модель проблемы      166
Модель проблемы синтеза      172
Модель универсальная      261
Модульность знаний      65
Модус поненс      101
Мощность языка описательная      188
Наследование      57
Наследование атрибутов      57
Независимость знаний      49
Непротиворечивость моделей      253
Нечеткость      259
НОУ      129
Область проблемная      19
Обмен сообщениями      59
Обработка знаний      9
Обработка параллельная      260
Обработка символьная      135
Операции алгебраические      186
Операции булевой алгебры      186
Описание декларативное      247
Описание предикатами      262
Описание процедурное      72
Описание структурное      72
Оценка состояния      22
Переменная свободная      93
Переменная связанная      93
Перенос знаний      235
Подстановка      126
Подстановка сложная      128
Поиск      19
Поиск вертикальный      25
Поиск горизонтальный      25
Поиск слепой      23
Поиск эвристический      25
Посылка      34
Правило вывода      196
Правило подобия      226
Правило порождающее      147
Правило продукционное      34
Правило семантическое      133
Правило синтаксическое      133
Правило упорядочения      147
Правильно построенная формула (ппф)      95
Предикат атомарный      87
Предикат высокого порядка      85
Предикат одноместный      92
Предикат первого порядка      85
Предложение      95
Предложение предикатное      139
Предложение простое      89
Предложение пустое      123
Предложение сложное      87
Представление данных      162
Представление декларативное      155
Представление знаний      34
Представление знаний продукционными правилами      34
Представление знаний сетями      34
Представление знаний фреймами      34
Представление концептов      202
Представление непроцедурное      163
Представление плоское      217
Представление процедурное      38
Преобразование семантическое      249
Преобразование языков      188
Принцип выбора языка      226
Принцип вывода      108
Принцип максимина      26
Принцип минимакса      26
Принцип резолюции      48
Приобретение знаний      256
Проблема алгоритмизации      232
Проблема анализа      168
Проблема детерминированная      163
Проблема игры      73
Проблема недетерминированная      163
Проблема оценки среды      168
Проблема поиска      26
Проблема представления знаний      10
Проблема принятия решений      14
Проблема синтеза      168
Проблема структуры данных      211
Проблема управления сложной системой      14
Проектирование      14
Проектирование концептуальное      187
Процедура возврата      23
Процедура присоединения      59
Процесс решения проблемы      15
Процесс синтеза      271
Процесс синтеза восходящий      276
Процесс синтеза нисходящий      277
Равнозначность семантическая      133
Распознавание речи      50
Расширение логики предикатов      24
Режим интерактивный      241
Резольвента      125
Свойство полноты доказательства      133
Семантика внешних языков      259
Семантика данных      214
Семантика декларативная      204
Семантика логики предикатов      95
Семантика модельная      258
Семантика операционная      258
Семантика представления проблемы      176
Семантика процедурная      194
Сеть семантическая      43
Силлогизм      197
Символ      86
Символ атомарных предикатов      88
Символ зарезервированный      86
Символ основной      91
Символ специальный      86
Синтаксис плоской формы      217
Синтаксис языка предикатов      84
Система      9
Система инженерии знаний      73
Система искусственного интеллекта      72
Система математическая полная      147
Система обработки знаний      9
Система поддержки решения проблем      225
Система представления знаний      49
Система продукционная      38
Система фреймовая      54
Система человеко-машинная      243
Система экспертная      33
Система экспертная DENDRAL      40
Система экспертная EMYCIN      40
Система экспертная HEARSAY-II      50
Система экспертная META-DEND RAL      41
Система экспертная MUCIN      38
Система экспертная PROSPECTOR      42
Система экспертная PUFF      42
Система экспертная RITA      43
Система экспертная ROSIE      43
Слот      56
Состояние      21
Состояние начальное      21
Состояние терминальное      21
Структура абстрактная      207
Структура виртуальная      207
Структура графовая      264
Структура данных      142
Структура иерархическая      150
Структура иерархическая абстрактная      267
Структура концептуальная      200
Структура логическая      207
Структура математическая      216
Структура метауровня      255
Структура объекта описания      143
Структура объекта синтеза      277
Структура описываемого мира      143
Структура произвольная      152
Структура стековая      150
Структура сущностей      219
Структура физическая      207
Структура частная      150
Структура языка      198
Структуризация данных      147
СУБД      208
Сущность описываемого мира      267
Таблица      263
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте