close

Вход

Забыли?

вход по аккаунту

?

О формальной структуре логических сетей.

код для вставкиСкачать
УДК 519.7
О ФОРМАЛЬНОЙ СТРУКТУРЕ
ЛОГИЧЕСКИХ СЕТЕЙ
КАЛИНИЧЕНКО О.В., КОЗЯЕВ Л.Л.,
МЕЛЬНИКОВА Р.В.
Описывается разработка математических моделей и
методов для формализации различных семантических
структур естественного языка на базе принципов логических сетей.
Введение
Существует класс задач, решение которых на последовательных компьютерах в реальном темпе
времени не представляется возможным. Примером
такой задачи является семантическая обработка
текстов на естественном языке. Вместе с тем,
человеческий мозг справляется с этой задачей
благодаря другому, параллельному способу обработки информации.
В данном исследовании разрабатывается формальная база построения логической сети ? структуры,
позволяющей производить обработку информации
параллельно, по принципу человеческого мозга.
Цель ? разработка такой математической структуры, которая позволила бы алгоритмически и аппаратно производить параллельную обработку логической информации.
Основные идеи, заложенные в строении логических сетей [1], основаны на том, что интеллект
человека рассматривается как логика в действии,
как некоторое материальное воплощение механизма логики. Существует ряд работ по алгебраизации
логики, в которых разработан специальный математический аппарат для формульного представления отношений и действий над ними ? алгебрологические структуры. В них отношения интерпретируются как мысли интеллекта, а действия над ними
? как мышление. Схемная реализация формул,
описывающих алгебрологические структуры, приводит к характерным инженерным сетям (не использовавшимся ранее), которые называются логическими. Каждый тип алгебрологических структур
(а таких типов сравнительно немного) приводит к
своему типу логических сетей с легко узнаваемой
на глаз схемой. При сопоставлении этих типов
сетей с основными типами нейроструктур обнаруживается глубокое сходство строения технических
и биологических конструкций. Опираясь на это
сходство, можно определить функции различных
типов нейронных структур и описать в точных
математических и технических терминах принципы функционирования мозга. Главное в данном
методе ? это движение сверху вниз: от общих
системных соображений к алгебрологическим структурам, а от них ? к логическим сетям, которые затем
отождествляются с биологическими нейронными
структурами. Специалисты же по нейрокомпьютерам сегодня пытаются идти иным путем: от биолоРИ, 2005, № 2
гических нейронных сетей к принципам их действия, а от них ? к инженерным решениям. Этот
путь приводит к значительным трудностям из-за
недостатка знаний о функциях биологических
нейронных структур. Двигаясь сверху вниз, мы
приходим к единственно приемлемым принципам
построения нейронных структур мозга человека.
Свернуть в сторону здесь нет никакой возможности. В результате вырисовываются простые и ясные
принципы построения мозгоподобных ЭВМ. Они
существенно отличаются от всего того, что до сих
пор использовалось при распараллеливании обработки информации, в частности ? при создании
ЭВМ параллельного действия. Основу мозгоподобных ЭВМ составляют упоминавшиеся ранее логические сети.
Основное содержание
Ставится задача формального описания простейшей конкретной алгебры предикатов в виде логическиой сети. Пусть в ней участвуют всего две
предметные переменные x1 и x 2 . Для них берем
сле дующие области задания: A1 1, 2 ,
A2
2, 3 , т.е. объектом описания будет предметное пространство с координатными осями x 1 Џ 1, 2
и x 2 Џ 2, 3 . Изображенная ниже логическая сеть
представляет строение предметного S пространства
моделируемой алгебрологической структуры (рис.1).
?1, ?1
?1
i, ?
R
F1
?, U
s, ?
?2
F2
G
t, T
?2, ?2
Рис. 1 Строение логической сети
Пространство S , подлежащее формальному описанию, имеет универсум переменных V
x1, x 2 .
Его координатные оси представлены множествами
A1 и A 2 . В роли универсума предметов пространства S берем множество U A1 ‰ A 2 . Вводим
множество I с заданной на нем переменной i .
Элементы множества I понимаем как имена (номера) мест компонентов x1 и x 2 в векторе ( x1, x 2 )
пространства S . Если принято i 1 , то этим
указывается левое место x1 пары ( x1, x 2 ) , если
i 2 , то ? правое x 2 . Множество I формально
описывает понятие места для пространства S . На
множестве U задаем переменную x . Множество U
формально описывает понятие состояния места для
пространства S .
Связь переменных i и x формально определяем
предикатом R (i, x ) i1( x1 › x 2 ) › i 2 ( x 2 › x 3 ) , заданным на I u U . Предикат R указывает, что левое
место в паре ( x1, x 2 ) может находиться в состоянии
79
из множества A1 , а правое ? в состоянии из
множества A 2 . Связи переменной x с переменными x1 и x 2 формально описываем с помощью
пре дикато в
E1(x , x1) x1x11 › x 2 x12 ,
E 2 ( x , x 2 ) x 2 x 22 › x 3x 32 , заданных на U u A1 и
U u A 2 . Множество H с заданной на нем переменной s формально характеризует понятие вектора
пространства S . Связь вектора s ( x 1 , x 2 ) с его
проекциями x1 и x 2 на координатные оси A1 и
A 2 для пространства S формально характеризуется предикатами F1 (s, x 1 ) , F2 (s, x 2 ) , заданными на
H u A1 и H u A 2 . Множество T с заданной на нем
переменной t формально определяет понятие отношения для пространства S .
На схеме сети (см.рис.1 )показаны все переменны
i , x , x1 , x 2 , s , t алгебры второго уровня, которая
описывает заданную алгебрологическую структуру
(вместе с областями их задания I , U , A1 , A 2 , H ,
T ) и связывающие их отношения R , E1 , E 2 , F1 ,
F2 , G . Наборы (i, I) , ( x , U) , ( x1, A1) , ( x 2 , A 2 ) ,
(s, H) , составленные из переменной и области ее
задания, характеризуют полюсы сети, а отношения
? ее ветви, которые соединяют полюсы. В «описывающей» алгебре предикатов, которую мы фактически использовали в роли инструмента описания
пространства S , используется универсум переменных, состоящий из шести элементов. Универсум же
переменных «описываемой» алгебры предикатов
состоит всего из двух элементов.
Ниже приведены двудольные графы отношений,
используемых для построения логической сети
(рис.2).
Рис. 2. Двудольные графы отношений в логических
сетях
Логическая сеть имеет общее строение для любого
предметного пространства, за исключением лишь
того, что теперь в конечномерном случае вместо
двух полюсов ( x1, A1) и ( x 2 , A 2 ) в ней появятся
m полюсов ( x1, A1) , ( x 2 , A 2 ) , ... , ( x m , A m ) , а в
бесконечномерном случае ? бесконечный набор
( x i , A i ) i Џ I полюсов ( x i , Ai ) , где i Џ I . Теперь
индекс i пробегает бесконечное множество значе80
ний I . Соответственно этому вместо двух пар
ветвей E1 , E 2 и F1 , F2 в сети появятся два набора
E1 , E 2 ,..., E m и F1 , F2 ,..., Fm , из m ветвей каждый
? в конечномерном предметном пространстве и два
бесконечных набора E i i Џ I и Fi i Џ I ветвей E i
и Fi ? в бесконечномерном. Полюсы i , x , s , t и
ветви R и G останутся в сети на прежних местах,
хотя обозначающие эти ветви отношения R и G
могут измениться. Другими станут мощности областей задания I , U , A1 , A 2 , S , T переменных i ,
x , x1 , x 2 , s , t .
Переход к общему понятию предметного пространства S приводит к общему понятию заданной на
нем алгебры предикатов. Обобщению в нем подвергаются лишь наборы предметных переменных
x1, x 2 ,..., x m и областей их задания A1, A 2 ,..., A m ,
а также все то, что от них зависит (например, число
и ассортимент всех предикатов узнавания предмета).
Логическая сеть является естественным способом
графического представления системы предикатов,
или, более точно, ? графического представления
формального описания некоторого объекта на языке алгебры предикатов. Поскольку язык алгебры
предикатов универсален, то она может формально
описать структуру произвольного объекта. Кроме
того, любое алгебрологическое описание объекта,
как показано выше, естественным образом графически выражается в виде логической сети. Отсюда
приходим к важному выводу: логические сети
представляют собой универсальное средство наглядного представления структуры любых объектов.
Формальным описанием любого объекта на языке
алгебры предикатов является некоторый предикат
P( x1, x 2 ,..., x m ) . Он выражает отношение P , представляющее собой множество всех наборов предметов x1, x 2 ,..., x m , удовлетворяющих уравнению
P( x1, x 2 ,..., x m ) 1 . Именно это отношение выражает структуру описываемого объекта. Результат
же формального описания объекта в виде логической сети представлен иначе ? системой из шести
предикатов R (i, x ) , E1 ( x , x1) , E 2 ( x , x 2 ) ,
F1 (s, x 1 ) , F2 (s, x 2 ) , G (s, t ) . Переход к единому
предикату P( x1, x 2 ,..., x m ) возможен путем образования конъюнкции из предикатов R , E1 , ... , F1 ,
F2 , G : R (i, x ) , E1 ( x , x1) , E 2 ( x , x 2 ) , F1 (s, x 1 ) ,
F2 (s, x 2 ) , G (s, t ) = P (i, x, x 1 , x 2 , s, t ) .
Представление предиката P в виде конъюнкции
предикатов P1, P2 ,..., Pn называется его конъюнктивной композицией. Разложение предиката P в
конъюнкцию тех же предикатов P1, P2 ,..., Pn называется его конъюнктивной декомпозицией. Важным частным случаем декомпозиции является бинарная декомпозиция предиката P , характеризующаяся тем, что каждый предикат в системе
РИ, 2005, № 2
P1 , P2 ,..., Pn имеет в точности два существенных
аргумента. В приведенном в начале подраздела
примере формального описания предметного пространства S была выполнена бинарная конъюнктивная декомпозиция предиката P. На основании
сказанного выше можно уточнить определение
логической сети: логической сетью называется
графическое представление результата бинарной
конъюнктивной декомпозиции многоместного
предиката.
Рассмотрим пример построения логической сети,
моделирующей морфологическое отношение. Морфологическим отношением называется грамматическая связь между всеми формами слов какоголибо класса одного из естественных языков [2].
Формальное описание морфологических отношений для различных частей речи и их компьютерная
реализация необходимы для автоматизации обработки текстов естественных языков. Рассмотрим
схему построения логической сети на примере
полных непритяжательных имен прилагательных
русского языка.
На основе морфологического отношения могут
решаться многие задачи обработки словесного материала. Например, для слова «большой» по грамматическим признакам «винительный падеж, женский род, единственное число» может быть найдена
форма «большую»; по форме «зелеными» можно
установить, что это ? имя прилагательное творительного падежа множественного числа. Математическая модель морфологического отношения будет
иметь вид формулы алгебры конечных предикатов,
ный. Вводим переменную одушевленности y 4 со
значениями: о ? одушевленный, н ? неодушевленный и переменную архаичности t со значениями:
с ? современный (например, синей), а ? архаичный
(синею).
Рис. 3. Блок текста
2-я группа связей ? влияние окончания (рис.4).
Вводим переменную у, характеризующую класс
окончаний и заданную на множестве:
y
??, ??, ??, ??, ??, ??, ???, ??, ??, ???, ??, ???, ??.
Переменные x1 , x 2 , x 3 , называемые соответственно первой, второй и третьей буквой окончания, заданы на множествах: x1
?, ?, ?, ?, ?, ?, ? , ? ,
x 2 ? , ?, ?, ?, ?, ?, ? , x 3 _, ?, ?, ? . Если третья
буква в окончании отсутствует, то считаем, что
переменная x 3 принимает значение _, называемое
знаком пробела. На множестве окончаний определяем переменную:
x ???, ???, ??, ??, ??, ??, ???, ???, ??, ??, ??, ??, ??,
??, ??, ??, ?? , ???, ??, ??, ??, ?? , ???, ?? , ?? .
описывающей предикат L(X, Y, Z) , который связывает между собой слово X , его форму Y и набор
грамматических признаков Z . Выделим различные независимые друг от друга связи, фактически
существующие в русском языке. Существует 3
группы таких связей ?влияние текста, влияние
окончания, влияние основы (табл. 1).
1-я группа связей ? влияние текста (рис.3). В
процессе склонения имена прилагательные изменяются по падежам, родам и числам. В соответствии
с этим вводим переменные: y1 ? число, со значениями е ? единственный, м ? множественный; y 2
? род, со значениями: м ? мужской, ж ? женский,
с ? средний; y3 ? падеж, со значениями: и ?
именительный, р ? родительный, д ? дательный,
в ? винительный, т ? творительный, п ? предлож-
Рис. 4. Блок окончания
3-я группа связей ? влияние основы (рис.5). Вводим
переменную u1 , называемую признаком ударности
основы. Полагаем u 1 y , если основа ударная, и
u 1 ? , если безударная. Вводим переменную u 2 ,
называемую признаком мягкости основы. Полагаем u 2 ? , если последняя буква основы звучит
мягко, и u 2 ? , если твердо.
Таблица 1
Переменная
Группы связей морфологического отношения
1. ??????? ??????
2. ??????? ?????????
3. ??????? ??????
y 2 ? ???
y1 ? ?????
y3 ? ?????
t ? ???????????
y 4 ? ??????????????
y ? ????? ?????????
u1 ? ?????????
u 2 ? ?????????
u 4 ? ????????? ?????
u ? ??? ??????
РИ, 2005, № 2
x1 ? 1-? ????? ?????????
x 2 ? 2-? ????? ?????????
x 3 ? 3-? ????? ?????????
x ? ?????????
u 4 характеризует
последнюю букву основы и задана на множестве: . Тип основы описывается переменной u ,
заданной на множестве представителей типа:
u4
{?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?,
?, ?, ?, ?, ?, ?, ? , ?, ? , ?},
81
??, ???, ???, ??, ??, ??, ??, ??, ??, ??, ??, ?? , ??? ;
u {??????, ?????, ?????,
?????, ??????, ?????, ?????}.
5-му типу:
5
?????????
6-му типу:
8
10
?????????
????? ??????
??, ???, ???, ??, ??, ??, ??, ??, ??, ??, ??, ??, ??? ;
1-? ?????
?????????
???, ???, ??, ?? , ??, ??, ??, ??, ??, ??, ?? , ??? ;
??? ??????
9
7-му типу:
1
?????????
???, ???, ??, ?? , ??, ??, ??, ?? , ??, ??, ?? , ??? .
Рис. 5. Блок основы
Некоторые связи имеют взаимное влияние, что
наглядно представлено в графическом виде на рис.
6. Например, при одном и том же падеже, роде и
числе формы имен прилагательных могут отличаться по признаку одушевленности и по признаку
архаичности. Основы, принадлежащие разным типам, могут соединяться с разными множествами
окончаний. 1-му типу основы соответствуют окончания
??, ???, ???, ??, ??, ??, ??, ??, ??, ??, ??, ??, ??? ;
2-му типу:
??, ???, ???, ??, ??, ??, ??, ??, ??, ??, ?, ?? , ??? ;
3-му типу:
??, ???, ???, ??, ?? , ??, ??, ??, ?? , ??, ??, ?? , ??? ;
Рис. 6. Общая схема морфологического отношения
словоизменения имен прилагательных
4-му типу:
Таблица 2
Парадигма словоизменения имен прилагательных
?
??????????
???????
?
?
???????- ??????????
???????
???????
????????????
?????
?
??????
?
?
??
??
?
?
?
?
?
?
??/?? 1
??/?? 3
??/?? 4
??/?? 5
??/(??) 2
???/??? 6
??/?? 7
??/?? 8
???/??? 9
??/?? 10
??/?? 11
??/?? 12
??/?? 17
??/(??) 13 ??/?? 15 ??/?? 16
???/??? 14
??/?? 18
??/?? 20
???/??? 22
??/?? 19
??/?? 21
??/?? 23
??/?? 24
??/?? 25
Таблица 3
Упрощенная парадигма
??????????
???????
?????????????????
? ???????
???????
????????????
?
?
?
?????
?
??????
?
82
??
?
?
??/?? 1
??/(??) 5
??/??
??/?? 6
2
??/(??) 9
???/??? 10
??/?? 12
???/???
15
???/???
16
??/??
18
?
??/?? 3
??/?? 7
??/?? 13
??/?? 19
??/?? 21
?
??
?
?
??/?? 4
??/?? 8
??/?? 11
??/?? 11
??/?? 14
???/??? 20
РИ, 2005, № 2
На рис. 6 символом v обозначена ячейка парадигмы, в которой перечислено 21 вариант словоизменений имен прилагательных.
Выводы
1. Предложены общие алгебраические принципы
построения логической сети, предназначенной для
схемной реализации формул, описывающих алгебрологические модели естественного языка.
2. Рассмотрен пример построения логической сети,
моделирующей морфологическое отношение склонения полных непритяжательных имен прилагательных русского языка.
Публикуемые материалы являются новыми. Ближайшим аналогом рассматриваемой в работе логической сети является нейронная сеть, однако принципиальные отличия последней не позволяют решать задачи параллельной обработки логической
информации, например, рассмотренную в данной
статье морфологическую задачу. Поэтому дальнейшая разработка логических сетей имеет практическое значение для широкого класса задач.
УДК 621.391:51.142
ВЕРИФИКАЦИЯ МЕТОДА
СУММИРОВАНИЯ КРАТНЫХ
РЯДОВ В ГПВЯ
ЧУМАЧЕНКО С.В.
С помощью средств численного моделирования
приводится верификация формул суммирования кратных рядов, которые получены методом суммирования
рядов по выборочным значениям в гильбертовом пространстве с воспроизводящим ядром (ГПВЯ).
1. Постановка цели и задач исследования
Математическое моделирование в настоящее время
? неотъемлемый этап решения любой практически
важной задачи, поскольку дает существенную информацию об исследуемом объекте. Оно предполагает: исследование проблемы; разработку алгоритма ее решения; написание кода на одном из языков
программирования; тестирование и верификацию
моделей, методов, алгоритмов и программ. Классификация математических моделей по уровням сложности организации вычислений включает составляющие:
1) модель-формула как простейший тип, состоящий из одного уравнения;
2) модель-уравнение, параметры которого, в свою
очередь, могут быть рассчитаны по моделям-формулам;
3) модель ? система уравнений, например, система
линейных алгебраических уравнений;
4) модель-алгоритм как совокупность уравнений
матмодели и алгоритма расчета искомых характеристик исследуемого объекта;
5) модель-методика как наиболее сложный вид
организации вычислений, объединяющий несколько
моделей-алгоритмов.
РИ, 2005, № 2
Литература: 1. Бондаренко М.Ф., Дударь З.В., Ефимова
И.А., Лещинский В.А., Шабанов-Кушнаренко С.Ю. О
мозгоподобных ЭВМ // Радиоэлектроника и информатика. 2004. № 2. С. 89-105.2. Хомский Н., Миллер Дж.
Введение в формальный анализ естественного языка /
/ Кибернетический сборник. Новая серия. М.: Физматгиз. 1965. Вып.1. С. 229-290.
Поступила в редколлегию 30.12.2004
Рецензент: д-р техн. наук, проф. Руткас А.Г.
Калиниченко Ольга Викторовна, канд.техн.наук, ст.пр.
каф. ПО ЭВМ ХНУРЭ. Научные интересы: математика, программирование. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел.: 7-021-446.
Козяев Леонид Леонидович, консультант по внедрению, компания ?Открытые технологии-98?. Научные
интересы: программирование БД, математическое
моделирование. Адрес: Россия, 117997, Москва, ул.
Обручева, 30, корп. 1, тел.: 8-095-7877027.
Мельникова Роксана Валериевна, ст.преп. каф. ПО
ЭВМ ХНУРЭ. Научные интересы: программирование, математическое моделирование ЕЯ. Адрес : Украина, 61166, Харьков, пр. Ленина, 14, тел.: 7-021-446.
Очевидно, при оценке адекватности результатов
моделирования первоначальным является повышение точности расчета модели-формулы. Преимуществом на данном этапе следует считать возможность
расчетов без применения ЭВМ.
Эта работа продолжает исследования, связанные с
суммированием рядов в ГПВЯ [1-7] и ориентированные на решение задач, которые критичны к
погрешности вычислительных методов по отношению к предлагаемому точному решению.
Цель исследования ? уменьшение вычислительной
сложности расчетов при моделировании радиоэлектронных устройств благодаря использованию
нового метода суммирования рядов в ГПВЯ.
Задачи данного исследования:
1. Получить аналитический результат для определения суммы двойного ряда:
.
2. Проверить справедливость формулы для нахождения суммы тройного ряда
f H ( 1) k f H ( 1) m f H (1) n
¦ k2 2 ¦ m2
¦ n2 2 F(k , m, n ) .
2
k 0 a k m 0 b m n 0 b n
3. Доказать и подтвердить численно формулу
суммирования для билатеральных знакопеременных рядов:
f (1) k f (1) m F(k , m)
S 2 F(a , b)
.
¦
¦
a
k
b
m
sin
S
a
sin
S
b
k f
m f
4. Обосновать численно формулу суммирования
f
¦
( 1) k k f (1) m mF(m, k )
¦
S 2 F( x , y)
4 sin(Sx ) sin(Sy)
k2 m 1
x 2 m2
при 0 x f , 0 y f , x , y z 1,2,3,... .
k 1y
2
5. Оценить погрешность проведенных вычислений.
83
Документ
Категория
Без категории
Просмотров
6
Размер файла
296 Кб
Теги
логические, структура, сетей, формальное
1/--страниц
Пожаловаться на содержимое документа