Cтраница 3
Нетрудно видеть, что метод являет собой некий компромисс детерминированных и статистических действий, причем основной центр тяжести смещен на неформальную процедуру выделения группы минимумов, среди которых можно обнаружить глобальный. Недостаток метода заключается в том, что нужно точно знать область, в которой выбираются случайные точки. Широкое задание границ области затрудняет исследование, так как необходим анализ большого числа вариантов, а узкое задание может привести к потере части минимумов, один из которых может быть глобальным. [31]
Используя нормальные алгоритмы Маркова в качестве прототипа, попытаемся их усовершенствовать так, чтобы в конце концов получить аппарат, адекватный представлению неформальных процедур. [32]
В то же время опыт показывает, что рост уровня алгоритмических языков программирования не дает существенного продвижения, как только речь заходит о неформальных процедурах. И дело здесь оказывается не в уровне конкретных языков, а в их алгоритмическом характере. Эти языки позволяют упростить программирование известных алгоритмов, но очень мало помогают в установлении самих алгоритмов, адекватных тем или иным неформальным процедурам. [33]
Реализация диалоговой системы принятия плановых решений связана с выбором языковых и математических средств описания прикладной предметной области, созданием развитой информационной базы, разработкой формальных и неформальных процедур идентификации, анализа производственно-экономических ситуаций и принятия решений, программной реализации указанных процедур, а также с использованием технических средств, обеспечивающих интерактивный режим обработки информации. [34]
Здесь следует сделать оговорку. Словосочетание неформальная процедура, вообще говоря, внутренне противоречиво, поскольку о процедурах, как правило, говорят в контексте некоторого алгоритма или программы, и поэтому творческий процесс, каковым является, например, проектирование, не вполне корректно представлять последовательностью или совокупностью процедур. Отдавая себе отчет в этом, тем не менее используем указанный термин, подразумевая под ним в данном случае некоторую систему целенаправленных действий, а любая деятельность, творческая или не творческая, так или иначе осуществляется через конкретные действия. [35]
![]() |
Два варианта анализа фразы МАТЬ ЛЮБИТ.... а - слово МАТЬ в именительном падеже. ожидается прямое дополнение. б - слово МАТЬ в винительном падеже. ожидается подлежащее. [36] |
В этом случае на каждом шаге выбирается единственное решение - так, для слова РОЗА таким решением будет РОЗЫ - проблема выбора решения не возникает. В общем случае неформальные процедуры являются многозначными, а правильность конкретного выбора, сделанного на некотором шаге, проверяется на следующих шагах. [37]
Конкретные значения допустимых параметров определяют исходя из банка данных, содержащего сведения о фильтрационных и массообменных процессах в системе скважина - пласт. Выбор Ф - неформальная процедура, реализуемая при установлении типа и рецептуры раствора для обеспечения устойчивости стенок скважины. [38]
Трудности возникают при попытке точного определения подобных процедур. Так, если рассматривать неформальные процедуры всего лишь как абстрактные функции, которые для каждого значения аргумента х е X выдают некоторое значение / ( х) е Y, то категория неформальности вообще исчезает из рассмотрения. [39]
В действительности же для решения слабоструктуризованных проблем требуется иной, более сложный вид моделирования, чем привычное знаковое. Такое моделирование должно сочетать в единой модели формальные и неформальные процедуры. Обоснованность решения в этом случае имеет объективную и субъективную основу, но это ни в коем случае не означает, что результаты его научно менее оправданы, чем при применении только знаковых моделей. [40]
Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид если. Продукционный подход к представлению знаний иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вьшода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правила. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста. [41]
Известно, что ЭВМ - это финитная система. Следовательно, из тезиса 5.2 можно заключить, что точное представление неформальных процедур в ЭВМ невозможно. [42]
![]() |
Решение 2. [ TABLE ] решений ( мелким шрифтом выделены вставки. [43] |
Разумеется, программист без особого труда составит соответствующую блок-схему алгоритма. И все же, если учесть, что подобные изменения и расширения алгоритма при программировании неформальных процедур происходят многократно ( реальная сложность неформальной процедуры как раз и проявляется в практической невозможности предусмотреть априори все случаи), следует признать, что, вполне правильное в статике, решение 1 в динамике неудачно. [44]
Другое отличие продукционных модулей от традиционных программных модулей связано с режимом возвратов. Как было показано в главе 4, именно режим возвратов обеспечивает правильное функционирование продукционной системы в условиях естественной для неформальных процедур многозначности. [45]