Учебный курс "Интеллектуальные системы" > Теория > Лекции (в разработке..)
it-claim.ru

Искусственный интеллект как наука

 

МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ
 

KM-1: Формализация знаний в ИС.
Основные понятия и определения. Предметная область. Данные и знания. Свойства, характеристики знаний. Процедурные и декларативные знания. Классификация знаний по глубине, по жесткости. Формализация знаний. Языки (модели) представления знаний.

  • Текст лекцииТекст лекции
KM-2: Формально-логические модели - логика высказываний
Формально-логические модели. Логика высказываний. Алфавит, аксиомы, теоремы, логические переменные, логический вывод. Основные законы и правила вывода логики высказываний.
  • Текст лекцииТекст лекции
KM-3: Логика предикатов.
Основные элементы логики предикатов первого порядка. Термы, кванторы всеобщности и общезначимости. Модальные логики, псевдофизические логики и онтологии.
  • Текст лекцииТекст лекции
KM-4: Продукционные модели.
Продукционные системы правил. Вероятностные продукции. Гипотеза, факт, свидетельство. Формулы Байеса. Метод цен свидетельств, коэффициенты уверенности Шортлифа.
  • Текст лекцииТекст лекции
KM-5:. Семантические сети и фреймы.
Сетевые модели представления знаний. Фреймы Минского и объектно-оринетированный подход. Семантические сети. Ассоциативные сети Квилиана. Основные отношения в семантических сетях. Сценарии Шенка. Каузальные отношения.
  • Текст лекцииТекст лекции
 

KM-6: Онтологии и визульные карты знаний
Онтологии и тезаурусы. Когнитивные, концептуальные и ассоциативные карты. Взаимосвязь с семантическими и ассоциативными сетями. Онтологии в Интернет - semantic web.

 

 

Что такое ИИ? Нейронные сети Генетические алгоритмы ИИ в компьютерных играх Экспертные системы Модели представления знаний Нечеткая логика Интеллектуальный анализ данных

 

© НОК CLAIM. Замечания, вопросы и сведения об ошибках просим сообщать в форуме или присылать администратору сайта.
OZON.ru Rambler's Top100 Раздел создан при поддержке гранта Благотворительного фонда В.Потанина