Научная статья на тему 'О системно-объектном методе представления организационных знаний'

О системно-объектном методе представления организационных знаний Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
418
271
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМНО-ОБЪЕКТНЫЙ МЕТОД ПРЕДСТАВЛЕНИЕ ЗНАНИЙ / СИСТЕМНО-ОБЪЕКТНЫЙ ПОДХОД «УЗЕЛ-ФУНКЦИЯ-ОБЪЕКТ» / ОРГАНИЗАЦИОННЫЕ ЗНАНИЯ / ИСЧИСЛЕНИЕ ОБЪЕКТОВ / ИСЧИСЛЕНИЕ ПРОЦЕССОВ

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Жихарев А. Г., Маторин С. И., Маматов Е. М., Смородина Н. Н.

В статье рассматривается оригинальный гибридный метод преставления знаний, основанный на системно-объектном подходе «Узел-Функция-Объект», который впервые формализован путем интеграции алгебраических аппаратов исчисления объектов и исчисления процессов. Метод предназначен для хранения и обработки организационных знаний средствами вычислительной техники.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «О системно-объектном методе представления организационных знаний»

Серия История. Политология. Экономика. Информатика. 2013. №7 (150). Выпуск 26/1

УДК 001.57; 658.818; 681.3

0 СИСТЕМНО-ОБЪЕКТНОМ МЕТОДЕ ПРЕДСТАВЛЕНИЯ ОРГАНИЗАЦИОННЫХ ЗНАНИЙ

Белгородский

государственный

национальный

исследовательский

университет

Д.Г. ЖИХАРЕВ С.И. МАТОРИН Е.М. МАМАТОВ

Н.Н. СМОРОДИНА

В статье рассматривается оригинальный гибридный метод преставления знаний, основанный на системно-объектном подходе «Узел-Функция-Обьект», который впервые формализован путем интеграции алгебраических аппаратов исчисления объектов и исчисления процессов. Метод предназначен для хранения и обработки организационных знаний средствами вычислительной техники.

e-mail:

zhikharev@bsu.edu.ru

Ключевые слова: системно-объектный метод представление знаний, системно-объектный подход «Узел-Функция-Объект», организационные знания, исчисление объектов, исчисление процессов.

Введение

По данным журнала Fortune, почти половина компаний, входящих в рейтинг Fortune 1000, внедрила у себя и продолжает развивать управление знаниями, еще треть планирует сделать это в ближайшее время. The American Productivity & Quality Center (неприбыльная образовательно-исследовательская организация) рассматривает управление знаниями как совокупность стратегий и процессов по выявлению, приобретению, распространению, использованию, контролю и обмену знаниями, необходимыми для обеспечения конкурентоспособности организации. Таким образом, в последнее десятилетие можно наблюдать повышающийся интерес компаний к такому понятию как «организационное знание». Переход мировой экономики в новое качественное состояние (экономики, основанной на знаниях) непосредственно связан с повышением роли внутренних, нематериальных ресурсов предприятия (интеллектуального капитала организации), важнейшими из которых выступают знания. Мировой финансовый кризис заставил современные предприятия мобилизовать свой интеллектуальный потенциал и задуматься о механизме управления организационными знаниями, рассматривать данные процессы как главное условие для создания конкурентных преимуществ предприятия в условиях нестабильности и неопределенности внешней среды [l].

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

Управление организационными знаниями становится предметом профессионального труда когнитолога - специалиста, который формализует организационные знания и делает их доступными для всеобщего пользования. Работа «инженера по знаниям» включает несколько направлений деятельности. В первую очередь, когнитолог должен организовать информационные потоки таким образом, чтобы удовлетворять потребности каждого конкретного пользователя. [3]

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

Серия История. Политология. Экономика. Информатика. 2013 №7 (150). Выпуск 26/1

Рассмотрим основные концепции нового гибридного системно-объектного метода представления знаний (СОМПЗ), предназначенного для хранения и обработки организационных знаний.

Содержательные и формальные основы СОМПЗ

В основе СОМПЗ лежит системно-объектный подход к моделированию организационных систем «Узел-Функция-Объект» (УФО-подход) [4]. Суть УФО-подхода сводится к рассмотрению любой системы (в том числе организационной) с трех сторон. С одной стороны, как перекрестка входных и выходных связей/потоков, т.е. как Узла. С другой стороны, как процесса преобразования элементов, втекающих по входным потокам, в элементы, вытекающие по выходным потокам, т.е. как Функции. С третьей стороны, как материального явления, реализующего (выполняющего) функцию преобразования входа в выход, т.е. как Объекта. Интеграция этих трех аспектов позволяет представить любую организационную систему как элемент «Узел-Функция-Объект» или УФО-элемент, формализующий три очевидных факта. Во-первых, любая система обязательно находится в структуре (является узлом) системы более высокого уровня (надсистемы). Во-вторых, любая система обязательно как-то функционирует (преобразует вход в выход). В-третьих, любая система (если она находится в структуре и функционирует) обязательно существует как материальное явление (персонал, здания, оборудование, документы и т.д. и т.п.). На примере организационных знаний, это выглядит следующим образом: узел - отдел планирования затрат, функция - планирование затрат, объект - сотрудник отдела планирования затрат.

На основе УФО-подхода разработана УФО-технология визуального графоаналитического моделирования и анализа сложных (в первую очередь организационных) систем, которая, реализована в виде специального CASE-инструментария «UFO-toolkit» [http://www.ufo-toolkit.ru]. Анализ системы средствами УФО-технологии проводится с помощью компьютерных графических моделей «Узел-Функция-Объект» (УФО-моделей), представляющих любую систему в терминах «Узел-Функция-Объект» (в виде УФО-диаграмм). Результаты применения УФО-подхода и УФО-моделей для создания визуальных графоаналитических средств СОМПЗ представлены, в частности, в работах [5 и 6]. В данных работах показано, что предлагаемый метод представления знаний является гибридным и универсальным, так как учитывает традиционные модельные подходы (сетевой, продукционный и фреймовый).

Опыт применения УФО-подхода и УФО-технологии убедил в необходимости и возможности формализации их основных положений для повышения результативности и эффективности. В настоящее время предприняты попытки такой формализации средствами теории паттернов (РТ) Гренандера [7], средствами исчисления процессов (Calculus of Communication Systems - CCS) и Пи-исчисления Милнера [6, 8], а также за счет интеграции алгебраических аппаратов РТ и CCS [9]. Анализ результатов формализации показал, что для повышения степени формализованности УФО-подхода и УФО-моделей, в том числе, в интересах создания на их основе метода представления знаний и обеспечения вывода на них, актуально интегрировать с упомянутыми алгебраическими средствами возможности алгебраического аппарата исчисления объектов Аба-ди-Карделли [ю].

Рассмотрим этот вопрос подробнее. В рамках УФО-подхода процесс анализа и синтеза модели организационной системы начинается с построения иерархии связей, использующихся в дальнейшей работе. Иерархия связей представляет все ресурсы, отходы, результаты производства, документы и т.п., которые участвуют в моделируемом процессе. После анализа и построения иерархии связей системы, начинается разработка УФО-диаграмм, на которых связи выступают в роли материальных и\или информационных потоков, передающих соответствующие объекты от одного узла (УФО-элемента) к другому узлу (УФО-элементу). Сказанное позволяет ввести в терминологию УФО-подхода понятие «потоковый объект», которое дополняет существующее понятие об объекте, реализующем функциональный узел в рамках УФО-элемента. Т.е. будем рассматривать два вида объектов: узловой объект в рамках УФО-элемента (будем далее обозначать заглавными латинскими буквами) и потоковый объект в рамках потока\связи (будем далее обозначать строчными латинскими буквами).

Серия История. Политология. Экономика. Информатика.

2013. №7 (150). Выпуск 26/1

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

В исчислении объектов [ю] абстрактный объект представляет собой набор полей и методов. Использование метода объекта - это вызов метода, изменение метода -это переопределение. Поле - частный случай метода (константный метод). Изменение значения поля является частным случаем переопределения метода. Методы выполняются в контексте некоторого объекта (имеют ссылку на объект). Таким образом, любой абстрактный объект «о» формально в исчислении объектов представляется в следующем виде:

о = [& = Ь,,е'•••", & = о(д^)Ьуе1-т], где и представляют собою поля объекта, в которых записаны характеристики объекта о; - методы данного объекта, в которых в скобках указаны их аргументы, а за скобками результаты их работы; о е О, Ь,. е О, Ь/. е О (О - множество термов исчисления объектов).

Вычисление в исчислении объектов - это последовательность вызовов и переопределения методов, для чего определены правила редукции. Для нас наибольший интерес представляет правило вызова следующего вида (вызов метода (,• объекта о): о.1з -> Ъ]{х5 |-> о}.

Используем средства исчисления объектов для формального описания УФО-элемента с точки зрения его узлового объекта. Например, рассмотрим УФО-элемент, объект которого занимает функциональный узел, имеющий входные потоки, обозначенные как а?;, и выходные потоки, обозначенные как а!; (см. рис. 1). Данные обозначения в стиле теории процессов подчеркивают тот факт, что потоки состоят из объектов, которые по ним (потокам) передаются из одного узла (объекта) в другой. Таким образом, объект в рассматриваемого УФО-элемента представляет собой сущность, которая за счет своей функциональности преобразует входные потоковые объекты а?; в выходные потоковые объекты «!,.

а?, \

------►

1 I

Рис. 1. УФО-элемент с точки зрения исчисления объектов

В соответствии с упомянутыми выше правилами исчисления объектов данный узловой объект G (и, следовательно, соответствующий УФО-элемент) формально может быть представлен в виде следующего выражения:

G = ЦЬ = «?;, IU = aU; U = FWdlU; lj = b,],

НАУЧНЫЕ ВЕДОМОСТИ

Ш

Серия История. Политология. Экономика. Информатика. 2013 №7 (150). Выпуск 26/1

где:

Г?; - поле узлового объекта (может представлять собой набор или множество), которое содержит значение входных потоковых объектов а?{ и, соответственно, имеет такой же тип данных;

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

1} — поле узлового объекта (может представлять собой набор или множество), которое содержит основные характеристики данного объект (Ь,);

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

Нетрудно видеть, с одной стороны, что представленное формальное описание с точки зрения объекта УФО-элемента учитывает и структурную, и процессную, и субстанциальную его характеристики. И, таким образом, может рассматриваться как новый способ формального описания систем как УФО-элементов. Действительно, во-первых, имена полей Г?; и 1и могут рассматриваться как имена потоков, связывающих УФО-элемент с другими элементами, т.е. как структурная характеристика данного УФО-элемента. Во-вторых, метод & = Р(1?,)11, представляет собой процессную (функциональную) характеристику данного УФО-элемента. В-третьих, поле I, = Ь/, а также значения входных и выходных потоков (потоковых объектов) а?; и а!; представляют собой объектную характеристику данного УФО-элемента.

С другой стороны, представленное формальное описание УФО-элемента учитывает описательные возможности упомянутого выше алгебраического аппарата РТ. Средствами РТ УФО-элемент описывается как образующая, т.е. как графический формализм, представляющий собой именованный объект со связями, который характеризуется признаком а и показателями входных и выходных связей р [7]. Средствами исчисления объектов это учитывается именем поля I) (которое может рассматриваться как имя объекта), значением данного поля Ь,- (которое может рассматриваться как признак а) и значениями входных и выходных потоков а?; и а!; (которые могут рассматриваться как показатели входных и выходных связей р).

Кроме того, исчисление объектов дополнительно позволяет учесть возможности исчисления процессов (ССЭ). Дело в том, что функциональные характеристики УФО-элемента формально могут быть описаны по аналогии с ССЭ, что обосновано нами в работе [6]. Таким образом, в соответствии с этим обоснованием метод и узлового объекта в (тело этого метода) формально можно представить в виде:

F = (в, а г),

где - множество подпроцессов процесса, соответствующего данному методу; с -множество интерфейсных (входных 5? и выходных £>!) подпроцессов (причем = 5? и £>!; в число входных связей множества подпроцессов 5? входит множество связей 1?ив число выходных связей множества подпроцессов £>! входит множество связей Н{); ат - множество потоков в £>, осуществляющих передачу объектов глубинного яруса связанных подпроцессов: (я,- ату в/)

При этом, если УФО-элемент (узловой объект) рассматривается без учета декомпозиции (на контекстном уровне), то выражение в скобках принимает вид, соответствующий так называемой «нулевой функции»:

1*> = ({я° е в1}, {я° е в0}, 0) = я°.

Серия История. Политология. Экономика. Информатика.

2013. №7 (150). Выпуск 26/1

Это означает, что в первом случае метод узлового объекта (УФО-элемента) может быть представлен, в том числе, в виде УФО-диаграммы, а во втором случае только в виде формулы или алгоритма.

Учет возможностей ССЭ позволяет использовать для методов сформулированные нами в работе [6] по аналогии с ССЭ операции над функциями: префиксное действие, постфиксное действие и альтернативная композиция.

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

т = [и = Ьг],

где: щ — потоковый объект с именем а; и = Ь; - поля потокового объекта с некоторыми значениями Ь;.

Если для хранения и обработки организационных знаний представлять их в виде УФО-элементов, то, с учетом формального их описания средствами исчисления объектов, манипулирование этими знаниями, в частности вывод на них, можно обеспечить путем организации цепочки вызовов методов узловых объектов со стороны соответствующих потоковых объектов. Цепочка организуется на уровне декомпозиции УФО-элемента, метод объекта которого не принимает вид «нулевой функции» (см. выше). В нашем случае вызов метода узлового объекта формально записывается следующим образом:

в.«г -> *!;{*?; |-> С}.

Подобный вызов метода (например, метода 10 узлового объекта (например, объекта в) будет иметь место в том случае, если на вход узлового объекта поступает поток, наименование объектов которого (потоковых) совпадает со значением поля узлового объекта, которое содержит значение входных потоковых объектов (например, поля 1?0. Старт процедуры логического вывода осуществляется путем инициализации некоторого контекстного потокового объекта, после чего значение контекстного потокового объекта попадает в соответствующее поле интерфейсного узлового объекта, после чего вызывается метод этого узлового объекта, который выполнив некоторые действия, вызывает метод следующего узлового объекта и так пока не достигается конец модели. Формально с учетом описания УФО-элементов средствами исчисления объектов упомянутая процедура вывода может быть представлена следующим образом: а; = |7; = Ь;]: а; = а?; = Г?; -> Gi.fi -> |-> в;} -> а;+1 = |7;+1 = Ь;+1]: а;+1 = а?;+1 =

1Ъ+1 Сг1+1*11+1 —^ Я;+г — [&+г — Ьг+г]! Я;+2 — Я?;+2 — 1+2 —^ (?1+2»&+2

—> Л1+г{^?1+2 I-^ Сг1+2} Й1+3 = [Ь+з = Ь;+3]:

Организация цепочки вызовов методов узловых объектов со стороны потоковых объектов аналогична определению трассы (протокола) функции, предложенному нами в работе [6], по аналогии с трассой (протоколом) процесса в ССЭ. Если Г?;*е 1>-п= 1>..п, то можно организовать следующую цепочку вызовов в рамках некоторого УФО-элемента, для которого а?е1’"п е аг.

а,- а, , а,,, а, э

•1+1 • 1+2 ~

Представленные выражения можно рассматривать как формальное описание механизма вывода знаний в случае их представления в виде УФО-элементов с учетом формального их описания средствами исчисления объектов, т.е. как описание механизма вывода в рамках СОМПЗ.

Пример применения СОМПЗ

Рассмотрим пример применения СОМПЗ в описании производственнотехнологических процессов элеватора. Если связи диаграмм УФО рассматривать как

НАУЧНЫЕ ВЕДОМОСТИ

ш

Серия История. Политология. Экономика. Информатика. 2013 №7 (150). Выпуск 26/1

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

Третикали

^►Натура

Рис. 2. Фрагмент иерархии потоковых объектов

В соответствии с наследованием, все дочерние объекты наследуют атрибуты и методы родителя, поэтому, например объект кукуруза будет иметь следующие атрибуты: вес, влажность, сорная примесь, зерновая примесь. Формально потоковые объекты, представленные на рисунке 2 можно представить в формальном виде. Тогда, например, объект «пшеница» будет выглядеть следующим образом:

пшеница[вес=Ь1, влажность=Ь2, сорная примесь=Ьз, зерновая при-месь=Ь4, натура=Ь.5, клейковина=Ь6].

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

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

Приемка;

Предварительная очистка;

Сушка;

Первичная очистка;

Хранение;

Отгрузка.

Сырь Влажность Сырь» Зерновая примесь Сырье Сорная примесь

— Сырье Вес сырья ------------

Пшеница

\ \ 4 Ячмень

Горох

Кукуруза

Третикэли , // Г речиха

Отбор пробы сырья

Разгрузка

Сы

ИЛИ

Сырье

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Сушка

Сырье Впажность=14%

Сырье

Под г а бог на

Сырье Влажность=14%

ИЛИ

весовая

Сырье на отгрузку

Сырье на отгрузку Сырье

Сырье

Сырье Примесь<2%

Сырье Влажность=14%

Хранение(аспирация)

р о

Сырье клиенту

Гречи завод

Отходы элеватора Г речиха после переработки

Рис. 3. Производственно-технологические процессы элеватора

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

пшеница[вес=6о тонн, влажность=17%].

Сырье на выходе имеет такую же структуру, но здесь будет изменено значение влажности, поэтому обозначим его «Пшеница’». Далее рассмотрим зерносушильной комплекс как узловой объект «Сушилка»:

СУШИЛКА[Сырье?=пшеница, Сырье!=пшеница’, Производительность = 32 тонн/час, Время работы=Ь1, Сушка=Р(Сырье?)Сырье!].

Далее рассмотрим подробнее метод объекта «Сушилка.Сушка». (В рассматриваемой модели авторы рассматривают зерносушилку ДСП 32, производительность по паспорту, которой 32 тон в час, снижение процента влажности - 4%. Так же следует отметить что, согласно стандартам по хранению и переработке зерновых зерно поддается хранению и переработке с влажностью не выше 14%). Если рассматривать абстрактный язык программирования, тело метода Сушилка.Сушка будет выглядеть следующим образом:

Серия История. Политология. Экономика. Информатика. 2013 №7 (150). Выпуск 26/1

Р(Сырье?)Сырье!{

This. Время работы=о;

Сырье !.Влажностъ=Сыръе?. Влажность; while Сырье!.Влажность>14 do {

This. Время pa6ombi=This. Время работы+Сырье?.Вес /

This. Производительность;

Сырье!.Влажность=Сырье!.Влажность - 4;

} u Следующий метод();

} ш

Оператор «this» используется как ссылка на поля собственного объекта, т.е. в теле которого реализован текущий метод. Работа метода заключается в следующем: сперва полю объекта Сушилка.Время работы присваивается начальное значение о (в часах). Далее присваивается значение влажности Сырья на выходе (оно равно значе-ниею влажности сырья на входе). Далее в цикле пока влажность сырья на выходе не станет меньше 14 %, выполняется сушка зерна. Математически, мы рассчитываем время работы сушилки исходя из параметров сырья на входе и снижаем значение влажности на 4 процента. Таким образом после выполнения цикла, мы получим время работы сушилки и влажность сырья на выходе. Для примера приведенного выше: Сырье!. Влажность будет равна 13 процентам, так как сырье достаточно прогнать через сушилку один раз, а время сушки сырья будет равно 1,8 часа.

На рисунке з так же имеется ветвление диаграммы (узел «или»), логика функционирования данного узла заключается в принятии решения: какому узловому объекту передавать управление в зависимости от значений входящего объекта. Фактически, данные узлы содержат продукции, которые срабатывают в зависимости от характеристики входных потоковых объектов. Например, при поступлении зерна, если его влажность выше 14 процентов, то его необходимо отправить на сушку, если ниже, тогда зерно отправляется на очистку. В рамках системно-объектного метода представления организационных знаний (СОМПЗ), такие ветвления реализуются с помощью соответствующего узлового объекта, который принимает решение какому следующему объекту передать управление. Т.о. на моделях СОМПЗ мы имеем возможность реализовать любые варианты производственно-технологических и организационно деловых процессов.

Далее сформулируем алгоритмы моделирования организационных знаний и процедуры логического вывода на рассматриваемых моделях. Графически алгоритм моделирования знаний с помощью СОМПЗ представлен на следующем рисунке.

Конец

Рис. 4. Алгоритм описания знаний с помощью СОМПЗ

Как показано на рисунке 4, алгоритм моделирования знаний состоит из четырех этапов. Во-первых: (по аналогии с УФО-подходом), нам необходимо построить иерархию потоковых объектов модели, где необходимо определить, интересующие нас в данной предметной области, параметры потоковых объектов. После этого рисуется модель обработки потоковых объектов, на которой отображаются все узлы, ветвления и т.п. После этого, необходимо описать узловые объекты с их параметрами и методами, т.е. математически представить работу модели. Так же можно декомпозировать метод узлового объекта на подпроцессы нижнего уровня. Использование полученной модели заключается в инициализации начальных значений модели и запуске механизма логического вывода, в результате которого мы получим модель поведения системы для текущего конкретного случая, т.е. будут исключены все ветвления процесса. Математически механизм логического вывода на таких моделях (согласно теории исчисления объектов [ю]) будет заключаться в последовательном вызове методов узловых объектов. Схематически процедура логического вывода будет выглядеть следующим образом:

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

ского вывода, мы получим модель рассматриваемого процесса для конкретных исходных данных.

Рассмотренный способ описания организационных знаний является универсальным, так как позволяет описать объектные характеристики, структурные характеристики и функциональные характеристики изучаемой предметной области. Информационные система, основанная на таком методе хранения организационных знаний, позволяет хранить и обрабатывать опыт организации в удобном визуальном виде, чего не позволяют реализовать традиционные методы представления знаний. На рисунке 4, показана модель, на которой мы использовали продукции (узлы «или») фреймы (узловые объекты). Так же, иерархию потоковых объектов можно рассматривать как частный случай семантической сети с связями типа «имеет вид». Таким образом мы можем говорить об интегральном способе представления знаний.

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

Литература

1. Дудяшова В.П., Кипень Н.А., Сизых Е.В. Понятие и структура организационных знаний // Вестник Костромского государственного технологического университета. - 2010. - № 24. -С. 119-122.

2. Бобрышев С. Управление организационным знанием как стратегическим активом // http://www.cfin.ru/management/strategy/knowledge asset.shtml

3. Басова A.A., Дудяшова В.П. Организационные знания как предмет профессионального труда // Вестник Костромского государственного технологического университета - 2007. -№16. - С. 128-132

4. Маторин С.И., Попов А.С., Маторин B.C. Моделирование организационных систем в свете нового подхода «Узел-Функция-Обьект» // НТИ. Сер.2. - 2005. - N1. - С. 1-8.

5. Жихарев А. Г. О новой технологии представления знаний для систем поддержки принятия решений // Научные ведомости БелГУ. Сер. Информатика. - 2011. - № 19 (114). - Вып. 20/1. - С.

6. Жихарев А.Г., Маторин С.И. Метод формализации организационных знаний // Искусственный интеллект и принятие решений. - 2011. - №2. - С. 52-63.

7. Маторин С.И., Ельчанинов Д.Б. Применение теории паттернов для формализации системологического УФО-анализа // Научно-техническая информация. Сер.2. - 2002. - Nil. - С. 1-11.

8. Михелев М.В., Маторин С.И. Формализация УФО элементов с помощью алгебраического аппарата ПИ-исчисления. // Научные ведомости БелГУ. Сер. Информатика. - 2010. -№19(90). - Выпуск 16/1. - С. 145-150.

9. Зимовец О.А., Маторин С.И. Интеграция средств формализации графоаналитических моделей «Узел-Функция-Обьект» // Искусственный интеллект и принятие решений. - 2012. -№1. - С.95-102.

ю. Abadi Martin and Luca Cardelli A Theory of Objects. - Springer-Verlag. - 1996.

ABOUT SYSTEM-OBJECT METHOD PRESENTATION OF ORGANIZATIONAL KNOWLEDGE

In the article the original hybrid method repose of knowledge based on a system-object approach "Node-Function-Object", which was first formalized by the integration of algebraic calculus of objects and devices of calculation processes. The method is intended for the storage and processing of organizational knowledge with computer equipment.

Keywords: system-object method of knowledge representation, system-object approach "Node-Function-Object", organizational knowledge, calculation of objects, the calculation processes.

A.G. ZHIKHAREV S.I. MATORIN E.M.MAMATOV N.N. SMORODINA

Belgorod State National Research University

e-mail:

zhikharev@bsu.edu.ru

i Надоели баннеры? Вы всегда можете отключить рекламу.