Вопросы для самоконтроля

1. Что такое знания, метазнания? Что такое представление знаний?

2. Что такое категория, функтор?

3. Каковы типы моделей знаний, их характеристики?

Задачи и упражнения

1. Формализуйте понятия "Решить задачу", "Решение задачи", "Метод решения задачи", "Алгоритм решения задачи".

2. Постройте одну продукционную и одну семантическую модели знаний по специальности.

3. Постройте одну фреймовую и одну логическую модели знаний по специальности.

Темы для научных исследований и выступлений (рефератов)

1. Формализованное и не формализованное знание. Методы формализации знания.

2. Модели знания.

3. Категориально-функторный анализ и его применения.

15. Лекция: Новые технологии проектирования и анализа систем