Cтраница 4
Однако использование этого уровня абстракции неудобно при исследовании мозга. В самом деле, добавление одной новой допустимой подстановки, удовлетворяющей требованиям СОИС ( например, не меняющей числа букв А в слове), хотя и не влияет на эффективность алгоритма, требует использования другого исчисления. В ассоциативном исчислении можно выделить много свойств, не существенных для работ алгоритмов и эвристических программ. Вместе с тем каждая программа оказывается применимой не к одному, а к целому классу ассоциативных исчислений. В связи с этим целесообразно перейти на более высокий уровень абстракции, выделив класс ассоциативных исчислений, для которого будет применима эвристическая программа. Для этого во всех ассоциативных исчислениях, входящих в класс, необходимо выделить то, что существенно для работы программы, и отбросить те свойства, которые в данном случае несущественны. В этом случае мы приходим к использованию системы СОИС, так как именно ограничения определяют работу программ и они явятся хорошими критериями для классификации информационных задач. [46]