Научный журнал
Фундаментальные исследования
ISSN 1812-7339
"Перечень" ВАК
ИФ РИНЦ = 1,674

СОБЫТИЙНЫЙ ПОДХОД К УПРАВЛЕНИЮ СЕМАНТИКОЙ СИСТЕМЫ

Починский И.А. 1 Зинкин С.А. 1
1 ФГБОУ ВПО «Пензенский государственный университет»
В статье указывается, что недостатки существующих средств представления знаний вносят семантическую несостоятельность и недетерминированность в модель системы. Приводятся свойства процедурных знаний, которые существующими средствами представления знаний не могут быть реализованы в полной мере. В качестве решения задачи поддержки свойств процедурных знаний вводится и формально описывается в терминах семантических гиперграфов понятие события в семантике системы. Событие рассматривается как формализм генерации фронта готовых продукций системы продукционных правил. Также в статье предлагается расширение базового формального описания продукционных правил, благодаря которому появляется возможность учитывать их приоритет, исключительные ситуации, пред- и постусловия, а также возможность группировки правил. Выполнение с учетом приоритета правил из фронта готовых продукций моделирует изменение семантики системы. При этом поддерживаются свойства связности, семантической метрики и активности процедурных знаний.
процедурные знания
продукционные правила
семантические гиперграфы
события
интеллектуальные системы управления знаниями (ИСУЗ)
онтологии
1. Искусственный интеллект. Справочник в трех томах / под ред. В.Н. Захарова, Э.В. Попова, Д.А. Поспелова, В.Ф. Хорошевского. – М.: Радио и связь, 1990.
2. Починский И.А. Проектирование онтологии сети передачи данных на основе формализма семантических гиперграфов // Труды Всероссийского конкурса научно-исследовательских работ студентов и аспирантов в области технических наук : материалы работ победителей и лауреатов конкурса. – СПб.: Изд-во Политехн. ун-та, 2012. – С. 139–141.
3. Починский И.А. Продукционные правила в качестве средства формализации семантического гиперграфа // Университетское образование: сб. статей XVI Междунар. научно-метод. конф. – Пенза: Изд-во ПГУ, 2012. – С. 443–445.
4. Починский И.А. Формальное представление семантических гиперграфов и операций над ними. // Молодежь. Наука. Инновации: Труды V междунар. научно-практ. интернет-конференции / под ред. Г.К. Сафаралиева, А.Н. Андреева, В.А. Казакова – Пенза: Изд-во Пензенского филиала ФГБОУ ВПО «РГУИТП», 2012. – С. 373–377.
5. Zadeh L. Commonsense knowledge representation based on fuzzy logic // Computer. – 1983. – Vol. 16. – C. 256–281

Описания декларативных знаний недостаточно для построения полнофункциональных интеллектуальных систем управления знаниями (ИСУЗ).

Есть свойства знаний [1] [5], которые невозможно [2] описать только с помощью языков представления декларативных знаний:

1. Связность (должна быть предусмотрена возможность установления новых связей различного типа между информационными единицами).

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

3. Активность (не только появление в базе фактов или описаний каких-либо событий, но и установление новых связей и даже сам факт изменения знаний может стать источником активности ИСУЗ).

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

Событие как формализм генерации фронта готовых продукций

Изменение семантики моделируемой системы производится вследствие последовательности событий, происходящих в моделируемой системе, поэтому необходимо определить и формально описать понятие события.

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

Eqn45.wmf

Свойства id и evID используются для идентификации вершины: первое – глобально в пределах гиперграфа, второе – в пределах класса event.

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

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

Эвристическим будем называть событие, значение одного или нескольких атрибутов которого было получено в процессе моделирования (т.е. при трансформации гиперграфа вследствие возникновения других событий).

Ситуацией (событийной) будем называть совокупность событий, выделенную по каким-либо принципам. Элементарной будет являться ситуация, содержащая единственное событие. Фактической будем называть ситуацию, все события которой являются фактическими, а эвристической – все события которой являются эвристическими. Также можно определить понятие глобальной и локальной ситуации: совокупность всех событий системы и любое ее подмножество соответственно. Теоретически ситуации можно рассматривать как одно из средств задания коннотативной семантики системы или отдельных ее фрагментов.

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

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

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

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

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

Множество вариантов поведения модели системы может варьироваться в зависимости от последовательности актуализации событийных ситуаций, причем эта последовательность может определяться как императивно (т.е. алгоритм поведения модели жестко задан при проектировании), так и эвристически. При эвристическом способе определения поведения модели системы последовательность событий может определяться по причинно-следственным (каузальным) связям между событиями (т.е. срабатывание определенного события может зависеть от факта срабатывания одного или нескольких других событий модели или от значения определенной вершины-свойства). Графически каузальные семантические дуги могут ничем не отличаться от обычных семантических дуг семантического гиперграфа.

Каузальным связыванием будем называть семантическое связывание каузальными связями. Формально каузальное связывание описывается следующим образом:

Eqn46.wmf

где ei – событие, являющееся причиной; ej – событие, являющееся следствием; causeArc – каузальная семантическая дуга.

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

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

После выполнения всех правил фронта готовых продукций в системе происходит следующее событие, для моделирования которого формируется следующий фронт готовых продукций.

Формальное описание продукций в ретроспективе управляющих конструкций над семантическими гиперграфами

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

При использовании классического определения продукций, приведенного в [1], с ростом количества продукций в модели системы увеличивается ее противоречивость, т.к. продукции могут конфликтовать друг с другом. Кроме того, система становится недетерминированной, т.к. не определена очередность выполнения продукций (в худшем случае некоторые продукции могут заблокировать выполнение других, модифицировав фрагмент гиперграфа, необходимый для удовлетворения условия их срабатывания). В связи с этим предлагается использовать следующее формальное определение продукций:

Eqn47.wmf

где i – имя или идентификатор продукционного правила. В качестве идентификатора продукции предлагается использовать ее порядковый номер записи в системе, перед которым ставится символ #. Для решения вопроса увеличения удобочитаемости продукций человеком можно в памяти ЭВМ хранить и идентификатор, и название правила, используя для машинной обработки только идентификатор, а для отображения – название (или и то, и другое).

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

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

Eqn48.wmf – ядро продукции в классическом его понимании: из истинности A следует истинность B1, из ложности A следует истинность B2. Другими словами, ЕСЛИ A, то B1, ИНАЧЕ B2. В качестве B1 и B2 могут использоваться как атомарные операции (например, удаление/создание вершины или семантической дуги), так и комплексные действия, модифицирующие большие фрагменты гиперграфа.

Q – постусловие продукции, которое актуализируется только после выполнения ее ядра (независимо от того, было выполнено действие B1 или B2).

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

Ex – условие, при истинности которого ядро продукции активизировано не будет. Может являться конкретизацией условия применимости ядра продукции.

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

Под выполнением продукции здесь и далее подразумевается последовательное выполнение следующих шагов:

1. Проверка условия срабатывания ядра продукции. Если условие выполняется, переход к шагу 2, иначе – к шагу 5.

2. Проверка условия-исключения. Если условие выполняется, переход к шагу 5, иначе – к шагу 3.

3. Активация ядра продукции.

4. Выполнение постусловия продукции.

5. Переход к следующей продукции из фронта готовых продукций.

Вывод

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

Рецензенты:

Егоров С.И., д.т.н., доцент, профессор кафедры вычислительной техники, ФГБОУ «Юго-Западный государственный университет»;

Ромм Я.Е., д.т.н., профессор, заведующий кафедрой информатики, ФГБОУ ВПО «ТГПИ имени А.П. Чехова».

Работа поступила в редакцию 07.05.2013.


Библиографическая ссылка

Починский И.А., Зинкин С.А. СОБЫТИЙНЫЙ ПОДХОД К УПРАВЛЕНИЮ СЕМАНТИКОЙ СИСТЕМЫ // Фундаментальные исследования. – 2013. – № 6-4. – С. 863-866;
URL: https://fundamental-research.ru/ru/article/view?id=31651 (дата обращения: 29.03.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674