ВУЗ:
Составители:
Рубрика:
4. Задача унификации
5. Метод резолюций в доказательстве теорий
6. Модели самовоспроизведения
7. Решение задач в пространстве состояний
8. Кодирование информации
9. Вывод в формальных грамматиках
10. Типы языков. Языки проектирования. Языки ЛСА
11. Многоагентные системы
12. Многомерные базы данных
13. Способы представления знаний в СИИ
14. Поискавые системы
15. Правдоподобный вывод и правдоподобные рассуждения
16. Некорректные задачи
17. Математическая философия
18. Фракталы и фрактальный анализ
19. Язык как система
20. Способ организации языков
21. Рельеф, ландшафт
22. Неформальные языки
23. Когнитология
24. Семеотика
25. Интеллектуальные игры
26. Эффективные стратегии поиска решений
27. Алгоритмы и сценарии
28. Экспертные системы
29. Информационные технологии в принятии решений
30. Интуиционизм
31. Черви и их обнаружение
32. Нечёткий вывод в системе пе6чатных продукций
33. Проблема поиска
ОСНОВНЫЕ ВОПРОСЫ К РЕЙТИНГАМ ПО МОДУЛЯМ
По модулю 1
• База данных и база знаний: отличия, структура
• Эпистемологическая полнота представления знаний
• Формальные системы: полнота, непротиворечивость, выводимость (разреши-
мость)
• Информация и знания
• Экспертная система
По модулю 2
• Продукции
• Правила и процедура вывода в системе продукции
• Вероятностный вывод в системе продукции
• Косвенный вывод
• Продукции с исключением из правил
• Фреймы и семантические сети
• Логика предикатов первого порядка
• Вывод в предикате первого порядка
• Сравнение способов представления знаний и вывод в них
• Системы обработки знаний
По модулю 3
