Счетчики








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

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

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

Соответствующая ему система уравнений: b1=f1(a1,a2,...,an); b2=f2(a1,a2,...,an); ...; bm=fm(a1,a2,...,an).

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

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

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

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