Скачать 0.98 Mb.
|
Аннотации курсов магистерской программы «Компьютерные системы и сети» Интеллектуальные системы (автор: д.т.н., проф. Болотова Л.С.) Цели освоения дисциплины
4. Обучить студентов разработке и применению основных типов интеллектуальных систем Содержание дисциплины Тема 1. Введение в интеллектуальные системы Интеллектуальные системы как научное направление, история возникновения и развития, Классификация задач, решаемых человеком. Основные понятия и определения искусственного интеллекта. Знание как система. Свойства знаний Тема 2. Знание как знаковая система Естественный язык как средство описания знаний. Знак и его свойства. Знаковые ситуации. Знаковые системы. Виды знаков. Синтаксис, семантика и прагматика знака. Треугольник Фреге. Прямоугольник Поспелова: Тема 3. Модель предметной области как знаковая система Модель предметной области как основа системы представления знаний: структура, концептуальная модель, состояние, границы, ситуационное пространство. Процедура и примеры решения задач. Тема 4. Методы поиска решений в пространстве состояний Решение задач методом разбиения на подзадачи. Пространство состояний. Методы полного перебора в ширину. Методы полного перебора в глубину. Эвристические методы поиска в пространстве состояний. Жадный алгоритм. Представление задачи в виде И/ИЛИ графа. Механизм сведения задачи к подзадачам. Пример решения задачи. Достоинства и недостатки методов поиска в пространстве состояний Тема 5. Формальные модели представления знаний в исчислениях высказываний и предикатов. Классификация моделей представления знаний. Модель формальной системы. Формальные модели представления знаний: исчисление высказываний и исчисление предикатов. Понятие «высказывание». Алфавит, синтаксис, аксиомы и семантика. Законы преобразования формул. Базовые аксиомы. Правила вывода. Логический вывод. Свойства исчисления высказываний как аксиоматической системы. Алгоритмическая проблема разрешения в исчислении высказываний. Теорема дедукции. Принцип дедукции. Принцип резолюций. Свойства метода резолюций. Методика построения модели предметной области в исчислении высказываний. Понятие предиката. Алфавит, синтаксис, базовые аксиомы и правила вывода. Преобразование формул. Стандартизация переменных. Исключение квантора существования. Предваренная форма. Исключение кванторов общности. Приведение матрицы к конъюнктивной нормальной форме. Подстановки и унификация. Логический вывод. Применение метода резолюций. Стратегии резолюции. Дерево опровержения. Методика построения модели предметной области в исчислении предикатов. Логический вывод в исчислении предикатов. Типы запросов к логическим БД. Область применения МПЗ в ИП. Тема 6. Неформальные модели представления знаний: продукционная, семантическая, фреймовая, гибридная. Неформальные модели представления знаний. продукционные, семантические сети, фреймы. Общая форма представления знаний. Механизм вывода. Стратегии управления выводом решения. Эвристические принципы управления системой продукций. Взаимодействие правил в процессе рассуждений. Достоинства и недостатки продукционной модели представления знаний, как модели рассуждения. Примеры работы механизма продукционной модели Общие понятия и определения. семантических сети Предикатные семантические сети. Атрибутивные семантические сети. Вывод на семантических сетях. Методика построения модели предметной области в виде семантической сети. Достоинства и недостатки семантических сетей. Фрейм, его структура и свойства. Вывод на фреймах. Методика построения модели предметной области в виде сети фреймов. Достоинства и недостатки фреймового представления. Гибридные модели представления знаний Тема 7. Основные концепции разработки и технология проектирования интеллектуальных систем. Этапы разработки. Содержание этапов. Основные подходы. Проблемы программирования. Языки программирования систем, основанных на знаниях. Инженерия знаний, методы инженерии знаний. Системы управления знаниями. Тема 8. Экспертные системы (ЭС): определение назначение, структура. Основные блоки экспертных систем: приобретение знаний, объяснение ответа. Экспертные системы, основанные на правилах. Механизм принятия решений в ЭС. Классификация ЭС и их характеристика. Технология разработки ЭС: этапы и стадии проектирования. Инструментальные оболочки ЭС. Примеры ЭС. Тема 9. Нечеткие экспертные системы (НЭС). (НЭС):нечеткая логика как формальная СПЗ. Нечёткие множества и отношения. Операции над нечёткими множествами и отношениями. Лингвистическая переменная, нечеткие правила вывода; нечеткие продукционные правила, механизм логического вывода. Структура НЭС: фаззификация и дефаззификация, Вопросы приобретения знаний. Технология разработки. Примеры НЭС Тема 10. Онтологии и онтологические системы. Определения, структура, назначение, типы, технология разработки, формальные модели, механизм вывода. Инструментальные системы разработки. Система PROTÉGÉ. Семантический Интернет. |
Дипломной практики «Методы и средства проектирования прикладных интеллектуальных систем» Фгос во с учетом рекомендаций и Прооп во по направлению 02. 04. 02 «Фундаментальная информатика и информационные технологии».... |
Содержание Введение Лекция Базы данных и файловые системы Файловые системы 1 Структуры файлов Лекция Ранние подходы к организации бд. Системы, основанные на инвертированных списках, иерархические и сетевые субд. Примеры. Сильные... |
||
Руководство по установке и эксплуатации Введение Компания Red Sea разработала max для создания такой полной рифовой системы, в которой вы с самого начала можете сосредоточить свое... |
По дисциплине «Вычислительные системы» Аппаратная платформа Макинтош Введение 3 |
||
Введение 1 Последовательность преобразования производственной системы организации на основе концепции бп 23 |
Образовательная программа: «Прикладная и экспериментальная лингвистика»... Кластеризация языковых выражений в корпусе текстов на основе стохастического ранжирования |
||
Содержание введение 1 область применения 2 Приложение г акт приемки законченного строительством объекта газораспределительной системы |
Руководство Пользователя Редакция 0 2008 Содержание Статус документа 3 Введение 4 Данный документ представляет собой описание Интернет-версии системы Банк+Клиент ielba райффайзенбанка (версия 6). В нем рассматриваются... |
||
Образовательная программа: «Прикладная и экспериментальная лингвистика»... Задачи и методы их решения, общие для корпусной лингвистики, машинного перевода и компьютерной лексикографии 8 |
План проекта по развёртыванию nnm 7 Введение 7 Планирование резервного копирования и восстановления системы, базы данных и схемы 16 |
||
План проекта по развёртыванию nnm 7 Введение 7 Планирование резервного копирования и восстановления системы, базы данных и схемы 16 |
Введение 3 введение 3 Современное состояние и использование территории подгорненского сельского поселения 7 |
||
Дипломная работа На тему: Определение неисправностей тормозной системы... На тему: Определение неисправностей тормозной системы автомобиля с помощью стенда диагностики тормозной системы |
Пояснительная записка Данная программа «Интеллектуальные витаминки» Решение заданий, связанных с логическим мышлением закрепит интерес детей к познавательной деятельности, будет способствовать развитию... |
||
Оглавление введение ... |
Пер с англ. — М. Издательский Архитектура системы баз данных 65 Глава Введение в реляционные базы данных 92 |
Поиск |