20.Технологии агентно-ориентированного анализа и проектирования: классификация, технология проектирования агентов на основе концептуального анализа структур действий.

Все известные методики разработки МАС можно классифицировать следующим образом:

- базирующиеся на традиционном объектно-ориентированном проектировании и расширяющие его в сторону агентов;

- базирующиеся на методах инженерии знаний;

- базирующиеся на организационно-ориентированных представлениях;

- сочетающие в себе элементы трех выше названных классов.

Определение концептуальной модели предметной области (КМПрО):

КМПрО = {A, X, C, V(C), R, G(A), Ru}, где:

A = {a₁, a₂, ... a_n} – множество имен субъектов (т.е. агентов), действующих в предметной области (ПрО);

X = {x₁, x₂, ..., x_n} - множество имен объектов (пассивных ресурсов), существующих в ПрО (в среде функционирования агентов), и необходимых агентам для их деятельности , n  0;

C = {c₁, c₂, ... c_n} – общее множество имен свойств агентов и объектов, но каждый агент или объект описывается своим набором свойств. Например, для x_i имеем множество имен свойств

c_i = {c_i1, c_i2, ..., c_im}, m  0;

V(C) – множество областей значения свойств:

c_ij = { c_ij¹, c_ij², ..., c_ij^k},

при этом, k>0 (в описании объекта может не быть свойств, но если есть хотя бы одно свойство, то у него обязательно есть хотя бы одно значение);

R = {r₁, r₂, ... r_l} - множество имен отношений, в которые могут вступать агенты и объекты (в разных сочетаниях) моделируемой ПрО, l >= 0;

G(A) = {g₁, g₂, ... g_v} - множество имен действий (процессов, принимаемых решений), которые агенты могут совершать над объектами и друг другом, v>0 (хотя бы одно действие в задачах моделирования всегда есть);

Ru – множество законов среды функционирования агентов (например, модели физических законов).

Объективное состояние ПрО S_ПрО представляет собой совокупность всех фактов.

Объективное состояние ПрО изменяется под влиянием действий из множества G(A) и определяется в фиксированный момент t_i времени следующим образом:

S_ПрО (t_i) = {A(t_i), X(t_i), C(t_i), R(t_i)}

Методика концептуального анализа предметной области задачи с целью разработки базы знаний агентов и определения структуры МАС, называется методикой анализа концептуальных структур действий. Суть ее заключается в следующем.

Для каждого действия, которое должны выполнять агенты разных типов или которое должно выполняться средой, строится его концептуальная структура. Она включает в себя следующие элементы:

• указание на субъекты действия, т.е. агенты, которые должны или могут выполнять данное действие;

• указание на объекты действия, т.е. агенты или объекты, изменение состояние которых является целью данного действия: оно может изменять какие-то свойства и/или отношения агента (объекта);

• указание на компоненты действия, т.е. другие агенты или объекты ПрО, необходимые для описания условий и реализации данного действия;

• указание на свойства и/или отношения субъектов, объектов и компонентов действия, определяющие посредством своих значений условия его совершения и его результаты, т.е. описывающие ситуации предусловия и постусловия данного действия.