по
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Рецензирование за 24 часа – как это возможно? > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Публикация за 72 часа: что это? > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
ГЛАВНАЯ > Вернуться к содержанию
Кибернетика и программирование
Правильная ссылка на статью:

Способы реализации функций троичной логики
Гиниятуллин Вахит Мансурович

кандидат технических наук

доцент, кафедра Вычислительная техника и инженерная кибернетика, Уфимский государственный нефтяной технический университет

450062, Россия, Уфа, ул. Космонавтов, д. 1

Giniyatullin Vakhit Mansurovich

PhD in Technical Science

Associate Professor of the Department of Computer Science and Engineering Cybernetics at the Ufa State Oil Technical University

450062, Rossiya, Ufa, ul. Kosmonavtov, d. 1

fentazer@mail.ru
Другие публикации этого автора
 

 
Арсланов Исмагил Ганиевич

доктор технических наук

профессор, кафедра Вычислительная техника и инженерная кибернетика, Уфимский государственный нефтяной технический университет

450062, Россия, Уфа, ул. Космонавтов 1

Arslanov Ismagil Ganievich

Doctor of Technical Science

Professor of the Department of Computer Science and Engineering Cybernetics at the Ufa State Oil Technical University

450062, Rossiya, Ufa, ul. Kosmonavtov, d. 1

tnsfloat@mail.ru
Другие публикации этого автора
 

 
Богданова Полина Динаровна

магистр, кафедра Вычислительная техника и инженерная кибернетика, Уфимский государственный нефтяной технический университет

450062, Россия, Уфа, ул. Космонавтов 1

Bogdanova Polina Dinarovna

undergraduate student, Ufa State Oil Technical University

450062, Rossiya, Ufa, ul. Kosmonavtov, d. 1

tnsfloat@mail.ru
Другие публикации этого автора
 

 
Габитов Рустам Наилович

ассистент, кафедра Вычислительная техника и инженерная кибернетика, Уфимский государственный нефтяной технический университет

450062, Россия, Уфа, ул. Космонавтов 1

Gabitov Rustam Nailovich

Assistant of the Department of Computer Science and Engineering Cybernetics at the Ufa State Oil Technical University

450062, Russia, Ufa, ul. Kosmonavtov, d. 1

tnsfloat@mail.ru
Другие публикации этого автора
 

 
Салихова Марина Ахатовна

старший преподаватель, кафедра Вычислительная техника и инженерная кибернетика, Уфимский государственный нефтяной технический университет

450062, Россия, Уфа, ул. Космонавтов 1

Salikhova Marina Akhatovna

Senior Lecturer of the Department of Computer Science and Engineering Cybernetics at the Ufa State Oil Technical University

450062, Russia, Ufa, ul. Kosmonavtov, d. 1

tnsfloat@mail.ru
Другие публикации этого автора
 

 

Аннотация.

В качестве исходных данных используются таблицы истинности трехмерных функций двоичной, троичной и смешанных логик. Вычисление значений логических функций производится с помощью: геометрических интерпретаций, дизъюнктивных / конъюнктивных нормальных форм (ДНФ / КНФ), неполносвязанных искусственных нейронных сетей (ИНС) и персептронов со скрытым слоем. Подробно рассматриваются промежуточные результаты вычислений всеми приведенными способами. Изучаются свойства функций смешанных логик: двоично – троичной и 3 – 2 логики, в одномерном, двух и трехмерном случаях. Приводятся взаимно эквивалентные реализации логических функций в виде ДНФ и неполносвязанной нейронной сети. Осуществлена замена непрерывной функции активации на троичную пороговую. В исследовании используются методы построения ДНФ, прямой синтез матриц весов ИНС, персептрон обучается с помощью алгоритма Back Propagation, часть выводов формулируется по законам математической индукции. В работе показано, что:1. минимизация количества нейронов в скрытом слое персептрона, в неявном виде, приводит к использованию многозначных логик;2. некоторые функции двоично – троичной логики можно использовать для формирования дизъюнктивных форм;3. существует взаимно однозначный способ преобразования ДНФ в ИНС и обратно;4. в одномерной 3 – 2 логике имеется всего 8 функций и все они перечислены;5. предложенная структура ИНС может реализовывать любую функцию троичной логики произвольной мерности.

Ключевые слова: проблема XOR, персептрон, разделяющая гиперплоскость, функция активации, совершенная дизъюнктивная форма, двоично-троичная логика, 3-2 логика, троичная логика, обучение нейронной сети, алгоритм Back Propagation

DOI:

10.7256/2306-4196.2014.2.11918

Дата направления в редакцию:

18-04-2014


Дата рецензирования:

19-04-2014


Дата публикации:

1-4-2014


Abstract.

The source data is represented by three-dimensional truth table for 3-demensional functions of binary, ternary and mixed logics. The calculation of values of logic function is performed by geometric interpretations, disjunctive / conjunctive normal forms, non-fully connected artificial neural networks and perceptrons with hidden layer. The article reviews in detail the intermediate results of calculations in all given ways. The authors study properties of mixed logic functions: binary-ternary and 3-2 logics in cases of one, two and three dimensions. The article shows mutually equivalent implementations of logic functions in the form of DNF and non-fully connected artificial neural network. The authors perform replacement of continuous activation function on ternary threshold function. The study uses the methods of DNF constructing; direct synthesis of ANN weight matrices, perceptron is trained using Back Propagation algorithm, some conclusions are made by the laws of mathematical inductions. The paper shows that:

Minimizations of neuron quantity in the perceptron hidden layer implicitly leads to the use of multiple-valued logics;
Some functions of binary-ternary logics may be used for generating disjunctive forms;
There is a decisive way of converting DNF to ANN and vice versa;
In the one-dimension  3-2 logics there only 8 functions and all of them are listed;

The suggested ANN structure can implement any other function of ternary logics of any dimensions.

Keywords:

three-valued logic, 3-2 logic, binary-ternary logic, perfect disjunctive form, activation function, separating hyperplane, perceptron, XOR problem, neural network training, Back Propagation algorithm

Введение

Возможность использования троичной логики в научной литературе дискутируется уже достаточно давно. Применительно к реляционной теории баз данных встречаются прямо противоположные мнения. В работе [1] обсуждаются троичные модификации существующих операторов «…мы вводим операцию MAYBE THETA JOIN (тета-соединение "может быть"…)». В книге [2] утверждается, что этого делать нельзя «…по нашему мнению, null-значения – и целая теория трехзначной логики, на которой они базируются, – являются фундаментальным заблуждением и не должны иметь места в чистой формальной системе, такой какой подразумевается реляционная модель».

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

Неявная реализация смешанных логик

Исходя из геометрической интерпретации трехмерного аналога булевой функции XOR, представленного на рисунке 1, сформируем матрицы весов персептрона с двумя скрытыми слоями.

1

Рисунок 1 – Трехмерный аналог XOR

На рисунке 1 значение ИСТИНА логической функции обозначается квадратными маркерами, ЛОЖЬ – круглыми. Значение ИСТИНА аргументов xi кодируется числом +1, ЛОЖЬ кодируется числом -1 (биполярная система координат). Буквами α, β, γ обозначаются разделяющие плоскости.

Приведенное расположение разделяющих плоскостей может быть и несколько иным, но в любом случае, можно выписать следующие нормальные формы дизъюнктивную и конъюнктивную (ДНФ/КНФ) соответственно:

[(выше α) AND (ниже β)] OR [(выше γ)]=TRUE (1)

[(ниже α) OR (выше β)] AND [(ниже γ)]=FALSE (2)

Из уравнений разделяющих плоскостей

α: -x+y+z-1,5=0

β: x-y-z=0

γ: -x+y+z+1,5=0

составим матрицы весов персептрона скрытого слоя:

f1 (3)

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

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

`f_a={(+1 if x>=0),(-1 if x<0):}` (4)

Вектор весов нейрона, реализующего булеву функцию AND из (1 ) и (2):

`v_i=((1),(1),(-1)) ` (5)

Вектор весов нейрона, реализующего булеву функцию OR из (1 ) и (2):

`q_i=((1),(1),(1))` (6)

На рисунке 2 приведена структура неполносвязной искусственной нейронной сети (ИНС), реализующей трехмерный аналог функции XOR.

2

Рисунок 2 – Персептрон с двумя скрытыми слоями

Вектор ui – результат скалярного умножения матрицы весов wij (3) на вектор входов xi. Вектор ti – результат применения пороговой функции активации (4) к вектору ui. Скаляр r – результат скалярного умножения вектора весов vi (5) на вектор ti и знаковой функции активации. Скаляр p – результат скалярного умножения вектора весов qi (6) на вектор, составленный из скаляра r, первого индекса вектора t1 и смешения. Скаляр s – это выход сети, полученный из скаляра p с помощью знаковой функции активации.

Таблица 1 – Результат работы персептрона с двумя скрытыми слоями

xi

ui

ti

r

s

-1;-1;-1

-2,33; 0,71; 0,82

-1; 1; 1

1

1

-1;-1; 1

-0,29;-0,89; 2,82

-1;-1; 1

-1

-1

-1; 1;-1

-0,31;-1,09; 2,78

-1;-1; 1

-1

-1

-1; 1; 1

1,73;-2,69; 4,78

1;-1; 1

-1

1

1;-1;-1

-4,53; 2,69;-1,58

-1; 1;-1

-1

-1

1;-1; 1

-2,49; 1,09; 0,42

-1; 1; 1

1

1

1; 1;-1

-2,51; 0,89; 0,38

-1; 1; 1

1

1

1; 1; 1

-0,47;-0,71; 2,38

-1;-1; 1

-1

-1

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

С помощью алгоритма Back Propagation структуру персептрона, реализующего трехмерный XOR, можно упростить. Например, свободно распространяемая программа Multiple Back-Propagation [3] формирует персептрон с двумя нейронами в одном скрытом слое, и функцией активации – гиперболический тангенс. На рисунке 3 приведен снимок экрана, содержащий результаты обучения такого персептрона, а в таблице 2 приведены: матрица весов скрытого слоя Wij и вектор весов выходного слоя Vi.

3

Рисунок 3 – Результат работы Multiple Back-Propagation

Таблица 2 – Матрицы весов персептрона

Wij

Vi

bias

0,0051; -0,0083

0,0387

x1

-0,3647; 3,5615

-10,1008

x2

-0,3645; 3,5606

-5,9162

x3

0,3642; -3,5608

В таблице 3 приведена последовательность преобразований входных сигналов в полносвязном персептроне с одним скрытым слоем.

Таблица 3 – Результат работы персептрона с одним скрытым слоем и гиперболической функцией активации

xi

ui

ti

p

s

-1;-1;-1

0,3701; -3,5695

0,35; -1,00

2,36875

0,98

-1;-1; 1

1,0984; -10,6911

0,80; -1,00

-2,12511

-0,97

-1; 1;-1

-0,3589; 3,5517

-0,34; 1,00

-2,39064

-0,98

-1; 1; 1

0,3694; -3,5699

0,35; -1,00

2,37508

0,98

1;-1;-1

-0,3592; 3,5532

-0,34; 1,00

-2,38805

-0,98

1;-1; 1

0,3691; -3,5683

0,35; -1,00

2,37765

0,98

1; 1;-1

-1,0882; 10,6745

-0,80; 1,00

2,16506

0,97

1; 1; 1

-0,3599; 3,5529

-0,35; 1,00

-2,38168

-0,98

Вектор ui – результат скалярного умножения входного вектора xi на матрицу весов скрытого слоя Wij. Вектор ti – результат использования гиперболической функции активации. Скаляр p – результат скалярного умножения вектора ti на вектор весов выходного слоя Vi. Выход сети – скаляр s, есть результат использования гиперболической функции активации, округляя который до целых получаем, требуемый результат.

Заменим тангенциальную функцию активации на троичную с двумя порогами, следующего вида:

`f_a={(-1 if u_i<-0.5),(0 if -0.5>=u_i<=0.5),(+1 if u_i>0.5):}` (7)

тогда получим следующие результаты работы, приведенные в таблице 4.

Таблица 4 – Результат работы персептрона с одним скрытым слоем и пороговой функцией активации

xi

ui

ti

p

S

-1;-1;-1

0,3701; -3,5695

0; -1

5,9549

1

-1;-1; 1

1,0984; -10,6911

1; -1

-4,1459

-1

-1; 1;-1

-0,3589; 3,5517

0; 1

-5,8774

-1

-1; 1; 1

0,3694; -3,5699

0; -1

5,9549

1

1;-1;-1

-0,3592; 3,5532

0; 1

-5,8774

-1

1;-1; 1

0,3691; -3,5683

0; -1

5,9549

1

1; 1;-1

-1,0882; 10,6745

-1; 1

4,2234

1

1; 1; 1

-0,3599; 3,5529

0; 1

-5,8774

-1

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

Кроме того, входной вектор xi – это все восемь вершин трехмерного куба, образующие линейно неразделимое множество, а вектор ti – выход скрытого слоя – это четыре из девяти возможных знакомест двумерного троичного пространства, образующих разделимое множество. Таким образом, нейроны скрытого слоя преобразуют трехмерное пространство двоичных входов в двумерное троичное пространство, меньшей заселенности, а выходной нейрон преобразует троичное пространство в двоичный скаляр.

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

` `

Двоично-троичная логика

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

4

Рисунок 4 – XOR-подобные функции двоично-троичной логики

Внешне эти функции похожи на исключающее ИЛИ, поэтому для них используется термин «XOR-подобные». Аргументы функций бинарные и могут принимать значения ±1, значение логической функции троично, и может принимать значения -1, 0, +1, на рисунке 4 они обозначены f2соответственно.

Реализация таких функций в виде искусственной нейронной сети (ИНС) приводит к необходимости проводить разделяющие линии через «нулевые» вершины и использовать функции активации следующего вида:

`f_a={(-1 if <0),(0 if =0),(-1 if > 0):}` (8)

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

5

Рисунок 5 – Трехмерная XOR-подобная функция

Из геометрической интерпретации, функции изображенной на рисунке 5 следует, что n-мерные XOR-подобные функции реализуют дизъюнкции для всех трех возможных результатов. Поэтому на основе этих функций можно сформировать дизъюнктивные формы следующего вида:

if [ ( x1 = 1 ) AND ( x2 = 1 ) AND ( x3 = 1 ) OR

( x1 = 1 ) AND ( x2 = 1 ) AND ( x3 = -1 )] = TRUE

else if [( x1 =-1 ) AND ( x2 = -1 ) AND ( x3 = -1 ) OR (9)

( x1 =-1 ) AND ( x2 = -1 ) AND ( x3 = 1 )] = FALSE

else = ZERO.

3-2 логика

В работе [4] дается подробное описание паракомплексных нейронов, которые единообразно реализуют все `(2^3)^2=2^9=512` функций двумерной 3-2 логики.

В дизъюнктивной форме (9) в круглых скобках используются функции одномерной 3-2 логики, всего их существует `(2^3)^1=2^3=8` штук. Аргумент этих функций троичен и может принимать значения -1, 0, +1, а результат бинарен. На рисунке 6 значение функции FALSE обозначено символом ○, а значение функции TRUE символом `darr` .

6

Рисунок 6 – Функции одномерной 3-2 логики

Первая и последняя функции «тождественная ЛОЖЬ» и «тождественная ИСТИНА» не интересны, оставшиеся 6 функций:

  • «эквивалентность единице»;
  • «эквивалентность нулю»;
  • «не равенство минусу»;
  • «эквивалентность минусу»;
  • «не равенство нулю»;
  • «не равенство единице»,

иногда называют переходниками в двоичность [5].

Реализация функций троичной логики

Покажем, что для реализации функций троичной логики можно использовать дизъюнктивные формы вида (9).

7

Рисунок 7 – Трехмерная троичная функция

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

if [ ( x1 = 1 ) AND ( x2 =-1 ) AND ( x3= 0 ) OR

( x1 = 1 ) AND ( x2 = 1 ) AND ( x3= 0 ) OR

( x1 = 1 ) AND ( x2 = 1 ) AND ( x3= 1 ) OR

( x1 = 0 ) AND ( x2 = 1 ) AND ( x3= 1 )] = TRUE

else if [(x1 = 1) AND ( x2 =-1 ) AND ( x3= 1 ) OR

( x1 = 1 ) AND ( x2 = 0 ) AND ( x3= 1 ) OR

( x1 = 1 ) AND ( x2 = 1 ) AND ( x3=-1 ) OR

( x1 = 0 ) AND ( x2 =-1 ) AND ( x3= 0 ) OR

( x1 = 0 ) AND ( x2 = 0 ) AND ( x3= 1 ) OR

( x1 = 0 ) AND ( x2 = 1 ) AND ( x3=-1 ) OR

( x1 = 0 ) AND ( x2 = 1 ) AND ( x3= 0 ) OR

( x1 =-1 ) AND ( x2 =-1 ) AND ( x3= 0 ) OR

( x1 =-1 ) AND ( x2 =-1 ) AND ( x3= 1 ) OR

( x1 =-1 ) AND ( x2 = 0 ) AND ( x3= 1 ) OR

( x1 =-1 ) AND ( x2 = 1 ) AND ( x3= 0 ) ] = FALSE

else = ZERO.

Конструкция if […] else if […] else эквивалентна двумерной функции двоично-троичной логики (рисунок 4), булевы функции OR в конце строк имеют размерность 4 для ветки TRUE и 11 для ветки FALSE, булевы функции AND между круглых скобок имеют размерность 3 для всех строк. На рисунке 8 приведена нейронная сеть, реализующая эту дизъюнктивную форму.

8

Рисунок 8 – Реализация дизъюнктивной формы нейронной сетью

Первый слой нейронов реализует одномерные функции 3-2 логики, он преобразует троичные входы в бинарный вектор. Затем следует два слоя нейронов, реализующих многомерные двоичные функции. Верхние четыре AND и следующий за ними OR («зеленые») обрабатывают положительный сигнал (TRUE) и отсутствие сигнала (ZERO), нижние одиннадцать AND и следующий за ними OR («красные») обрабатывают отрицательный сигнал (FALSE) и отсутствие сигнала (ZERO). Выходной нейрон реализует двоично–троичную функцию, он формирует выходной троичный сигнал.

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

Персептроны с одним скрытым слоем, также могут реализовывать функции троичной логики. С помощью программы Multiple Back-Propagation обучим персептрон, для троичной функции (рисунок 7). Он содержит три нейрона в скрытом слое и гиперболические функции активации, все нейроны и выходного и скрытого слоя реализуют трехмерные троичные линейно разделимые функции. В таблице 5 приведены матрицы весов обученного персептрона.

Таблица 5 – Матрицы весов персептрона для троичной функции.

Wij

Vi

bias

-1,5822; 1,2937; -3,4799

-2,32757

x1

1,7125; -4,4928; -0,7629

4,88823

x2

0,5358; -7,6689; -3,0195

2,76823

x3

3,2864; -5,9973; 5,0230

-4,45551

В таблице 6 приведена последовательность преобразований троичных входных сигналов. Результат гиперболической функции активации в столбцах ti и s округлены до целых.

Таблица 6 – Результат работы персептрона для троичной функции

xi

ui

ti

p

s

1; -1; 0

-0,4056; 4,4698; -1,2232

0; 1; -1

2,30

1

1; 1; 0

0,6660; -10,8679; -7,2622

1; -1; -1

2,21

1

1; 1; 1

3,9524; -16,8652; -2,2392

1; -1; -1

4,14

1

0; 1; 1

2,2400; -12,3725; -1,4763

1; -1; -1

3,70

1

1; -1; -1

-3,6919; 10,4671; -6,2463

-1; 1; -1

0,01

0

1; 0; -1

-3,1562; 2,7982; -9,2658

-1; 1; -1

0,01

0

1; 0; 0

0,1302; -3,1991; -4,2427

0; -1; -1

0,00

0

0; -1; -1

-5,4044; 14,9598; -5,4834

-1; 1; -1

0,01

0

0; -1; 1

1,1684; 2,9652; 4,5627

1; 1; 1

0,00

0

0; 0; -1

-4,8686; 7,2910; -8,5029

-1; 1; -1

0,01

0

0; 0; 0

-1,5822; 1,2937; -3,4799

-1; 1; -1

0,01

0

-1; -1; -1

-7,1168; 19,4526; -4,7206

-1; 1; -1

0,01

0

-1; 0; -1

-6,5811; 11,7837; -7,7401

-1; 1; -1

0,01

0

-1; 0; 0

-3,2947; 5,7864; -2,7170

-1; 1; -1

-0,02

0

-1; 1; -1

-6,0453; 4,1149; -10,7596

-1; 1; -1

0,01

0

-1; 1; 1

0,5275; -7,8797; -0,7135

0; -1; -1

0,00

0

1; -1; 1

2,8808; -1,5275; 3,7998

1; -1; 1

-4,44

-1

1; 0; 1

3,4166; -9,1964; 0,7803

1; -1; 1

-3,13

-1

1; 1; -1

-2,6204; -4,8707; -12,2853

-1; -1; -1

-5,48

-1

0; -1; 0

-2,1180; 8,9625; -0,4604

-1; 1; 0

-2,39

-1

0; 0; 1

1,7042; -4,7036; 1,5432

1; -1; 1

-4,59

-1

0; 1; -1

-4,3328; -0,3779; -11,5224

-1; 0; -1

-3,76

-1

0; 1; 0

-1,0464; -6,3752; -6,4994

-1; -1; -1

-4,46

-1

-1; -1; 0

-3,8305; 13,4553; 0,3025

-1; 1; 0

-5,75

-1

-1; -1; 1

-0,5441; 7,4580; 5,3255

0; 1; 1

-6,44

-1

-1; 0; 1

-0,0083; -0,2109; 2,3060

0; 0; 1

-7,31

-1

-1; 1; 0

-2,7589; -1,8824; -5,7365

-1; -1; -1

-5,36

-1

На рисунках 9, 10, 11 и 12 приведены геометрические интерпретации троичных функций, которые реализуют нейроны скрытого и выходного слоев.

9

Рисунок 9 – Разделяющая плоскость и результат работы 1-го нейрона

10

Рисунок 10 – Разделяющая плоскость и результат работы 2-го нейрона

11

Рисунок 11 – Разделяющая плоскость и результат работы 3-го нейрона

12

Рисунок 12 – Разделяющая плоскость и результат работы выходного нейрона

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

Результатом операции «взвешенное суммирование» – является мера близости точки n–мерного пространства к разделяющей гиперплоскости. Следовательно, вводя функции активации с m порогами можно реализовывать функции (m+1)значной логики. Например, если для аппроксимации некоторой непрерывной функции удалось обучить персептрон, то результат его работы будет дискретным. Его единственный выходной нейрон реализует одну гиперплоскость, а функция активации многозначную логику, значность логики определяется погрешностью процедуры обучения. Другими словами проводиться множество параллельных разделяющих гиперплоскостей.

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

Выводы

В работе показано, что:

  1. минимизация количества нейронов в скрытом слое персептрона, в неявном виде, приводит к использованию многозначных логик;
  2. некоторые функции двоично – троичной логики можно использовать для формирования дизъюнктивных форм;
  3. существует взаимно однозначный способ преобразования ДНФ в ИНС и обратно;
  4. в одномерной 3 – 2 логике имеется всего 8 функций и все они перечислены;
  5. предложенная структура ИНС может реализовывать любую функцию троичной логики произвольной мерности.
Библиография
1.
Кодд Э. Ф. Расширение реляционной модели для лучшего отражения семантики. // СУБД, 1996, №2. С. 141-160.
2.
Дейт К.Дж. Введение в системы баз данных. Москва. Вильямс. 2000. 848 с.
3.
URL: http://dit.ipg.pt./MBP
4.
Гиниятуллин В.М. Моделирование логических функций в нейросетевом базисе. // Нефтегазовое дело, 2008 № 1 C. 35-43.
5.
URL: http://ru.wikipedia.org/wiki/Троичные_функции
References (transliterated)
1.
Kodd E. F. Rasshirenie relyatsionnoi modeli dlya luchshego otrazheniya semantiki. // SUBD, 1996, №2. S. 141-160.
2.
Deit K.Dzh. Vvedenie v sistemy baz dannykh. Moskva. Vil'yams. 2000. 848 s.
3.
URL: http://dit.ipg.pt./MBP
4.
Giniyatullin V.M. Modelirovanie logicheskikh funktsii v neirosetevom bazise. // Neftegazovoe delo, 2008 № 1 C. 35-43.
5.
URL: http://ru.wikipedia.org/wiki/Troichnye_funktsii
Ссылка на эту статью

Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также попробовать найти похожие статьи


Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.
Сайт исторического журнала "History Illustrated"