Поиск пути на графе. Управление последовательностью поиска на графе. Последовательный перебор, приоритетный поиск, разрешение конфликтных ситуаций. Представление правил графами. Наиболее известные продукционные системы. Представление знаний фреймами.