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

Краткий курс лекций по дисциплине
«СИМВОЛИЧЕСКИЙ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ: МАТЕМАТИЧЕСКИЕ ОСНОВЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ»


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