5.2. Объект класса 2.2

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

Графическая схема объекта класса 2.2, описываемого функцией B=I(A):

Соответствующая ему система уравнений: b₁=f₁(a₁,a₂,...,a_n); b₂=f₂(a₁,a₂,...,a_n); ...; b_m=f_m(a₁,a₂,...,a_n).

Как уже говорилось, в общем случае функции f₁,f₂,...,f_m могут быть совершенно произвольными (логическими типа IF..THEN..ELSE, аналитическими и так далее). Мощности объектов |A| и |B| также могут быть любыми. Однако с практической точки зрения эти функции должны быть хотя бы односторонне-однозначными, а |A|>=|B|, то есть должно выполнятся условие: при любом состоянии объекта A соответствующее ему состояние B должно определяться однозначно. Обратное может быть и неверным. Это требование наглядно представляется в виде графов:

Здесь A_i (i=1...|A|) означает одно из состояний A, B_j (j=1...|B|) - одно из состояний B. При |A|<|B| возникает неопределенность выбора состояния B при определенном состоянии A (граф 1). Именно по этой причине применение такой схемы невозможно на практике. Аналогичная неопределенность возникает и в графе 4, где в интерпретаторе используются неоднозначные функции, в результате чего в данном случае невозможно определить, каким состоянием - A₄ или A₅ - были вызваны состояния B₄ и B₅. В дальнейшем такие объекты 2-го порядка будем называть неопределенными (граф 1 и 4), соответственно все остальные объекты 2-го порядка (граф 2 и 3) - определенными. На примере неопределенных объектов показывается очень важное практическое следствие - невозможность возникновения из ничего лишней информации. Именно по этой причине бессмысленно использовать одни только неопределенные объекты 2-го порядка при создании алгоритма на их основе.

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

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