CC BY
94
моделирования динамических систем. Система может функционировать на множестве ПАК.
Благодаря адаптированному ш'£/-движку в наполнении контента справочника может принимать участие любой ее пользователь. Кроме того, система расширяема и возможна ее адаптация для процессов построения моделей гибридных систем.
Литература
1. Сухомлин В.А. Методологический базис открытых систем // Открытые системы. 1996. № 4.
2. Батоврин В.К. [и др.]. Построение профиля информационных, вычислительных и телекоммуникационных ресурсов для обеспечения фундаментальных исследований // Журнал радиоэлектроники. 2001. N° 12.
3. Тим О'Рейли. Что такое Web 2.0 // URL: http://www. computerra.ru/think/234100/ (дата обращения: 14.04.2010).
УДК 004.82, 004.89, 519.816
метод дедуктивного вывода на семантических сетях концептуальных объектов
А.П. Раговский
(Московский государственный университет приборостроения и информатики,
anton_ragovskiy@rambler.ru)
Предложен метод представления данных в логике предикатов первого порядка, основанный на формализме инженерии знаний и объектно-ориентированном подходе. Приведен алгоритм дедуктивного вывода на семантической сети концептуальных объектов. Описаны новый способ представления термов и алгоритм унификации, использующий данное представление.
Ключевые слова: методы дедуктивного вывода в интеллектуальных системах, инженерия знаний, представление термов, задача унификации.
Проблема создания высокопроизводительной процедуры дедуктивного вывода особенно актуальна при решении задач практической степени сложности в условиях экспоненциального роста пространства поиска. Причем эффективность этой процедуры должна отвечать следующим требованиям: по возможности сокращать пространство поиска контрарной пары на каждом шаге резоль-вирования и исключать из дальнейшего рассмотрения дизъюнкты, использование которых в процессе доказательства невозможно [1].
Этим требованиям удовлетворяет процедура вывода на графе связей Р. Ковальского [1], однако она имеет ряд существенных недостатков. Главный из них - значительные затраты вычислительных ресурсов и времени при его первоначальном создании. Особенно это касается огромных объемов данных. Кроме того, препроцессорная обработка множества дизъюнктов включена в саму процедуру вывода, что также отражается на вычислительной эффективности этой процедуры. Данный процесс должен быть вынесен за рамки процедуры вывода. Одним из способов решения является использование специальной структуры представления множества дизъюнктов.
Заметим, что препроцессорная обработка, осуществляемая на шаге инициализации множества дизъюнктов, не включает в себя предварительную обработку контрарных пар литер процедурой унификации. Ее включение в препроцессорную обработку позволит снизить вычислительное вре-
мя основной работы процедуры вывода, так как каждая контрарная пара литер уже будет содержать предварительную информацию о множестве рассогласований подтермов. Для этого необходима разработка более производительного и эффективного алгоритма унификации, чем алгоритм, предложенный Дж. Робинсоном [1]. Решением этой задачи является создание специальной структуры представления термов.
Модель представления знаний сложноструктурированной предметной области
Одним из актуальных вопросов при создании прикладной интеллектуальной системы является структурное описание сложной предметной области. В настоящее время построение концептуальной модели и дальнейшая ее формализация начинаются с выделения классов объектов, их атрибутов и отношений между этими классами.
Применение алгоритмов вывода в заданной прикладной предметной области также зависит от правильного выбора модели представления знаний. А их успех при решении задач практической степени сложности связан с эффективным способом формализации огромного объема информации, описывающей прикладную предметную область.
Таким образом, концептуальную модель сложной прикладной предметной области предлагается представлять двухуровневой моделью, со-
стоящей из структурной и формальной подмоделей.
На первом уровне концептуальной модели задается структурная модель прикладной предметной области. Знания, описываемые в структурной модели, разделяются на части, обусловленные как различной внутренней структурой знаний, так и потребностью во всевозможных частях знаний на разных этапах их дальнейшей обработки. Знания, описываемые в структурной модели, представляются К-сетью и D-таблицами. К-сеть содержит конкретные факты, события или состояния, а также взаимосвязи между этими единицами, которые обязательно присутствуют в виде отношений между конкретными объектами в моделируемой предметной области. Значения, характеризующие объекты К-сети, хранятся в D-таблицах.
Для задания структурной модели прикладной предметной области применяется объектно-ориентированный подход, основными особенностями которого являются описание внутреннего содержания объектов К-сети, описание действий (операций) ее объектов, формирование объектов К-сети путем наследования свойств.
Для определения структурной модели прикладной предметной области необходимо описать иерархии наследования и подчиненности (is-a и a part of иерархии классов объектов), а также выделить операции, атрибуты и отношения классов объектов и определить их представителей. При представлении К-сети в виде иерархической структуры отношение наследования - основной тип отношений, так как оно определяет главную классификацию понятий и конкретных фактов предметной области.
Основой создания любой модели знаний о прикладной предметной области является выбор ее категориального аппарата, который решает вопросы отображения объектов и взаимоотношений на единицы представления и отношения в базе знаний прикладной интеллектуальной системы [2]. Анализ категориального аппарата моделирования знаний предметной области выделяет в качестве его центрального звена триаду объект-свойство-отношение. Объект, являющийся центральной категорией модели знаний, рассматривается через его свойства и отношения. Отношения, связывающие объекты, устанавливаются по свойствам этих объектов. Среди свойств объекта выделяются существенные свойства, без которых данный объект не может существовать. Свойства, характеризующие объекты, разделяются на базовые и составные. Составное свойство содержит явное указание на отношение данного объекта к какому-либо другому объекту.
Чтобы разработанная модель представления знаний позволяла алгоритмам вывода решать задачи практической степени сложности, в описание центрального звена категориального аппарата
включаются две наиболее значимые категории знаний: предметные (декларативные и экстенсиональные, процедурные и интенсиональные, глубинные и поверхностные) и управляющие.
Категория предметных знаний центрального звена категориального аппарата содержит описания конкретных объектов К-сети, их атрибутов и отношений между ними. Знания этой категории также выражают различные ограничения на атрибуты объектов К-сети, такие как область определения, тип, множественность значений и др.
Категория управляющих знаний центрального звена категориального аппарата содержит процедуры, реализующие операции над объектами, вычисление атрибутов объектов и определение отношений, схемы вывода и алгоритмы выбора наиболее перспективных путей поиска решений.
Категория управляющих знаний центрального звена категориального аппарата моделируется с помощью агентно-ориентированного подхода на основе организации интеллектуального агента, в архитектуру которого заложена продукционная модель [2].
Таким образом, в качестве информационных единиц рассматриваются два типа концептуальных активных объектов, описывающих триаду: КА-объект - объект триады, РА-объект - свойство триады, а составное свойство объекта - отношение триады (рис. 1).
Метод представления данных в логике предикатов первого порядка
На втором уровне концептуальной модели задается формальная модель прикладной предметной области, которая представлена множеством дизъюнктов. Исходное множество дизъюнктов описывает в формальном виде знания прикладной предметной области, представленные на первом уровне концептуальной модели. Так как множество дизъюнктов является объектом работы процедуры дедуктивного вывода, выбор способа их представления крайне важен для создания эффективной и высокопроизводительной процедуры дедуктивного вывода.
Представим исходное множество дизъюнктов Ci, C2, ..., Сь состоящее из предикатов Рь Р2, ..., Рь как семантическую сеть объектов. В качестве таких объектов выбираются концептуальные объекты, представляющие знания на первом уровне концептуальной модели.
Поставим в соответствие каждой предикатной литере Pj концептуальный РА-объект, а каждому дизъюнкту Cj - КА-объект семантической сети формальной модели. Тогда предикатные литеры, принадлежащие одному дизъюнкту, группируются вместе и образуют свойства этого КА-объекта. Соединение КА-объектов коррелятивным отношением (cor), математическая формулировка которо-
КА-объект
Предметные знания
Имя: текст
Связи наследования: ссылка на КА-объект1
Связи наследования: ссылка на КА-объектт Свойство 1: включение РА-объекта1 по ссылке Свойство 2: включение РА-объекта2 по ссылке
Свойство п: включение РА-объекта„ по ссылке
Управляющие знания
Блок управления и обработки данных
База правил \ Блок рассуждений
База умений
РА-объект
Предметные знания
Имя: текст
Связи наследования: ссылка на РА-объект Характеристика свойства: существенное, второстепенное
Тип свойства: базовое, составное Тип: текст, целые числа, действительные числа, логическое значение, дискретное значение или связь Область определения: некоторое множество значений
Управляющие знания
Блок управления и обработки данных
База правил Блок рассуждений
База умений ч ^
Рис. 1. Структура КА-объекта и РА-объекта
го описана в [3], формирует связи предикатных литер, потенциально образующих контрарные пары. Однако для определения того, образуют ли между собой КА-объекты коррелятивные отношения, необходимо использовать операцию идентификации бинарного коррелятивного отношения на КА-объектах с внутренней структурой. Вновь идентифицированное отношение единожды запоминается в памяти соответствующего КА-объекта как составное свойство и в дальнейшем не требует переопределения.
Коррелятивное отношение ассоциируется с установленными резольвентами, являющимися результатом резольвирования однозначно определенных контрарных пар РА-объектов, которые определяют данное отношение. При резольвиро-вании соответствующей контрарной пары РА-объектов запускается механизм наследования КА-объектов. Данный механизм учитывает все вносимые при генерации резольвенты изменения, в том числе пометку о неучастии в коррелятивном отношении соответствующего атрибута КА-объек-та в его памяти.
В значительной мере гибкость и мощь процедуры вывода зависят от препроцессорной обработки множества дизъюнктов, представленных семантической сетью концептуальных объектов. Достижением цели повышения вычислительной эффективности процедуры вывода является моделирование управляющих знаний КА-объекта с помощью агентно-ориентированного подхода, активирующего в нужный момент процедуры обработки данных. Механизм наследования КА-объектов при генерации резольвенты активирует блок управления и обработки данных КА-объектов
для запуска процедур факторизации, удаления КА-объектов-тавтологий, удаления чистых КА-объек-тов, нахождения поглощенных КА-объектов. Кроме того, на шаге инициализации семантической сети операция идентификации коррелятивного отношения на КА-объектах запускает процедуру создания множества связей рассогласований подтермов при предварительной проверке унифицируемости термов. Применяемый в этой операции специально разработанный алгоритм унификации сокращает затраты вычислительного времени при работе процедуры вывода.
Таким образом, семантическая сеть концептуальных КА-объектов - это схема представления правильно построенных формул первого порядка в виде концептуальных активных объектов в доказательстве их опровержения.
Рассмотрим построение подобной сети концептуальных КА-объектов для заданной последовательности дизъюнктов (рис. 2).
Алгоритм дедуктивного вывода на семантической сети концептуальных КА-объектов
Для доказательства невыполнимости концептуальных КА-объектов следует породить и разрешить исходную семантическую сеть, то есть вывести из нее пустой КА-объект. Основной операцией в опровержении семантической сети является резолюция, в которой выделяется соответствующее коррелятивное отношение и унифицируются соответствующие термы пар РА-объектов. Затем запускается механизм наследования для вычисления резольвенты и внесения в семантиче-
Имя: PA-объекг1
Тип свойства: составное Тип: коррелятивная связь Область определения: К^объектз
PA-объекг2 Имя: C Тип свойства: базовое Тип: текст
Область определения: a
Имя: Кл-объекгг
Свойство 1: PA-объект1 Свойство 2: PA-объект3 Условия целостности: (^ PA- объект3)
PA-объекг3 Имя: H Тип свойства: базовое Тип: текст
Область определения: Ь
Имя: KA-объект1
Свойство 1: PA-объект1 Свойство 2: PA-объект2 Условия целостности: (^Р^объектг)
Имя: Кл-объекг3
Свойство 1: PA-объект4 Свойство 2: PA-объект5 Свойство 3: PA-объект6 Условия целостности: (Р^объект^); (Р^объ-ект^); (PA-объект6^)
PA-объекг4 Имя: C Тип свойства: базовое Тип: текст
Область определения: x
PA-объекг5 Имя: H Тип свойства: базовое Тип: текст
Область определения: у
Имя: Кл-объекг Свойство 1:PA-объект9 Свойство 2:PA-объект10 Условия целостности: (^ PA-объекTlo)
Имя: PA-объекг9
Тип свойства: составное Тип: коррелятивная связь Область определения: ^-объект,
Рис. 2. Семантическая сеть концептуальных ^-объектов Примечание. Исходное множество дизъюнктов: С(а);—Р(у^Ь(а, у); -|С(х^-|Н(у^-|Ь(х, у); Р(Ь); Н(Ь).
скую сеть всех необходимых изменений.
В качестве метода вывода используется семантическая резолюция с реализацией положительной гиперрезолюции. Исходное множество К^-объектов 8 состоит из множеств положительных 8Р и неположительных 8К упорядоченных К^-объектов, кандидатами для электронов являются положительные упорядоченные Кд-объекты, а кандидатами для ядер - отрицательные. Для любых неположительных упорядоченных Кд-объек-тов отрицательные Рд-объекты ставятся после положительных Рд-объектов.
Р является упорядочением Р^-объектов в множестве 8. Каждый Кд-объект сети пополняется свойствами, в которых хранится информация об упорядочении данного объекта согласно Р и о принадлежности объекта одному из множеств -8Р или 8^
Последовательный алгоритм дедуктивного вывода на семантической сети концептуальных К^-объектов имеет следующий вид.
ПРОЦЕДУРА ВЫВОДА (Б: исходное множество КА-объектов) =
А: очередь множеств Л^; /* в каждом из множеств А^ содержится информация о положительных упорядоченных КА-объектах */
В: очередь множеств Б±; /* в каждом из множеств В± содержится информация о неположительных упорядоченных КА-объектах */
/* такая информация о каждом КА-объекте представлена в виде дополнительного свойства среди основных свойств КА-объекта */
Ао=0; Во=БЫ;
3:=1;
2: ±:=0;
пока множество А не содержит информацию о полученной пустой резольвенте цикл
в противном случае противоречие найдено; выход;
если В±=0, то переход к пункту 1; все
РЕЗОЛЬВЕНТАМ, В1, 1+1);
1:=1+1;
все
1: БР^А;
если SP=0, то неуспешное завершение процедуры; выход; все
3:=3+1;
РЕЗОЛЬВЕНТА (А, SN, 0);
переход к пункту 2;
все
ПРОЦЕДУРА РЕЗОЛЬВЕНТА (Б1, Б2: множество КА-объектов; 1: целое число) =
• выбор коррелятивного отношения концептуальных КА-объектов из множества отношений неоднородной семантической сети; /* Я(КА-объ-ект1;1, КА-объект1;2), где Я=сог, КА-объект1;1 принадлежит множеству Б1г а КА-объект1;2 принадлежит множеству Б2 */
• активация блока управления и обработки данных КА-объекта1;1 для запуска процедуры нахождения упорядоченного фактора;
• активация блока управления и обработки данных того КА-объекта, который имеет составное свойство, хранящее описание данного коррелятивного отношения для запуска следующих процедур:
1) запуск процедуры выбора соответствующей пары РА-объектов, образующих контрарную пару, при условиях:
РА-объект в КА-объекте1,1 является наибольшим;
если 1^0, то РА-объект в КА-объекте1;2 является последним; все
все
2) запуск процедуры построения резольвенты с активацией механизма наследования КА-объ-ектов;
• активация блоков управления и обработки данных КА-объектов для запуска процедур: нахождение упорядоченного фактора, удаление КА-объекта - тавтологии, удаление чистого КА-объекта, нахождение поглощенного КА-объекта; все
/* для получения резольвент используется механизм наследования КА-объектов, при этом в образующихся новых КА-объектах учитываются все вносимые изменения, в том числе и неучастие соответствующей пары атрибутов КА-объ-ектов в дальнейшем использовании выбранного коррелятивного отношения */
все
информация о полученных положительных и неположительных упорядоченных КА-объектах помечается во множествах A1 и B1 соответственно;
все
Операция идентификации семантических отношений на концептуальных КА-объектах
Поскольку в предлагаемой модели представления знаний разделенные на части знания определены различной внутренней структурой, за основу описания отношений возьмем предложенный в [3] аппарат неоднородных семантических сетей. Неоднородная функциональная семантическая сеть определена четверкой вида W=(D, S, R, F), отношения в которой порождаются атрибутами входящих в них объектов.
Чтобы организовать над множеством концептуальных активных КА-объектов неоднородную семантическую сеть, используется специальная операция F, позволяющая для предъявляемых КА-объектов определять, выполняется ли на них рассматриваемое отношение. Применение математической формулировки неоднородных отношений в виде комбинации их свойств и матриц совместности лежит в основе организации такой операции F. Рассмотрим основной принцип, лежащий в организации операции F - операции идентификации отношений из R={is-a, a part-of, cor} на КА-объектах.
Основой операции F является проверка выполнения математической формулировки отношений на КА-объектах с внутренней структурой, организованная методом поиска общих атрибутов и их значений. Для каждого КА-объекта, участвующего в отношении, строятся индексы на базе двоичного дерева, в качестве значений ключей в которых хранятся имена РА-объектов и дополнительная информация в виде ссылки на атрибуты РА-объектов, значения которых хранятся в специальной таблице. Идентификация заданного отношения согласно их свойствам начинается с просмотра индексов, чтобы найти общие свойства
участвующих в отношении КА-объектов. Затем поиск, продолжающийся по специальной таблице согласно формулировке матрицы совместности, находит общие атрибуты свойств КА-объектов. Для этого информация об имени и области определения каждого РА-объекта сводится к предикатной литере. Это позволяет абстрагироваться от другой описательной информации и сконцентрироваться на быстром поиске соответствующей предикатной литеры, удовлетворяющей заданному условию.
В качестве структуры представления таких предикатных литер выбираются строковые пути, использующиеся при построении индексов на термах в логике предикатов первого порядка. Для этого предикатная литера переводится в строковое представление, записывая символы и информацию о структуре литеры в последовательности прямого обхода. При этом генерируется столько строк, сколько переменных или константных символов находится в литере и функциональных символах этой литеры. Применение такого представления р-строк при определении операций поиска и сравнения атрибутов позволяет использовать операцию подобия строк; р-строки являются подобными, если рхср2, где р! есть р-строка, ведущая к переменному или константному символу первой предикатной литеры, а р2 - второй предикатной литеры.
Построим специальную таблицу поиска для КА-объекта^ и КА-объекта8 (см. табл. 1) семантической сети концептуальных объектов, приведенной на рисунке 2.
Общие атрибуты КА-объектов
Номер КА-объекта Номер р-строки в таблице Номер РА-объекта Вершина в бинарном дереве, номер вершины Условия целостности р-строка Найденный символ литеры, тип символа
3 1 6 L, 3 Рб^ Lj.x x, var
3 2 6 L, 3 Рб^ L2-y y, var
4 3 8 L, 2 Lj.a a, const
4 4 8 L, 2 ^8 L2.y y, var
Способ представления термов в логике предикатов первого порядка
В алгоритмах доказательства теорем, как правило, используются достаточно простые и экономные структуры представления термов, которые очень хорошо сочетаются и с процедурами дедуктивного вывода, и с процедурой унификации. Такими структурами часто являются ориентированные ациклические графы и плоские термы. Достоинство ациклических орграфов в реализации всевозможных операций просмотра термов в разных направлениях и манипулирования их частями. Главный недостаток - усложнение работы с памя-
тью из-за того, что размер каждого узла в первую очередь зависит от количества потомков. Однако этого нельзя сказать о плоском представлении термов. Достоинством плоских термов является предоставление удобного способа прямого разбора терма и значительное упрощение работы с памятью из-за фиксированной структуры.
При разработке эффективного и простого в использовании представления термов необходимо объединить достоинства вышеописанных структур. Для этого нужно решить две основные задачи: определение основной структуры представления термов и расширение такой структуры для удобного хранения в памяти. В качестве основной структуры представления термов предлагается использовать размеченные ациклические орграфы С=(У, Е), формальное определение которых описывается с помощью составного объекта 8=(У, Ь, 1", у0) при условии MV=Q, где МУ - множество меток, N - множество натуральных чисел, V -множество вершин, у0=У - начальная вершина, - функция разметок вершин, L=VxVxN -множество упорядоченных связей, таких, что I Ьп(у, V, N I <п, 1(у)=ю"еО [4, 5].
Для удобного описания термов рассматриваются только инициальные составные объекты, то есть объекты, для любой вершины которых у£у0^у0К(у, где Не - транзитивное замыкание отношения непосредственной достижимости. Каждая вершина составного объекта 8 порождает составной объект, начальной вершиной которого является она сама. Причем 1-м аргументом составного объекта 8у(а^(у, 1)=у'), порожденного вершиной у, при условии существования ieN такой, что (у, у', 1)еЬ, является составной объект 8у', порожденный вершиной у'.
Задача представления терма размеченным ациклическим орграфом составного объекта 8 дополняется префиксным способом прохождения вершин с расстановкой на ребрах порядковых номеров потомков заданного родителя. Для этого выполняются следующие действия:
1) исследуется корневая вершина терма у0;
2) рассматривается самый левый аргумент у' вершины у, который еще ни разу не рассматривался ((у, у', 1)еЬ);
3) помечается ребро е=(у, у') функцией разметок ребер g(e) при условии МЕ=1, где МЕ - множество меток.
Таким образом, вершины орграфа хранят вспомогательную информацию о функциональных символах, позициях подтермов, номере аргумента и о помеченных ребрах при прямом обходе. Причем все висячие вершины, описывающие переменные или константные символы, располагаются на одном уровне. Они имеют путь на орграфе, который состоит из вершин орграфа вместе с пометками ребер, расположенными вдоль пути. При
этом любой путь рассматривается с корневой вершины у0, помеченной символом самого терма. Благодаря такому отождествлению данное представление терма можно задать в виде массива вершин с дополнительной информацией (рис. 3).
Рис. 3. Представление терма в виде размеченного ациклического орграфа составного объекта S Примечание. Терм 1(х1, §(х1), х2, Ь(х1, х2), х3, к(хь х2, х3)) представлен размеченным ациклическим орграфом составного объекта 8. К переменной х1 имеется несколько путей: ПУТЬ1(Х1) := И; ПУТЬ(хО := ^1; ПУТЬз(хО := 14И1; ПУТЬ,(хО := 16к1.
Рассмотрим терм, имеющий вид 1=\(*, ..., 1"2(*, ..., fn(*))), где 1 - функциональный символ, а в качестве любой переменной или константы терма берется символ *. Тогда символ * имеет путь на орграфе, который можно сформулировать в виде строки ^п^.Л^п^ где п1 - пометка на ребре, исходящая из заданного 1 функционального символа. Этот путь имеет обозначение ПУТЬ1(*), где 1 -порядковый номер пути.
Пример. Для расширенного представления термов также используются две дополнительные операции: ТИП(*) - тип висячей вершины орграфа (переменная, обозначаемая символом у, и константа, обозначаемая символом с), КВAНТОР(*) - в области действия какого квантора находится переменная.
Задавая пути при прямом порядке обхода вершин орграфа к символам переменных или констант в строковом виде и обходя вершины слева направо и сверху вниз, можно получить некую последовательность, которая обязательно будет начинаться с корневой вершины. Такое множество строк удобнее всего записывать в виде некоторого массива (рис. 4).
Для создания эффективных процедур дедуктивного вывода необходимо решить задачу построения эффективного алгоритма унификации. При построении алгоритма унификации возникают проблемы вычисления унификатора и предварительного определения унифицированности термов. Предложенная структура представления термов позволяет отойти от алгоритма унификации Дж. Робинсона и разбить его на две основные части. В первой части алгоритма, именуемой ТЕСТ (и, у: герм), проводится предварительная провер-
К Т f 1 2 3 4 5 6
V v Xi * gi hi ki
V v x2 * h2 k2
V v X3 * кз
Рис. 4. Представление терма f(xi, g(x) x2, h(xj, x2), x3, k(xi, x2, x3)) в виде массива
T Р 1 2 3 T Р 1 2 3
v y V c a Ä
v z gl v x А
v x f1 4 v y f1i1
Рис. 5. Представление задачи унификации пары термов с использованием предложенного способа представления термов
ка на унифицированность термов, и в случае положительного ответа на проверку унифицируемости конкретной позиции создаются связи множества рассогласований подтермов.
На рисунке 5 представлен результат работы процедуры ТЕСТ (Р(у, ф), +'(х)), Р(а, х, %(у)))):
1) у н^ а тип связи множества рассогласований - {переменная/константа};
2) х I—» g1z тип связи - {переменная/функциональный символ};
3) х I—> g1y тип связи - {переменная/функциональный символ}.
Во второй части алгоритма, именуемой УНИФИКАЦИЯ (и, у: терм), строится наиболее общий унификатор пары термов (11, «¡), успешно прошедших предварительную проверку унифицируемости подтермов, с помощью информации о множестве рассогласований, записанной в виде связей.
Подводя итог, отметим, что в статье рассмотрена концептуальная модель представления знаний, описывающая сложноструктурированную предметную область. В качестве формализма представления знаний выбрана модель, основанная на инженерии знаний и объектно-ориентированном подходе. Предложены способ описания семантических отношений на концептуальных
объектах, операция их идентификации, а также метод представления данных в логике предикатов первого порядка, основанный на формализме представления знаний. Приведен алгоритм дедуктивного вывода на семантической сети концептуальных объектов. Предложены новый способ представления термов и реализующий его алгоритм унификации.
Применение алгоритма дедуктивного вывода на семантической сети концептуальных объектов позволит создать высокопроизводительные прикладные интеллектуальные системы, которые могут использоваться при решении задач практической степени сложности.
Литература
1. Достоверный и правдоподобный вывод в интеллектуальных системах / В.Н. Вагин [и др.]; [под ред. В.Н. Вагина, Д.А. Поспелова]. М.: Физматлит, 2004. 704 с.
2. Рассел С., Норвиг П. Искусственный интеллект: современный подход; [пер. с англ.]. М.: Издат. дом «Вильямс», 2006. 2-е изд. 1408 с.
3. Осипов Г.С. Приобретение знаний интеллектуальными системами. М.: Наука-Физматлит, 1997. 112 с.
4. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб: БХВ-Петербург, 2003. 1104 с.
5. Лекции по дискретной математике / Ю.В. Капитонова [и др.]. СПб: БХВ-Петербург, 2004. 624 с.
УДК 004.942
нейроподобные сети петри при моделировании социальных процессов
А.А. Суконщиков, к.т.н.; Д.Ю. Крюкова
(Вологодский государственный технический университет, avt@pstu.edu.ru, magnyi@1ist.ru)
В статье определяется новый гибридный математический аппарат нейроподобных сетей Петри: даются его описание, уравнение динамики, правила функционирования. Определяются предметная область и мера применения аппарата нейроподобных сетей Петри в пенитенциарной социальной работе. Рассматривается пример моделирования и математического описания на нейроподобных сетях Петри процесса решения жилищной проблемы осужденного.
Ключевые слова: нейроподобные сети Петри, гибридный математический аппарат, уравнение динамики, степень исправления осужденного.
Необходимость моделирования процессов социальной работы с осужденными обусловлена задачами автоматизации деятельности специалистов
по социальной работе с осужденными, которые предполагают проецирование реальных действий и процессов в данной области на уровень вирту-
