Счетчики








5.4. Переходы решений. Системы объектов 2-го порядка

Интегральная теория создания ИИ

Под решениями объекта B=I(A) понимается набор значений (a1, b1), (a2, b2) и так далее, удовлетворяющих уравнению B=I(A). В случае объекта A=I(A) соответствующими решениями будут a1,a2,...,an, удовлетворяющие уравнению A=I(A). Напомним, что вид функций связи для объектов 2-го порядка может носить произвольную (аналитическую, логическую, либо другую) форму. Переход решений - явление изменения решения (ai, bj) на (ak, bl) для объекта класса 2.2 или ai на aj в случае объекта класса 2.1. То есть одно множество состояний объектов 1-го порядка, входящих в состав объекта 2-го порядка, уступает место другому.

Переход решений в физически элементарном объекте класса 2.2 B=I(A) происходит в результате изменений состояния объектов A и B. Сложнее дело обстоит в случае с 2.1: A=I(A). Первоначальный и наиболее важный вопрос, касающийся причин изменения состояния A: каков характер уравнения A=f(A) - оно обыкновенное или рекурсивное? Допустим, что рекурсивно. Тогда A(i)=I(A(i-1)), где A(i) - текущее состояние, A(i-1) - предыдущее (его можно рассматривать также как внутреннюю переменную интерпретатора). Рассмотрим пошагово режим работы интерпретатора в рекурсивном режиме:

Очевидно, что в момент работы функции копирования текущего состояния в предыдущее (шаг 2, функция copy) функция f должна быть отключена. Равносильно и в момент работы f функция copy должна быть отключена. Выходит, что, например, f должна то существовать, то нет. А это противоречит 2-му требованию к среде существования объектов 2-го порядка, говорящему о том, что функциональные зависимости должны быть неизменными. Да и как определить, когда нужно "включать" f, а когда "отключать"? А поскольку мы рассматриваем объект A=I(A) в изолированном виде, то сторонних средств, обеспечивающих переключение управления между f и copy, не существует. Так как входной информацией для f служит только A(i-1), то узнать, поменялось уже A(i-1) функцией copy или еще нет, невозможно. Попытка же ввести для f (аналогично и copy) зависимость типа "отработать, включить copy, отключиться" нереализуема ввиду того, что объект 2-го порядка не способен управлять другим объектом 2-го порядка. Следовательно, и f, и copy существуют и работают одновременно, никогда не отключаясь и не меняя своего алгоритма. Но тогда мы опять приходим к системе обыкновенных, нерекурсивных уравнений: A(i-1)=copy(A(i)); A(i)=f(A(i-1)).

Откуда A(i-1)=f(copy(A(i-1))). А это тоже самое что A(i)=f(A(i)), или A=f(A), оно же A=I(A).

Аналогично в случае произвольной смешанной структуры из нескольких кольцевых структур и объектов класса 2.2:

Соответствующая система уравнений (естественно, полагаем, что уравнение связи равно "+"): x1=f11(x1)+f4(x4); x2=f1(x1)+f21(x2); x3=f2(x2)+f9(x9); x4=f12(x1)+f3(x3); x5=f41(x4)+f8(x8); x6=f5(x5)+f10(x10); x7=f6(x6); x8=f7(x7).

Как и в случае с простейшим объектом класса 2.1 все уравнения нерекурсивны. Таким образом, в конечных системах объектов 2-го порядка рекурсивных уравнений не существует. Забегая немного вперед, скажем, что в бесконечных системах на уровне зависимостей глобальных параметров бесконечных логических доменов возникает так называемая квазирекурсия.

Из вышесказанного вытекает, что процесс перехода решений не идет самопроизвольно, а ограничение числа возможных совокупностей состояний объектов 1-го порядка (решений системы уравнений) делает систему дискретной, то есть способной пребывать только в определенных состояниях, а не в любых. Для перехода от одного состояния (решения) системы к другому нужно искусственно изменять состояние хотя бы одного объекта 1-го порядка. Эти изменения должны быть произведены сторонними силами, не входящими в состав объектов системы.

newpoisk.narod.ru, 21 марта 2005 года