Интеллектуальные технологии обоснования инновационных решений

зиций принадлежности другому классу эквивалентности и переход в связи с этим к другому пути дерева вывода.

По мере исчерпания всех ветвей дерева вывода процесс перечисления класса эквивалентности, заданного теоремой, завершается.

Для перечисления каждого класса эквивалентности от-

ношение задается теоремой f ′ T ′′ после чего фор

T : S f →S , -

мальная система загружается семантикой как упорядоченным множеством «различных» процессов в Im, сгруппированных по некоторым, отличающимся друг от друга признакам в виде значений определенной абстрактной переменной в правой части. Из этих списков необходимо исключить процессы, являющиеся аналогом функции f, заданной теоремой Tf .

Всоответствии с методологией функционального подхода введем конечное дискретное пространство состояний системы (объекта инвестирования).

Всоответствии с методологией функционального подхода введем конечное трехмерное дискретное пространство состояний S F-системы моделей экспресс-анализа объекта инвестирования:

f1 = M10, f2 = M11, f3 = M12, f4 = M 20, f5 = M 30.

12 · 12 = 144.

91

Для каждой функции f F-системы необходимо описать все подмножества преобразований (S ×S) f , которые могут

составить реализацию этой функции.

В пространстве S произведем функциональное представление базовых моделей, что проиллюстрировано табл. 1.7–1.11.

Функция f1 (модель М10) играет роль идентификатора

возможных состояний объекта экспресс-анализа. Она реализует процесс идентификации без преобразования в S –

где S′ – означает неопределенное состояние, а смысл со-

стояний 1,12 раскрывается в табл. 1.7.

92

Наконец, для функции f5 (модель М30) существует по-

тенциальная возможность реализовать преобразования (см.

табл. 1.11):

94

Для того чтобы установить потенциально достижимые

композиций, строится семантическая система Σ на базе этих выражений:

96

Тогда искомая формальная система вывода композиций базовых функций, приводящих объект экспресс-анализа в заданное состояние (приоритетными среди них являются состояния 1, 2, 3, утверждающие целесообразность инвестиционного проекта), может быть построена по следующей методике:

1.Семантическая система Σ объявляется аксиомой вы-

вода.

2.Теорема вывода в общем виде описывает условие

вывода

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

. . .

T12 : f1( ) =12 →1 2 3.

3.Начало вывода: пустая цепочка , шаг вывода h = 0.

4.Начальное состояние вывода – правая часть теоремы:

97

сколько продолжений вывода. Конечность процедуры выбора эквивалентных по отношению к (1.143) результативных выводов может обеспечить задаваемое максимальное число шагов вывода hmax , либо алгоритм выявления повторов

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

(рис. 1.34).

в

Рис. 1.34. Графы представления типовых моделей предынвестиционного экспресс-анализа предприятий как результативных выводов формальной системы

98

f7

ж

Рис. 1.34. Продолжение

99

з

Рис. 1.34. Окончание

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

в его элементах (HR , HЭ, HQ ):

Тогда поиск продолжения вывода будет выбираться согласно признакам несоответствия отдельных компонент пространства S между текущим и конечным словами вывода

100