занных четких конечных автоматов. Если точно известно, какое пове-
дение нас интересует, то принцип построения указанной совокупности
автоматов состоит в следующем. Установив наблюдение за средой в
начальный момент времени
t
s
и закончив его в момент времени
t
e
(в
принципе
t
e
→ ∞
), строим все автоматы, начиная с простейших. Авто-
маты более низкого уровня представляют собой более примитивный
вид поведения объектов среды (такого, например, как перемещение
центра масс объекта в двумерном пространстве) и имеют более высо-
кий приоритет выполнения своих действий по отношению к автоматам
более высокого уровня. Автоматы более высокого уровня представля-
ют собой более сложное поведение объектов по сравнению с автома-
тами нижележащих уровней, используя последние для представления
этого поведения (например, динамики изменения расстояния между
центрами масс объектов).
2. Физическая среда недоступна для наблюдения и для непосред-
ственного построения автоматов по результатам наблюдения. Но тем
не менее мы в состоянии выразить на языке конечных автоматов наши
знания о поведении и отношениях объектов среды на основе априор-
ного опыта. Этим языком может быть, например, язык графов перехо-
дов или язык пи-исчисления [5], на котором описываются последова-
тельностные процессы (по существу те же конечные автоматы) и их
взаимодействие.
3. Физическая среда является нечеткой, случайной, имеет большое
число признаков и требует учета глубоко структурированных отно-
шений между совокупностями признаков и объектов, однако все еще
можно непосредственно наблюдать за ее поведением или достаточно
адекватно описывать ее поведение на основе априорных знаний, но на
уровне нечетких моделей. В этом случае можно использовать такие
модели, как нечеткие конечные автоматы [6] или марковские модели
[7].
4. Если среда такова, что мы можем использовать только фраг-
ментарные знания о среде, то в этом случае приходится использовать
модели, основанные на символических представлениях, например мо-
дальные исчисления [6, 8], описательные логики [9] и др.
Второй вопрос
, требующий ответа, — каким образом использовать
указанные модели собственно для анализа. Ответ на этот вопрос за-
висит от вида моделей.
Такие модели, как конечные автоматы, марковские модели, пи-
исчисления, нечеткие автоматы можно использовать для анализа на-
прямую, подавая на них воздействия реальной или виртуальной среды
и получая в ответ реакцию, по которой можно судить о поведении сре-
ды и принимать соответствующие решения.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 3 89
