Неформальная процедура
Cтраница 4
Для практики наиболее интересен содержательный аспект неформальности продукционных программ, состоящий в следующем. Поскольку коллизии продукций разрешаются автоматически, каждая продукция представляет собой независимый модуль, описывающий то или иное явление в программируемой неформальной процедуре. Таким образом, не требуется какой-либо глобальной априорной формализации - новые модули-продукции разрабатываются и включаются в программу по мере необходимости и, в общем случае, непредсказуемым заранее способом. [46]
Разумеется, программист без особого труда составит соответствующую блок-схему алгоритма. И все же, если учесть, что подобные изменения и расширения алгоритма при программировании неформальных процедур происходят многократно ( реальная сложность неформальной процедуры как раз и проявляется в практической невозможности предусмотреть априори все случаи), следует признать, что, вполне правильное в статике, решение 1 в динамике неудачно. [47]
Решение задач проектирования и эксплуатации СЭС все время усложняется, так как растут мощности ЭП, сложность технологических процессов и оборудования, требования к качеству электрической энергии и надежности электроснабжения. Применяемый при этом аппарат системного анализа включает в себя в основном методы исследования операций, которые в достаточной мере формализованы, но, кроме того, он содержит и неформальные процедуры, приемы и правила ( эвристические, интуитивные), устанавливаемые и выполняемые людьми. [48]
Соответствующая компонента трудоемкости пропорциональна количеству правил и ее можно оценить выражением аи, где а - некоторый коэффициент, зависящий как от используемого языка программирования, так и от специфики конкретной неформальной процедуры. Однако имеется и другая компонента трудоемкости. Эта компонента объясняется тем, что правила, описывающие неформальную процедуру, представляют собой единый целостный комплекс. Все эти связи надо учесть в процессе программирования, а значит, появляется квадратичное слагаемое трудоемкости / Зи2, где коэффициент / 3 также зависит как от используемого языка, так и от специфики программируемой процедуры. [50]
Чтобы в какой-то степени приблизиться к этому человеческому способу представления функций, рассмотрим прежде всего традиционные алгоритмические модели и попытаемся понять, в чем состоит основная трудность их применения для имитации неформальных процедур. [51]
С помощью диаграммы связи ФХС могут осуществляться дальнейшие уже чисто формальные процедуры: 1) получение системы дифференциальных, интегральных или конечных уравнений ( линейных, нелинейных, с сосредоточенными или распределенными параметрами) элементов; 2) построение блок-схем вычислительных алгоритмов математического описания на основе специальной системы блок-схемных эквивалентов; 3) построение сигнального графа ФХС ( если это необходимо) на основе специальной системы сигнал-связных эквивалентов. Построение самой диаграммы связи ФХС является существенно неформальной процедурой и не может полностью исключить фактор эвристического восприятия реальной системы и субъективного характера отражения ее структуры. Тем не менее даже на этом, трудно поддающемся формализации этапе методология системного анализа позволяет ввести упорядоченность в начальные шаги топологического представления ФХС. Первым шагом на этапе синтеза математической модели ФХС является выделение системы из окружающей среды и условное разбиение ( декомпозиция) ее на ряд взаимосвязанных относительно крупных частей ( подсистем), каждая из которых допускает дальнейшую детализацию до уровня элементарных составляющих. В соответствии с этим строится так называемая первичная топологическая структура ФХС или кодовая диаграмма, у которой код ( слово) обозначает совокупность явлений в отдельном блоке или подсистеме, а сплошные линии между подсистемами условно отражают связи между ними. [52]
 |
Два типа взаимодействия правил. а - правило - исключение. б - пересечение областей определения. [53] |
Врожденность, или, другими словами, встроенность аппарата исключений в самые основы нашего неформального мышления убедительно демонстрирует уже морфология русского языка. Подобные примеры можно продолжать практически неограниченно. Таким образом, даже весьма распространенные и относительно тривиальные неформальные процедуры содержат скорее больше исключений, чем общих правил. [54]
Современная теория принятия решений имеет обширный инструментарий, включающий в себя развитый математический аппарат и современные вычислительные системы. И все же, какие бы успехи ни делала теория принятия решений с помощью новейших современных методов, опирающихся на формализованное описание ситуаций, все еще остаются необходимыми, а подчас и играют решающую роль традиционные приемы анализа, использующие опыт и интуицию, способности человека к ассоциациям и многое другое, что лежит вне математики и пока еще не присуще искусственному интеллекту. Поэтому изложение методов системного анализа должно обязательно включать описание используемых неформальных процедур, без которого любое представление о системном анализе будет не только неполным, но и искаженным. Необходимо не только описать исследуемые эвристические приемы и способы рассуждений. Очень важно показать также, как эти эвристические, неформальные методы вписываются в современную теорию принятия решений, как они видоизменяются под влиянием того инструментария, которым теперь оснащена эта теория. [55]
Страницы: 1 2 3 4