ПГТУ, ИСТз-08, 5 семестр.
Преподаватель: Сабатуллина Т. Л.
Проблемная область искусственного интеллекта.
Представление знаний.
Исчисление высказываний.
Правила вывода в исчислении предикатов (силлогизмы).
Графы.
Введение в фреймы.
Способ формализации фреймов.
Сетевые модели.
Продукционная модель.
Управление поиском в продукционных системах.
Практика: логическая модель представления знаний.
Вопросы к лекциям.
Преподаватель: Сабатуллина Т. Л.
Проблемная область искусственного интеллекта.
Представление знаний.
Исчисление высказываний.
Правила вывода в исчислении предикатов (силлогизмы).
Графы.
Введение в фреймы.
Способ формализации фреймов.
Сетевые модели.
Продукционная модель.
Управление поиском в продукционных системах.
Практика: логическая модель представления знаний.
Вопросы к лекциям.