Меню
Главная
Авторизация/Регистрация
 
Главная arrow Математика, химия, физика arrow СИМВОЛИЧЕСКИЙ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ: МАТЕМАТИЧЕСКИЕ ОСНОВЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

СИМВОЛИЧЕСКИЙ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ: МАТЕМАТИЧЕСКИЕ ОСНОВЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ


ПРИКЛАДНЫЕ СИСТЕМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА Обзор приложений символического искусственного интеллекта Понимание естественного языка и машинный перевод Интеллектуальные базы данных и вопросно-ответные системыАлгоритм поиска Google Экспертные системы и автоматическое доказательство теорем Автоматическое управление роботом и распознавание образовРаспознавание образов и математика Интеллектуальные игрыОтечественное шахматное программирование Место представления знаний в символическом искусственном интеллекте Итеративный характер решения задач Алгоритмы поиска решения и представление знаний История искусственного интеллекта Предыстория искусственного интеллекта Пионерские исследованияУниверсальный решатель задачТест Тьюринга и Китайская комната Становление и развитиеФреймы и семантические сети Научная консолидация и промышленное внедрение Классификации прикладных систем искусственного интеллекта Виды знаний Классификация по степени использования различных видов знаний Классификация по форме представления знаний Классификация по виду ответа при решении задач Классификация по степени универсальностиОбезьяна и банан Классификация по архитектуре и инструментальным средствамПрактикум ПРЕДСТАВЛЕНИЕ ЗНАНИЙ СИСТЕМАМИ ПРОДУКЦИЙ Системы продукций Терминологические соглашения и содержательная интерпретация Структура системы неоднородных продукцийГенезис систем продукцийСтратегия управленияУсловие окончания t. Алгоритм работы системы неоднородных продукцийВиртуальные машины Система продукций как логическое исчисление Игра в «восемь» Крестьянин, волк, коза и капуста Ход конемНормальные алгорифмы Маркова Стратегии управления Критерии сравнения стратегий Безвозвратный поиск Поиск с возвратами Поиск на графеАлгоритм поиска в ширину и в глубину Специальные системы продукций Разложимые системы продукцийФормальные порождающие грамматикиПрактикум АЛГОРИТМЫ ПОИСКА РЕШЕНИЯ Эвристический поиск Общий алгоритм Эвристические алгоритмы Оценочная функцияАлгоритм Дейкстры поиска кратчайшего пути Свойства алгоритма А* Теорема о состоятельности Сравнение оценочных функций Монотонное ограничение Область применимости алгоритма А* Алгоритмы сопоставления с образцом Неформальное обсуждение проблемы Структуры данных алгоритма ReteОб использовании общепринятых форм и обозначений Соображения по эффективности и реализации Поиск на графах И/ИЛИ Граф И/ИЛИ Алгоритм поиска на графе И/ИЛИ Пример применения процедуры поиска на графе И/ИЛИ Поиск на игровых деревьях Игровые деревья Минимакс Аротсечение Эффективность аротсеченияПрактикум ПРЕДСТАВЛЕНИЕ ЗНАНИЙ ФОРМУЛАМИ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ Метод резолюций Формальные теории Выводимость, интерпретация и логическое следованиеМетатеоремы, метатеории и метаязыки Язык исчисления предикатов первого порядка Приведение формулы к стандартному виду Правило резолюции Унификация Опровержение методом резолюций Программная реализация метода резолюцийСистемы натурального вывода Стратегии поиска опровержения методом резолюций Полные и неполные стратегии Извлечение результата (да/нет) Извлечение результатов (факты) Извлечение результатов (термы) Системы дедукции на основе правил Потеря импликативности Размножение литералов Естественное направление дедукции Форма И/ИЛИ Прямая система дедукции Обратная система дедукции Комбинация прямой и обратной систем Метазнания в системах дедукцииПрактикум АВТОМАТИЧЕСКИЙ СИНТЕЗ ПРОГРАММ Задача автоматического синтеза программ Классификация подходов к синтезу программПорождающее программирование История развития синтеза программ Схема дедуктивного синтеза Тотальная корректность Реализуемость Дедуктивный синтез программ Синтез программы в функциональной форме Синтез блок-схемы Синтез невыполнимой программы Примитивная резолюция Синтез циклических программ Структурный синтез программ Предпосылки и история Синтез программ в концептуальных базах знаний Семантическая вычислительная сеть Алгоритм прямой волны Предварительная обработка модели предметной области Алгоритм синтеза линейных программ Расширения и границы применимостиПрактикумНовые издания по дисциплине «Искусственный интеллект» и смежным дисциплинам
 
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
ПОХОЖИЕ СТАТЬИ Следующая >
 
Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Строительство
Педагогика
Политология
Политэкономия
Право
Психология
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика