Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
3Activity

Table Of Contents

Аббревиатуры
Введение
Тема 1. Прикладные системы с искусственным интеллектом
1.1. Обзор приложений ИИ
1.1.1. Понимание естественного языка
1.1.2. Машинный перевод
1.1.3. Интеллектуальные базы данных
1.1.4. Экспертные системы
1.1.5. Автоматическое доказательство теорем
1.1.6. Автоматическое управление роботом
1.1.7. Распознавание образов
1.1.8. Интеллектуальные игры
1.2. Место представления знаний в искусственном интеллекте
1.2.1. Итеративный характер решения задач
1.2.2. Знание и незнание
1.2.3. Алгоритмы поиска решения и представление знаний
1.3. Классификации прикладных систем искусственного интеллекта
1.3.1. Классификация по степени использования различных видов знаний
1.3.2. Классификация по форме представления знаний
1.3.3. Классификация по виду ответа при решении задач
1.3.4. Классификация по степени универсальности
1.4. Архитектура ПСИИ
Тема 2. Представление знаний системами продукций
2.1. Системы продукций
2.1.1. Структура систем продукций
2.1.2. Нормальные алгорифмы Маркова
2.1.3. Основные процедуры
2.2. Примеры
2.2.1. Игра в 8
2.2.2. Крестьянин, волк, коза и капуста
2.3. Стратегии управления
2.4. Безвозвратный поиск
2.4.1. Оценочная функция
2.4.2. Метод наискорейшего спуска
2.5. Поиск с возвратами
2.6. Поиск на графе
2.6.1. Основные процедуры
2.6.2. Граф поиска
2.7. Обратные и двусторонние системы продукций
2.8. Коммутативные системы продукций
2.9. Разложимые системы продукций
2.9.1. Свойство разложимости
2.9.2. Основная процедура для разложимой СП
Тема 3. Алгоритмы поиска
3.1. Общий алгоритм
3.2. Эвристический поиск
3.2.1. Эвристики
3.2.2. Оценочная функция
3.3. Свойства алгоритма GS
3.4. Сравнение оценочных функций
3.5. Монотонное ограничение
3.6. Поиск на графах И/ИЛИ
3.6.1. Граф И/ИЛИ
3.6.2. Поиск на графе И/ИЛИ
3.6.3. Пример применения процедуры поиска на графе И/ИЛИ
3.7. Поиск на игровых деревьях
3.7.1. Минимакс
3.7.2. α-β отсечение
3.7.3. Эффективность α-β отсечения
Тема 4. Представление знаний формулами исчисления предикатов
4.1. Язык исчисления предикатов первого порядка
4.1.1. Грамматическое описание
4.1.2. Интерпретация
4.2. Метод резолюций
4.2.1. Правило резолюции
4.2.2. Сведение к предложениям
4.2.5. Программная реализация метода резолюций
4.3. Стратегии поиска опровержения методом резолюций
4.3.2. Примеры стратегий МР
4.4. Извлечение результата
4.4.1. Извлечение результата (да/нет)
4.4.2. Извлечение результатов (факты)
4.4.3. Извлечение результатов (термы)
4.5. Хорновский случай
4.5.1. Хорновские предложения
4.5.2. Замечания по реализации
Тема 5. Системы дедукции на основе правил
5.1. Недостатки метода резолюций
5.1.1. Потеря импликативности
5.1.2. Размножение литералов
5.1.3. Прямая систем дедукции
5.2. Форма И/ИЛИ
5.3. Прямая система дедукции на основе правил
5.3.1. Факты, правила и цели
5.3.2. Наращивание графа И/ИЛИ с помощью правил
5.4. Обратная система дедукции на основе правил
5.4.1. Двойственный метод резолюций
5.4.2. Обратные правила
5.5. Комбинация прямой и обратной систем
5.5.1. Правило гашения
5.5.2. Неполнота гашения
5.5.3. Метазнания в системах дедукции
Тема 6. Автоматический синтез программ
6.1. Задача автоматического синтеза программ
6.1.1. Классификация подходов к синтезу программ
6.1.2. История развития синтеза программ
6.2. Дедуктивный синтез программ
6.2.1. Схема дедуктивного синтеза
6.2.2. Тотальная корректность
6.2.3. Реализуемость
6.3. Дедуктивный синтез на основе метода резолюций
6.3.1. Синтез программы в функциональной форме
6.3.2. Синтез блок-схемы
6.3.3. Синтез невыполнимой программы
6.3.4. Примитивная резолюция
Примитивная резолюция полна
6.3.5. Синтез циклических программ
6.4. Структурный синтез программ
6.4.1. Предпосылки
6.4.2. История развития структурного синтеза
6.4.3. Семантическая вычислительная сеть
6.4.4. Алгоритм прямой волны
6.4.5. Предварительная обработка МПО
6.4.6. Алгоритм Диковского-Ульмана
6.5. Индуктивный синтез программ
6.5.1. Многоточечные термы
6.5.2. Многоточечные слова и выражения
6.5.3. Формальные примеры
6.5.4. Правила вывода
6.5.5. Вывод многоточечного выражения из формального примера
6.5.6. Основной результат
Литература
0 of .
Results for:
No results containing your search query
P. 1
системы представления знаний

системы представления знаний

Ratings: (0)|Views: 1,293|Likes:
Published by Diana Moglan

More info:

Published by: Diana Moglan on Jan 07, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/18/2012

pdf

text

original

You're Reading a Free Preview
Pages 4 to 37 are not shown in this preview.
You're Reading a Free Preview
Pages 41 to 69 are not shown in this preview.
You're Reading a Free Preview
Pages 73 to 119 are not shown in this preview.

Activity (3)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Zagrieva Kamila liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->