Для иллюстрации того, как устроена модель проблемной области и как планировщик может использовать ее при поиске решения для достижения поставленной цели управления, рассмотрим один класс таких моделей, часто встречающийся на практике. Это так называемые функциональные модели. Всякая функциональная модель представляет собой сеть без ориентации, включающую в себя вершины двух типов дескрипторы и спецификаторы. При графическом изображении функциональных моделей дескрипторы принято обозначать кружками, а спецификаторы — прямоугольниками. Всякому спецификатору сопоставляется некоторое функциональное выражение вида f(xlt xz, . ., яя)=0, причем предполагается, что / допускает явное разрешение хотя бы относительно одного из аргументов Х[. Другими словами, хотя бы для одного xt это уравнение можно переписать в виде Xi=f (xi,. . ., x i, xi+i,. . ., xn). Такая операция называется допустимым разрешением спецификатора. Допускается, что для одного спецификатора может быть от 1 до п допустимых разрешений. Со спецификатором f(xi, хг,. . ., л )=0 связано п ребер функциональной модели, каждое из которых соединено с одним из дескрипторов множества хг, х2,. . ., хп . Два спецификатора в функциональной модели соединены друг с другом некоторым дескриптором, если последний определяет аргумент, общий для обоих спецификаторов.