CC BY
100
УДК 004.89
А. В. Заболеева-Зотова, д-р техн. наук, проф., [email protected],
А. И. Половинкин д-р техн. наук, проф., (8442)248100, [email protected] (Россия, Волгоград, ВолгГТУ)
ЛОГИКО-ЛИНГВИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
ПРИ АНАЛИЗЕ И СИНТЕЗЕ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
Рассматриваются грамматики для концептуального проектирования технических и программных систем, а также грамматики для описания языка программирования, использующего элементы естественного языка.
Ключевые слова: грамматика, проектирование технических и программных систем, анализ технического задания, гибридные логические модели, описание языка программирования.
В основе человеческих рассуждений лежат процессы, основанные на анализе непрерывной и дискретной (гранулированной) информации. Непрерывность обычно моделируется классическими методами системной динамики. Для анализа же гранулированной информации применяют методы нечеткой математики, в частности методы вычисления со словами, предложенные Л. Заде. В задачах, моделирующих элементы творчества -то есть создания новых сложных систем, особенно явно это проявляется при построении моделей, связанных с вербализацией процесса синтеза. Действительно, весьма логичным для таких задач является использование методов обработки естественного (или искусственного) языка в зависимости от потребностей вербализации. При этом возможно использование гибридных методов, объединяющих преимущества лингвистических и методов анализа структур сложных систем. В данной статье мы предлагаем варианты гибридизации различных типов грамматик с различными структурами терминальных множеств, применяемыми нами в задачах анализа и, в большей степени, синтеза интеллектуальных систем. В данной статье мы предлагаем варианты гибридизации различных типов грамматик с различными структурами терминальных множеств, применяемыми нами в задачах анализа и, в большей степени, синтеза интеллектуальных систем.
ГРАММАТИКИ ДЛЯ КОНЦЕПТУАЛЬНОГО ПРОЕКТИРОВАНИЯ ТЕХНИЧЕСКИХ СИСТЕМ. Одной из таких задач является концептуальное (поисковое) проектирование. Как и любой творческий процесс, инженерное творчество предполагает использование интуиции для анализа и синтеза гранулированной и вербализованной информации. Данный сем-биоз задач является крайне сложным для моделирования. Наиболее распространенными методами поискового конструирования являются эвристические; логико-комбинаторные, методы синтеза на И/ИЛИ-графах; а также автоматизированные методы поиска физических принципов действия на основе банка физических эффектов. В области создания технологии автоматизации поискового конструирования выделяется Волгоградская
научная школа, возглавляемая А. И. Половинкиным и В. А. Камаевым [1,2]. Моделируются следующие этапы синтеза технических систем: выявление потребности, формирование технического задания, синтез потоковой функциональной структуры, синтез функционально-физической структуры, синтез конструктивной функциональной структуры, документирование результатов конструирования. Данные подходы являются достаточно эффективными при создании новых технических решений. При этом, очевидно, они не в состоянии адекватно отобразить процесс поиска нового технического решения, и, соответственно, его результат.
Одним из вариантов решения данной проблемы, является использование логико-лингвистических методов, в частности, разработка алгоритмов на основе грамматики над гранулированными структурами.
Пусть 5 - нечеткий семантический гиперграф, интерпретирующий структуру системы:
5 = (%, Я, р), (1)
где 5^ = (5/ }, =1“^ - множество элементарных подсистем, Я - множество
типов соединения подсистем и р - двухместный нечеткий предикат инцидентности.
Под элементарной подсистемой понимается некоторая модель объекта, включающая описание множеств его входных, выходных воздействий и состояний, не детализируемая на текущем уровне рассмотрения, а также выходное и переходное отображение (2):
Б, = (Хт ,¥,М, 0к, я,,)), (2)
где Хт - множество входов, содержащее вещественные (V), энергетические (Е) и информационные (Р) воздействия: ХТ с (V и Е и Р); УМ -
множество выходов: УМ с (V и Е и Р); 0К - множество состояний объекта воздействия; а, - выходная функция; ), - преобразователь выходной
функции. Верхние индексы в ХТ и УМ определяют соответственно КОЛИк
чество входов и выходов, в О, - количество возможных состояний объек-
та воздействия.
Определение элементарных подсистем в предложенном виде является наиболее общим и, в зависимости от организации каждого из множеств ХТ, УМ, 0К а также функций а, и ),, отражает все возможные варианты структурного представления реальных функциональных элементов современных ТС, в частности, сборочных узлов (гиперэлементов), а также физических и конструктивных элементов. Так, например, при М=0 элементарная подсистема на физическом уровне отражает эффекты типа "поглощение" вещества, энергии или информации, при Т=0 - эффекты "излучения", при Ь=М=0 - эффекты "преобразования" и т. п.[1,2]
Выходная функция (с,: О, х X, ^ У,), характеризующая подсистему, определяется как композиция трех отображений:
Ф1 : Хг ^ 0; Ф2 : 0 ^ 0,; Ф3 : 0 ^ ^. (3)
Если в а, отсутствует ф} или фз, то подсистема описывает так называемые "внутренние" эффекты, явления или процессы. Определение элементарных подсистем отражает все возможные варианты структурного представления реальных функциональных элементов современных ТС, в частности, сборочных узлов (гиперэлементов), а также физических и конструктивных элементов
Универсальное множество и входных и выходных воздействий имеет иерархическую структуру.
Верхний уровень представляет собой совокупность лингвистических переменных, характеризующих интенсивность конкретных вещественных и энергетических потоков. Каждый элемент верхнего уровня универсума характеризуется названием потока (состояния объекта) и лингвистической переменной, определяющей его интенсивность. Данный уровень универсума используется для синтеза потоковых функциональных структур ТС.
Связь между универсумом, множествами входных и выходных воздействий в подсистеме 5, отражается нечеткими отношениями. Выходная функция подсистемы является композицией 3-х отображений, каждое из которых индуцирует некоторое нечеткое отношение на декартовом произведении множеств. Выходная функция элементарной подсистемы определяется как результат операции максиминной композиции матриц соответствующих нечетких отношений.
Преобразователь ), рассматривается как дополнительное информационное воздействие, выделенное для организации структур ТС с контурами обратных связей.
Средний уровень универсального множества и содержит множество векторов физических величин, соответствующих каждому терму лингвистической переменной, характеризующей наименование потока. Каждая физическая величина вектора характеризуется своим нечетким числом. Второй иерархический уровень универсума используется для синтеза физических структур ТС.
Выделены следующие типы соединений подсистем: последовательное, параллельное, правый и левый узел. Для формализации различных типов соединения нечетких подсистем определены операции сравнения элементов универсума.
Для формализации процесса анализа - синтеза структур ТС определим грамматику над описанными гранулярными структурами:
а = (Т, N, Р, С). (4)
Множество терминальных символов имеет следующий вид:
Т = (51,52,..., 5N, 5}, где 51,52,...,5N - элементарные подсистемы; 5 - тип соединения подсистем. Здесь подразумевается использование вычисляемого отношения для каждого типа соединения при применении соответствующего правила грамматики.
Множество нетерминалов N = (С, 5, 5,}, где С - цель грамматики (структура ТС), 5 - подструктура, 5, - элементарная подсистема структуры.
Тогда система продукций будет содержать следующие правила:
С ^ 5; 5 ^ 5,55 ; 5 ^ 555,; 5 ^ 5,; 5, ^ 51| 52|...| 5N. (5)
Построенная грамматика на верхнем уровне является обычной КС-грамматикой над графовыми структурами. При более внимательном рассмотрении, в данном механизме синтеза мы видим существенный набор ограничений, позволяющий производить синтез (анализ) сложных структур систем в соответствии с используемой технологией поискового конструирования. Таким образом решается как задача синтеза новых ТС, так и проблема блокады комбинаторного взрыва.
Адекватность данной модели (эффективность процесса проектирования) определяется объемом эмпирической информации - знаниями в виде описания элементарных подсистем каждого уровня - гиперэлементов, физических эффектов, их конструктивных реализаций. Такие базы знаний разрабатываются и используются в процессе обучения студентов поисковому конструированию на кафедре систем автоматизированного проектирования и поискового конструирования ВолгГТУ уже более 20 лет.
Построенная семантическая модель алгоритмизирована и частично реализована программно.
ГРАММАТИКИ ДЛЯ КОНЦЕПТУАЛЬНОГО ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ. Процесс проектирования программной системы предлагает построение развернутой и точной архитектуры, покрывающей большинство необходимых аспектов для последующей реализации программного обеспечения (ПО). В настоящее время наиболее распространенной и обоснованной является обобщенная технология проектирования, основанная на последовательной реализации трех основных этапов: анализ требований, поиск существующих компонентов, композиция архитектурногорешения (анализ и синтез проектных решений).
Грамматика для анализа текста ТЗ. Автоматизация этапа анализа текста технического задания при проектировании программного обеспечения в последнее время привлекает все большее внимание разработчиков программных продуктов. Такая система позволит значительно повысить эффективность данного процесса. Однако решение этой задачи пока находится в стадии проб и ошибок. Это связано с необычайной сложностью проблемы синтеза и анализа семантики технического текста. Для данной проблемы мы также предлагаем использовать логико-лингвистический
подход. И, в частности, разработана нечеткая атрибутная грамматика над фреймовой структурой формального документа “Техническое задание” [3,4].
Расширенная нечеткая атрибутная грамматика, необходимая ддя автоматизированного анализа текста технического задания, определена в виде
АО = ^ ,Т, Р, 5, В, ^, А, В (А)), (6)
где N - конечное множество нетерминальных символов; В - непересе-кающееся с N множество терминальных символов; Р - конечное множество правил; 5 -начальный символ; В - множество лингвистических переменных Р*,, соответствующих терминальным символам; ^ - множество функций принадлежности определяющих степень принадлежности лингвистических переменных Р*,; А - множество атрибутов, А = А^п и А8ет,
где А^п - синтаксические атрибуты, А8ет - семантические атрибуты; Э(А) - конечное множество семантических действий. Лингвистические переменные из множества В = (Р*, }*, используемые для анализа текста технического задания, описывается следующей пятеркой:
Р*,,=<Р,Т (р),и, а, М), (7)
где Р - название лингвистической переменной (наименование и область применения, основание для разработки, назначение разработки, технические требования к программному изделию, стадии и этапы разработки ит. д.), Т(Р) - языковые выражения. Для лингвистических переменных верхнего уровня они являются лингвистическими переменными, соответствующими терминалам правой части правила. Для лингвистических переменных нижнего уровня - нечеткими переменными, то есть выражениями естественного языка, и - универсум, Т(Р) с и, О - правила морфологического и синтаксического описания языковых выражений, которые определяют синтаксические атрибуты А^п, М - семантическое правило для лингвистических переменных, которое индуцируется морфологическими и синтаксическими правилами, так как смысл терма в Т частично определяется его синтаксическим деревом, и семантическими атрибутами А8ет.
Методы представления связей между правилами транслируются на язык нечеткой математики. При этом связи представляются нечеткими отношениями, предикатами и правилами, а последовательность преобразований этих отношений - как процесс нечеткого вывода.
Лингвистические переменные верхнего уровня являются составными, то есть включают лингвистические переменные нижнего уровня. Благодаря этому можно построить дерево лингвистических переменных и установить зависимость между ними.
Функции принадлежности из множества F = ()*,)*, лингвистических переменных (Р*, }*,, необходимы ддя построения нечеткого вывода. В
частности, каждому правилу грамматики из множества P ставится в соответствие функция принадлежности fk i. Эта двойственная система подстановок
используется ддя вычисления смысла лингвистической переменной.
Таким образом, в данной грамматике также используется принцип анализа (синтеза) многоуровневых (иерархических) структур.
Грамматика для языка описания гибридных логических моделей. Концептуальной основой автоматизации проектирования программных систем и решения задач анализа и синтеза являются накопленные проектные знания. В настоящее время в этой области собрано достаточное количество информации о существующих методах построения точных архитектур программных систем, шаблонов поведения и существующих компонентах готовых для повторного использования для последующей автоматизации всего процесса проектирования. Успешность автоматизации всего процесса проектирования зависит от создания единого формального базиса, обеспечивающего взаимодействие разнородных моделей, методов, технологий. Таким образом, актуальными задачами являются: выбор подходящего метода представления знаний обо всех этапах проектирования и составление алгоритмов автоматизированной композиции архитектурного решения, основанных на выбранных методах представления знаний. [5]
Суть методики представления знаний с учетом трансформации функциональных и нефункциональных характеристик программных компонентов состоит в создании модели программного компонента, где каждый уровень ориентирован на определенный класс задач, формализация которых строится по стандартной схеме. Модель программного компонента рассматривается как совокупность взаимодействующих уровней различного типа, для каждого из которых создается специфическая модель. Программный компонент описывается разработчиком, экспертом и пользователем (разработчиком, который воспользовался компонентом повторно). Модель содержит в себе информацию о (по возможности) всех нюансах ожидаемого функционирования компонента и строится на основе множества объектов предметного класса и концептуальных отношений.
Язык описания гибридных логических моделей строится на основе выбранных языка описания онтологий (Description Logic), языка описания правил (SWRL), модальной логики Kn.
Пусть Nr и Nq - непересекающиеся множества имен отношений и классов; N - множество натуральных чисел, Nj - множество имен объектов классов, Mn - множество модальных параметров, тогда:
Class | T | className | Class | Class n Class | Class u Class |
-1 Class | У relation. Class | 3 relation. Class | (8)
> number relation | < number relation,
где Class - это терм / класс; classNamee NC - имя класса; r е Nr - имя отношениямежду классами; number е N - натуральноечисло.
assertion ^ a: Class | (a, b): relation , (9)
где assertion - выражение, определяющее принадлежность объекта класса к какому то определенному классу, и задающее отношения между объектами классов; a,b е Nj - объекты классов.
rule ^ (Condition consequence)
Condition ^ atom | atom л Condition
(10)
consequence ^ atom
atom ^ Claxx(x)| relation(x.y) | sameAs(x,y) | differentFrom(x,y), где rule - правило / зависимость значений объекта класса; condition - предусловие правила; consequence - последствие правила; x, у - переменные, объекты классов или конкретные значения данных, same As - отношение эквивалентности, differentFrom - отношение различия, atom - атомарное выражение.
Pr obabilityExpr ^ Class | Pr obabilityExpr n Pr obabilityExpr |
Pr obabilityExpr u Pr obabilityExpr | Pr obabilityExpr | (11)
[m]Pr obabilityExpr | (m) Pr obabilityExpr, где m e Mn - модальный параметр, Pr obabilityExpr - модальная формула.
Первая часть грамматики используется для возможности описания данных в виде онтологии - части гибридной логической модели.
Для описания предметных областей, относящихся к многокомпонентным программным системам, разработан список наиболее употребляемых отношений:
1. IS - A - для выражения иерархии классов или отношения класс -объект класса (например, для описания используемой терминологии программного компонента);
2. isConsequenceOf - отражает причинно-следственные связи (например, выражение Postcondition с BisConsequenceOf .Task означает, что постусловие есть следствие задания автоматизации);
3. hasValue - задает значения свойств объектов (например, выражение NameOfComponent с 3hasValue.String означает, что имя компонента должно иметь значение с типом данных String);
4. consistOf - задает составные части объекта проектирования (например, многокомпонентная программная система состоит из компонентов и описывается следующим образом: System с SconsistOf Component, и это будет означать, что система состоит хотя бы из одного компонента);
5. belongsTo - задает параметр принадлежности описываемой характеристики к определенной области или внешнему компоненту (напри-
мер, выражение Pr operty с BconsistsOf .Component относится к общей модели и определяет, что каждая характеристика должна относится к определенному компоненту);
6. spesifiedBy - задает отношение компонент-модель или компонент-документация. Используется при указании других (внешних) источников информации;
7. is Re cievedFrom - используется при описании предметной области использования программных компонентов. Определяет источник получения определенного компонента.
Принцип иерархии наследования позволяет исключать появление излишней информации и представлять данные в виде объектноориентированных структур.
Задача описания правил сравнения характеристик программных компонентов и требований к программной системе решается с помощью применения оператора импликации. Оператор импликации в данном случае выступает в качестве системы правил ЕСЛИ-TO. Таким образом, процедуры композиции многокомпонентной программной системы задаются с помощью правил, например как показано на следующем примере:
Pr opertyi? property)n usesi? property,? protocol)n
n hasValud?protocol,"https") ^ matches(Reliable,property).
Данное правило означает, что запрос на надежный компонент (Reliable) может быть удовлетворен, если используемый компонентом протокол является" https". Характеристика «используемый протокол» относится к предметной области задачи автоматизации для данного программного компонента.
Одно из требований к языку описания гибридных логических моделей является возможность формализации качественных знаний. Такие характеристики программных компонентов размыты и не могут быть однозначно интерпретированы, однако содержат важную информацию для последующей автоматизации начального этапа проектирования и процесса принятия решения. Например, задача по описанию свойства программных компонентов Usability (удобство работы, простота использования), которое очень сильно зависит от человеческого фактора, восприятия и собственного неформального использования естественного языка, является неочевидной. В данном случае, использование языка описания онтологий (Description Logic, и его синтаксис OWL) допускает применение лингвистической переменной, значение которой определяется на некотором базовом наборе. Например, «удобно» и «не очень удобно» определяется следующим образом:
Usability с BhasValue.Usable и Usability с OhasValue.Usable (12)
соответственно. Также в этом примере показано использование модального квантора 0 для определения выражения «не очень».
Таким образом, задача автоматизации композиции архитектурного решения решается посредством логического вывода на описанных моделях программных компонентов. Запрос формируется с помощью логической модели системы требований.
Предлагаемая методика позволяет использовать характеристическую гибкость на всех этапах жизненного цикла программного компонента. Идентификация, анализ и адаптация программных компонентов сводится к задачам логического вывода на трехуровневых моделях.
ГРАММАТИКИ ДЛЯ ОПИСАНИЯ ЯЗЫКА ПРОГРАММИРОВА-НИЯ, ИСПОЛЬЗУЮЩЕГО ЭЛЕМЕНТЫ ЕСТЕСТВЕННОГО ЯЗЫКА. Эффективность этапа написания программного продукта в значительной степени зависит от удобства языка программирования. Для того чтобы было легко читать программу, необходимо, чтобы она была написана на понятном и удобном языке. Таким языком, в первую очередь, является естественный. Именно поэтому дальнейшее развитие и совершенствование средств разработки должно быть, в первую очередь, направлено на их приближение к эталону - родному языку разработчика.
Возможны два способа решения данной задачи: формализация синтеза текста, описывающего структуру программного обеспечения как информационный процесс; или разработка методики, улучшающей процесс восприятия текста программы разработчиком в процессе программирования.
В первом случае используется грамматика аналогичная описанной в п.1. Алгоритм - цель проектирования - определяется как нечеткая система
0. = {Х ,У, 5), где Х и У - множества входных и выходных воздействий, являющихся частью универсума, содержащего наименования информационных потоков и их нечеткие характеристики; 5 - нечеткий семантический гиперграф (нечеткая решетка), интерпретирующая структуру системы. 5 = (5N, Я, р), Я - множество типов соединения подсистем и р - двухместный нечеткий предикат инцидентности, определенный ддя всех пар (5,, г)
5, е 5N, г е Я и принимающий значения из интервала [0,1]. Нечеткие подсистемы 5N интерпретируются как базовые структуры алгоритмизации: линейная, развилка, цикл и т. п. Построенная грамматика позволяет получать описания структуры различной сложности. При этом механизм вложенности подсистем реализуется как технологией заполнения вакантных подсистем, так и выбором типов подструктур. Механизм вертикального синтеза отражает принцип структурного программирования сверху-вниз. Вместе с тем, приведенная выше формализация является излишне громоздкой при разработке (или применении созданного) программного обеспечения.
Представляется более перспективным второе направление использования естественного языка в процессе проектирования программного обеспечения - разработка методики, улучшающей процесс восприятия тек-
ста программы разработчиком в процессе программирования на основе двухуровневого программного обеспечения. Верхний уровень - язык, содержащий естественно-языковые конструкции, улучшающие процесс восприятия программного кода, нижний уровень - известный язык программирования с его библиотеками и транслятором. В этом случае важным моментом является выбор языковых конструкций, подлежащих моделированию на верхнем уровне (препроцессоре). Для этого разработана атрибутная транслирующая контекстно-свободная грамматика с ограничениями и условными е-правилами для описания разработанного языка.
Разработанный язык “Стимул” и транслятор с него в Паскаль используется в процессе обучения основам алгоритмизации в Волгоградской гимназии № 9, в Волгоградском технологическом колледже, а также при изучении основ трансляции в ВогГТУ.
Предлагаемое решение является компромиссным. Необходимо дополнить стандартные средства разработки различными конструкциями естественного языка. Радикально менять языки программирования не имеет смысла, особенно в случае профессионального инструментария. Создание нового средства разработки, не совместимого со старыми, вызовет как естественную субъективную реакцию консерватизма и неприятия, так и объективные проблемы с переносом кода и использованием созданных библиотек. Гораздо рациональнее дополнить существующие средства разработки конструкциями, которые добавят им гибкости и близости к родному языку разработчика.
ЗАКЛЮЧЕНИЕ. Показанными в данной работе формализмами не исчерпывается множество описанных и исследованных нами грамматик. В данное время нашей научной школой разработано более 10 различных методов гибридизации грамматик и методов описания сложных структур; главным инвариантом здесь является исходная структура элементов терминального множества. Данные формализмы приведены в качестве примеров, наиболее ярко отражающих применение таких моделей в проектировании.
Предложенный класс логико-лингвистических моделей на основе грамматик над нечеткими и гранулярными структурами может быть использован для решения широкого круга задач в области проектирования новых технических, информационных и программных систем.
Работа выполнена при поддержке гранта РФФИ 10-01-00165-а.
Список литературы
1. Половинкин А. И. Основы инженерного творчества. М.: Машиностроение, 1988. 368 с.
2. Концептуальное проектирование. Развитие и совершенствование методов. / под ред. КамаеваВ. А. М.: Машиностроение, 2005. С. 319-345
3. КамаевВ. А., Щербаков М. В. Об одном нейросетевом подходе идентификации сложных систем // Вестник компьютерных и информационных технологий. 2004. № 3. С. 20-24.
4. Камаев В. А., Щербаков М. В., Скоробогатченко Д. В. Автоматизированная система прогнозирования транспортно эксплуатационного состояния дорог // Вестник компьютерных и информационных технологий, 2004. № 4. С. 2-6.
5. Заболеева-ЗотоваА. В., Орлова Ю. А. Автоматизация семантического анализа документации технического задания // Вестник компьютерных и информационных технологий. 2008. № 9. C. 26-34.
6. Заболеева-ЗотоваА. В., Орлова Ю. А. Атрибутная грамматика формального документа "Техническое задание" // Изв. ВолгГТУ. Сер. «Актуальные проблемы управления, вычислительной техники и информатики в технических системах». 2008. Вып. 4. № 2. C. 39-43.
7. Заболеева-ЗотоваА. В., Орлова Ю. А. Автоматизация процедур семантического анализа текста технического задания // Изв. ВолгГТУ. Сер. «Актуальные проблемы управления, вычислительной техники и информатики в технических системах». 2007. Вып.3., № 9. C. 49-52.
8. Заболеева-ЗотоваА. В., Орлова Ю. А. Моделирование лексического анализа текста технического задания // Изв. ВолгГТУ. Сер. «Актуальные проблемы управления, вычислительной техники и информатики в технических системах»: 2007. Вып.2. № 2. C. 39-42.
9. Розалиев В. Л. Построение модели эмоций по речи человека // Изв. ВолгГТУ. Сер. «Актуальные проблемы управления, вычислительной техники и информатики в технических системах». 2007. Вып.3. № 9. С.62-65.
10. Розалиев В. Л. Предпосылки, возможности, перспективы создания автоматизированной системы распознавания эмоциональности речи /
В. Л. Розалиев // Изв. ВолгГТУ. Сер. «Актуальные проблемы управления, вычислительной техники и информатики в технических системах». 2008. Вып.4. № 2. С.58-61.
A. Zaboleeva-Zotova, A. Polovinkin
ldgjcal-ungujstjcmodeungjnanalysjsand synthesis intelligent SYSTEMS
The article the grammars for conceptual design of hardware and software systems, as well as the grammar for describing the programming language that uses elements of natural language are considered.
Key words: grammar, designing of technical and program systems, the technical project analysis, hybrid logic models, the programming language description.
Получено 16.06.10
