Неформальная процедура
Cтраница 1
Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид если. Продукционный подход к представлению знаний иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вьшода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правила. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста. [1]
Неформальные процедуры и автоматизация проектирования / Новое в жизни, науке, технике. [2]
Оценка инвестиционных проектов включает формальные и неформальные процедуры. [3]
Там же изложена методика неформальных процедур отбора и оценки инвестиционных проектов. [4]
Построение модели, как всякая неформальная процедура, не может производиться чисто дедуктивно, а всегда опирается на индукцию, используя полученные с тем или иным приближением экспериментальные данные. Это приводит к тому, что модель имеет лишь некоторую степень адекватности реальному явлению, но эта степень должна удовлетворять технической постановке задачи. Степень адекватности обычно заранее не известна и выясняется только после многократных проверок. [5]
Методы выбора инвестиционных проектов являются неформальной процедурой, так как требуют одновременного учета многих и количественных, и качественных факторов социально-политического, экономического и технического характера. Поэтому выбор проектов не может быть осуществлен на основе одного - сколь угодно сложного - формального критерия, а требует проведения практически неалгоритмизуемых экспертных оценок. [6]
Методы выбора инвестиционных проектов являются неформальной процедурой, так как требуют одновременного учета многих и количественных, и качественных факторов социально-политического, экономического и технического характера. Поэтому выбор проектов не может быть осуществлен на основе одного - сколь угодно сложного - формального критерия, а требует проведения практически неалгоритмизуемых экспертных оценок. Тем не менее излагаемые ниже методы, вытекающие из правил рационального экономического поведения, играют при выборе весьма существенную роль, позволяют избежать грубых ошибок, а в тех случаях, когда выбор проектов производится из иных соображений, дают возможность оценить размер возникающего экономического ущерба. [7]
Не так просто ответить на вопрос, насколько неформальные процедуры способствуют или препятствуют эффективной работе организаций. Системы, напоминающие идеальный тип, описанный Вебером, приходят к созданию огромного множества способов неофициальных действий. Частично это происходит из-за того, что недостаток гибкости может быть преодолен путем неофициального обращения с формальными правилами. Для тех, кто занят скучной работой, неформальные способы деятельности часто помогают создать более приятную рабочую обстановку. Неформальные контакты между высшими должностными лицами могут быть эффективными и способствовать деятельности организации как единого целого. С другой стороны, люди, вовлеченные в подобные контакты, могут быть более заинтересованы в удовлетворении или защите своих собственных интересов, чем в отстаивании интересов организации. [8]
Тезис 2.2. Все алгоритмические языки при программировании неформальных процедур имеют ют же уровень сложности, что и язык программирования машины Поста. [9]
В предыдущих параграфах речь шла об использовании неформальных процедур в проблемах, которые не формализованы. [10]
Как следует из опыта организации и использования неформальных процедур, агрегированные характеристики, которыми мыслит эксперт, всегда достаточно индивидуализированы. Это, конечно, не значит, что системы автоматизации проектирования должны быть строго индивидуальны. Отдельные блоки системы, общая схема операционной системы САПР), структура банков данных, основная часть математического обеспечения должны быть стандартизированы. Но не может не приниматься во внимание тот факт, что главный конструктор машины по-своему думает о ней, имеет собственные оценки и критерии, отличные от тех, которые имел бы другой главный конструктор. Будучи достаточно универсальной, система автоматизированного проектирования должна настраиваться на определенное конструкторское бюро или проектную организацию. Это значит, что входной язык САПР, должен быть расширяемым и определенная часть математического обеспечения должна специально создаваться на основе тех требований, которые формулирует главный конструктор. [11]
В предыдущих параграфах речь шла об использовании неформальных процедур в проблемах, которые не формализованы. [12]
Как следует из опыта организации и использования неформальных процедур, агрегированные характеристики, которыми мыслит эксперт, всегда достаточно индивидуализированы. Эта, конечно, не значит, что системы автоматизации проектирования должны быть строго индивидуальны. [13]
 |
Работа продукционной системы алгоритмического типа ( информационные связи обозначены пунктиром. [14] |
В-третьих, априорная заданность порядка просмотра продукций при реализации неформальных процедур также оказывается непомерно тяжелым требованием - мы просто не в состоянии вручную описать приоритетность правил и определить способ управления их перебором. [15]
Страницы: 1 2 3 4