Нейрофизиологический и формально-логический базис нейроподобных вычислений
В разделе 4.6 показано, что комбинаторная схема порождения совместных инверсий отношения "больше-меньше" использует так называемую [85] е-спецификацию, элементы которой характеризуют количество компонент весового вектора, стоящих в левой (е(1)) и правой (е(2)) части инвертируемого отношения. В частности, для
-спецификация имеет вид
;
;
. Такая спецификация систематизирует перечисление конечного множества инвертируемых отношений "больше-меньше" (неоднозначных неравенств, в случае
представленных в
табл. 4.11), которые еще необходимо доопределить множеством кратных инверсий значений свертки по правилу:
- По индексам левой (
) и правой (
) части инвертируемых базовых отношений "больше-меньше" строятся векторы
и
, у которых "единичные" значения отвечают индексам переменных, входящих в эти отношения.
- Слиянием по "ИЛИ" строится вектор
- В векторах
и
одновременно изменяются на "единичные" те компоненты
и
, у которых индекс
отвечает условию
. В результате множество исходных инверсий отношения "больше-меньше" (после ассоциативного суммирования - транспозиций ), включая и кратные, для
примет вид:
-
;
На основе этих транспозиций значений свертки строятся цепочки транзитивных транспозиций, которые отвечают классическим правилам преобразования неравенств: неравенство только усилится, если к
"большему" прибавить "большее" или из "меньшего" вычесть "большее". В нашем случае существует только три цепочки транзитивных транспозиций (без учета кратных):
-
;
-
;
-
.
(Здесь символ представляет отношение эквивалентности).
Отсюда: независимо можно осуществить только транспозиции, принадлежащие различным транзитивным цепочкам, общее количество которых в нашем случае не превышает 3 (без учета кратных), а сами транспозиции можно выполнить только между двумя смежными значениями индекса свертки .
Выбрав определенную стратегию анализа цепочек транзитивных транспозиций, можно, не зная конкретных численных значений весовых коэффициентов, перечислить все подстановки значений свертки и отвечающие им подстановки индексов
:
:
-
;
-
;
-
;
:
-
;
-
;
-
;
-
;
-
;
:
-
;
-
;
-
;
:
-
;
-
;
-
;
-
.
Здесь подстановки образуют пары: в первом подмножестве - ,
,
, во втором подмножестве -
,
,
,
,
, в третьем подмножестве -
,
и в четвертом подмножестве -
,
,
. Поэтому отношение частичного порядка для элементов
обеспечивается правилом перечисления подстановок из одного и того же подмножества, в котором каждая последующая подстановка отличается от предыдущей только одной транспозицией (с точностью до кратных транспозиций).
Чтобы перейти от элементов дистрибутивной структуры к порождающим ее значениям весовых коэффициентов
, достаточно одним из стандартных способов найти решения систем неравенств, отвечающих каждой приведенной выше подстановке индексов
. В частности, простейшим методом "проб и ошибок" можно получить все целочисленные значения весовых коэффициентов (табл. 4.12 для
). В первой графе
табл. 4.12 указан порядковый номер подстановки индексов
, а первая строка соответствует лексикографическому порядку их перечисления. Из данных этой таблицы видно, что в случае
для решения задач оптимального синтеза (много)пороговых моделей требуется всего 14 образующих весовых векторов, у которых компоненты переименуются с помощью конечных групп подстановок и инверсий знака.
№ | ![]() |
![]() |
![]() |
![]() |
Условие |
---|---|---|---|---|---|
1 | 8 | 4 | 2 | 1 | Lex |
2 | 10 | 6 | 3 | 2 | ![]() |
3 | 10 | 4 | 3 | 2 | ![]() |
4 | 8 | 4 | 3 | 2 | ![]() |
5 | 10 | 7 | 4 | 2 | ![]() |
6 | 8 | 6 | 4 | 1 | ![]() |
7 | 10 | 6 | 5 | 2 | ![]() |
8 | 11 | 8 | 7 | 2 | ![]() |
9 | 10 | 8 | 4 | 3 | ![]() |
10 | 8 | 7 | 4 | 2 | ![]() |
11 | 10 | 7 | 5 | 4 | ![]() |
12 | 10 | 8 | 6 | 3 | ![]() |
13 | 10 | 8 | 6 | 5 | ![]() |
14 | 10 | 8 | 7 | 4 | ![]() |
Если нейроподобный теоретико-групповой компилятор использовать при создании ЭВМ классической архитектуры, то для минимизации библиотеки стандартных элементов, реализуемых непосредственно в технологическом процессе, можно использовать только образующие булевы функции [101, 102].
Метод образующих булевых функций широко использовался в теории и практике многофункциональных логических модулей, к которым относятся и (много)пороговые элементы и их модели. В случае (много) пороговых моделей он позволяет существенным образом снизить вариации вектора порогов , ограничив их конечным множеством целочисленных значений. Для этого достаточно все множество булевых функций
разбить на смежные (по группам дистрибутивной структуры
) классы [103]:
, а вектор порогов
определить в целочисленном пространстве
и только для образующих булевых функций
, где теоретико-множественное объединение (
) берется по образующим булевым функциям с индексами
.
Схема поиска множества образующих для заданного класса булевых функций:
- Разбить весь класс булевых функций на подклассы с одинаковой первичной спецификацией [90]
, которая отражает общее количество "единиц"
и "нулей"
в таблице истинности булевых функций, принадлежащих данному подклассу:
где:
, a
,
- подмножества входных векторов, на которых булева функция
принимает соответственно "единичное" и "нулевое" значение. Количество подклассов с одинаковой первичной спецификацией можно ограничить условием
, нарушение которого приводит к подклассам инверсных булевых функций с инвертированными образующими.
- Разбить на смежные классы (по отношению к группам
и
) под-классы булевых функций с одинаковой первичной спецификацией:
где
представляет собой поочередно выполняемые преобразования
и
, а теоретико-множественные объединения берутся по образующим по классам смежности
:
,
соответственно, в качестве которых может выступать любая функция из класса.
- Объединить классы смежности по группе
, если хотя бы одна из функций класса принадлежит одному и тому же классу смежности по группе
где
- индекс образующей из класса смежных по группе переименования переменных
, а теоретико-множественное объединение берется по образующим для классов, смежных по группе
, с индексом
.
- Объединить классы смежности по группам
, если их образующие
удовлетворяют условию минимально пороговой реализации с одинаковым рангом для всех компонент вектора порогов:
Здесь
- индекс образующей для классов смежных булевых функций по группам дистрибутивной структуры
, а компоненты вектора порогов
,
для образующих
и
имеют одинаковый ранг, если
, где
.
При (табл. 4.13) требуется всего 13 образующих (без учета инверсных) для смежных по группам дистрибутивной структуры W классов, объединение которых и дает все множество булевых функций от трех переменных:
-
;
-
;
-
;
-
;
-
;
Первичная спецификация булевых функций | (0,8) | (1,7) | (2,6) | (3,5) | (4,4) |
---|---|---|---|---|---|
Количество образующих булевых функций | 1 | 1 | 3 | 3 | 5 |
Мощность классов смежных булевых функций | 1 | 8 | 12 | 24 | 14 |
12 | 24 | 24 | |||
4 | 8 | 24 | |||
6 | |||||
2 | |||||
Итого булевых функций: (1+8+28+56)*2+70=256 | 1 | 8 | 28 | 56 | 70 |