Правила вывода универсального характера

Метод построения доказательства. При таком подходе описания исходной и целевой ситуации рассматриваются как формулы некоторого исчисления. Все элементы, входящие в исходное описание, трактуются как аксиомы этого исчисления, а все элементы, образующие целевое описание,— как формулы, которые необходимо вывести из данного набора аксиом с помощью имеющейся системы правил вывода. Обычно в качестве такого исчисления используется исчисление предикатов первой степени. Правила вывода делятся на два типа правила вывода универсального характера, используемые в традиционном исчислении предикатов, и правила вывода, верные только в рамках той проблемной области, которая описывает данный объект управления, особенности его функционирования и специфику управления им. Правила второго типа принято называть эвристическими правилами вывода. В качестве процедуры поиска вывода используется какая-нибудь достаточно мощная процедура типа метода резолюций или обратного метода вывода Маслова. Эти процедуры будут описаны ниже.  [c.226]


Соотношение 80 на 20 , как некое особое правило для оценки степени риска, имеет универсальный характер. Оно следует из другого вывода Парето, который он сформулировал на основе данных мировой статистики о том, что 80% всех богатств на Земле владеют 20% ее жителей, в то время как 80% людей владеют лишь 20% накопленных богатств. Это правило часто применяется и для объяснения любых других зависимостей, оно действительно универсально. Чтобы убедиться в этом, проведите следующее испытание. Соберите один рубль копейками и подбросьте эту горсть монет вверх так, чтобы они все упали на пол. А затем начните собирать их, фиксируя время на эту операцию, и вы увидите, что 20% от всего времени у вас уйдет на то, чтобы найти первые 80 коп., а 80% времени — на то, чтобы найти оставшиеся 20 коп. Этим правилом и рекомендуется в зарубежной учебной литературе пользоваться при оценке степени риска нового дела, любого изменения в сфере бизнеса.  [c.149]

Словари понятии и действий целиком определяются семантикой проблемной области. Словарь же отношений носит более широкий характер. Из гипотезы 2.3 можно было бы сделать вывод, что этот словарь (в его базовой части) вообще конечен. Некоторые эксперименты, проведенные для нескольких европейских языков (итальянского, английского, русского), как будто подтверждают эту гипотезу. Эксперименты проводились следующим образом. Брался достаточно большой текст из универсальной области (как правило, текст из художественной литературы). Анализируя последовательно фразу за фразой, фиксировались отношения, встречающиеся в этих фразах. Если вновь фиксируемое отношение уже было включено в  [c.57]


Смотреть страницы где упоминается термин Правила вывода универсального характера

: [c.11]   
Ситуационное управление теория и практика (1986) -- [ c.226 ]