Лектор: Совпель Игорь Васильевич

4-й курс, 7-й семестр 2001-2002 учебного года.

1. Понятие ИС. Классификация ИС.
2. Современное представление о прикладном программировании.
3. Понятие СИИ. Основные проблемы. Структурно-функциональная схема.
4. Понятие знаковой системы. Треугольник Фреи.
5. Основные уровни и формы представления знаний. Типы. Модели.
6. Таблица истинности. Основные свойства логических операций.
7. Предикат. Примеры. Автоматизация построения предикатов.
8. Принцип дедукции. КНФ. ДНФ. Алгоритм нормализации.
9. Метод резолюций. Пример.
10. ПНФ.
11. СНФ. КлНФ. Унификация.
12. Метод резолюций.
13. Система прямой и обратной дедукции.
14. И-или дерево.
15. Продукционные системы. Прямые и обратные выводы.
16. Семантические сети. Определения, примеры.
17. Принятие решений в семантических сетях. Наследование свойств.
18. ИПС: определения, структурно-функциональная схема. ИПЯ дискретного типа, теразус.
19. ИПС: формальное определение, режимы функционирования, критерий релевантности, оценка эффективности, аспид.
20. Особенности ЕЯ как объекта моделирования КВТ, корпус виртуальных текстов, ВС-грамматика, словари.
21. Лингвистические знания, формальные грамматики, их классификация, структурное дерево.
22. Автоматический анализ и контроль текста.
23. Способы представления задач. Представление задач в пространстве состояний.
24. Алгоритм "слепого" перебора.
25. Упорядоченный перебор.
26. ЭС.

Сокращения:
• ИС - информационная система;
• СИИ - система искусственного интеллекта;
• ПНФ - префиксная формальная форма;
• СНФ - сколемовская нормальная форма;
• КлНФ - клоузальная нормальная форма;
• ИПС - интеллектуально-поисковые системы;
• ИПЯ - информационно-поисковый язык;
• ВС-грамматика - вероятностно-составляемая грамматика;
• ЕЯ - естественный язык.