Пример представления акторов приложения (Т-модели)

Анализ возможностей представления акторов приложения приводит к следующим заключениям.

1. Лицо актора воплощается в некоторой конкретной Д-модели определенной ПрО. Локально лицо реализует определенный объект Д-модели, который (точнее, его OId) играет роль значения лица актора.

2. Содержательное воплощение лиц данного актора в разных ПрО безусловно различно, хотя их значения могут находиться в любом отношении друг к другу. Например, может оказаться, что _1,1x₃ = _2,k2x₃, а _2,k2x₃ < _m,1x₃.

3. Значения лиц, расположенные в одном и том же столбце таблицы, также могут находиться в любом соотношении. Содержательно это, в частности, означает, что с некоторой точки зрения, в рамках некоторой концептуализации допустимо тождество отдельных лиц у разных акторов, которые в целом далеко не тождественны.

4. Нет оснований утверждать, что актор в Д модели не может располагать более чем одним лицом (в таблице такая иллюстрация не представлена).

5. Из предыдущего положения вытекает, что на содержательном уровне лица актора в разных Д-моделях определенной ПрО могут, вообще говоря, качественно различаться (быть объектами разных классов).

На рис. 4 представлен фрагмент онтологии приложений, где показаны классы «Актор» и «Лицо», связанные отношением принадлежности «один ко многим»: любой актор может иметь произвольное количество лиц, но каждое лицо принадлежит лишь одному актору. Лицо актора означивается в некотором определенном КМ, для идентификации которого используются атрибуты, указывающие имена К- и Д-моделей; атрибут «Объект-значение» хранит OId объекта-значения лица в указанной Д модели. Атрибуты «имеет» (в том числе с тегом «~») являются валентностями [12].

В ходе решения задачи создание (а при необходимости и уничтожение) многоликих акторов осуществляется в КМ _TDК, _XDТ. Для оснащения актора лицом в одной из обрабатываемых Д моделей класс «Актор» целесообразно снабдить высокоуровневым методом, который:

– порождает для формируемого лица в указываемой Д модели объект-значение нужного класса;

– порождает в Т модели _XDТ новый объект класса «Лицо», означивая надлежащим образом его характеристические атрибуты и связывая новое лицо с актуальным актором Т модели.

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

Для актора чрезвычайно важно предельно упростить переход от работы с представлением одного его аспекта к работе с представлением другого его аспекта. Иначе говоря, речь идет о «прозрачности» для разработчика приложений перехода от манипулирования объектом-значением одного лица актора к действиям с объектом-значением другого лица этого актора. Такой переход должен, безусловно, сопровождаться надлежащим переключением КМ. При этом нетрудно заметить, что введение метода, реализующего такой «гиперпереход», фактически приведет к неявному расширению набора базовых методов работы с объектами (см. рис. 3).

Р и с. 4. Фрагмент расширенной онтологии приложений:

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

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

Предложенный способ представления многоаспектных сущностей – «многоликих» акторов задач моделирования – призван не только отражать и сохранять содержательный интегральный образ моделируемой реальности, но и радикально упростить коммуникации между моделями, представляющими в гетерогенной среде моделирования различные аспекты, «миры» решаемой задачи.

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

Библиографический Список

1. 
   Емельянов В.В., Курейчик В.В., Курейчик В.М. Теория и практика эволюционного моделирования. – М.: ФИЗМАТЛИТ, 2003.
   
2. 
   Виттих В.А. Процессы управления в социотехнических системах // Проблемы управления и моделирования в сложных системах: Труды VII Международной конф. (27 июня – 1 июля 2005 г., Самара, Россия). – Самара: СамНЦ РАН, 2005. – С. 32-42.
   
3. 
   Vittikh V.A., Smirnov S.V. Modeling Environment To Support Decision-Making Processes During Controlling Of Complex Systems // Proc. of the 16th IMACS World Congress 2000 on Scientific Computation, Applied Mathematics and Simulation (August 2000, Lausanne, Switzerland). CD ROM Index 715-3.
   
4. 
   Смирнов С.В. Онтологии в задачах моделирования сложных систем // Проблемы управления и моделирования в сложных системах: Труды II международной конф. (20-23 июня 2000 г., Самара, Россия). – Самара: СамНЦ РАН, 2000. – С. 66-72.
   
5. 
   Нариньяни А.С. Кентавр по имени ТЕОН: Тезаурус + Онтология // Труды международного семинара по компьютерной лингвистике и ее приложениям «Диалог’2001». Т. 1 (2001 г., Аксаково, Россия). – С. 184-188.
   
6. 
   Тамм Б.Г., Пуусепп М.Э., Таваст Р.Р. Анализ и моделирование производственных систем. – М.: Финансы и статистика, 1987. – 191 с.
   
7. 
   Христьяновский Д.Г., Эрлих А.И. Проблемы моделирования в прикладных интеллектуальных исследованиях // Труды III конф. по искусственному интеллекту (октябрь 1992 г., Тверь, Россия). Т. 2. – Тверь: Российская ассоциация ИИ, 1992. – С. 78-81.
   
8. 
   Смирнов С.В. Онтологическая относительность и технология компьютерного моделирования сложных систем // Известия Самарского научного центра РАН. 2000. Т. 2. № 1. – С. 66-71.
   
9. 
   Смирнов С.В. Онтологический анализ предметных областей моделирования // Известия Самарского научного центра РАН. 2001. Т. 3. № 1. – С. 62-70.
   
10. 
    Смирнов С.В. Онтологии в прикладных интеллектуальных системах: прагматический подход // Девятая Национальная конф. по искусственному интеллекту с международным участием КИИ-2004 (28 сентября – 2 октября 2004 г., Тверь, Россия): Труды конф., Т. 3. – М.: ФИЗМАТЛИТ, 2004. – С. 1059-1067.
    
11. 
    Смирнов С.В., Гинзбург А.Н. Формирование и использование сосуществующих контекстов моделирования сложной системы // Проблемы управления и моделирования в сложных системах: Труды VIII международной конф. (24-28 июня 2006 г., Самара, Россия). – Самара: СамНЦ РАН, 2006. – С. 550-557.
    
12. 
    Смирнов С.В. Прагматика онтологий: объектно-ориентированная модель знаний о предметной области // Одиннадцатая Национальная конф. по искусственному интеллекту с международным участием КИИ-2008 (28 сентября – 3 октября 2008 г., Дубна, Россия): Труды конф. Т.3. – М.: ЛЕНАНД, 2008. – С. 208-216.
    
13. 
    Фреге Г. Смысл и денотат // Семиотика и информатика. 1977. Вып. 8.
    
14. 
    Куайн В. Онтологическая относительность // В кн.: Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада. 2-е изд., перераб. и доп. – М.: Логос, 1996. – С. 40 61.
    
15. 
    Плесневич Г.С. Понятийно-ориентированные языки в инженерии знаний // Новости искусственного интеллекта. 2003. № 6. – С. 3-9.
    
16. 
    Тыугу Э.Х. Концептуальное программирование. – М.: Наука, 1984. – 320 c.
    
17. 
    Кораблин М.А. Конструирование специфицирующих оболочек для пакетов прикладных программ // УСиМ. 1990. № 2. – С. 43-49.
    
18. 
    Киндлер Е. Языки моделирования. – М.: Энергоатомиздат, 1985. – 288 с.
    
19. 
    Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО. – М.: АНВИК, 1998. – 427 с.
    

Institute for the Control of Complex Systems of RAS