Целью настоящего раздела было естественное расширение построенной ранее схемы, чтобы она охватывала более общий случай, когда планы формируются моделью, но выполняются в реальном мире. В подтверждение можно привести практические трудности, с которыми сталкиваются в настоящее время подходы, основывающиеся на доказательстве теорем методом резолюции (см. [33]). Проверка новых формулировок и программ на конкретных конструкциях робота является задачей ближайшего будущего. [c.403]
Метод построения доказательства. При таком подходе описания исходной и целевой ситуации рассматриваются как формулы некоторого исчисления. Все элементы, входящие в исходное описание, трактуются как аксиомы этого исчисления, а все элементы, образующие целевое описание,— как формулы, которые необходимо вывести из данного набора аксиом с помощью имеющейся системы правил вывода. Обычно в качестве такого исчисления используется исчисление предикатов первой степени. Правила вывода делятся на два типа правила вывода универсального характера, используемые в традиционном исчислении предикатов, и правила вывода, верные только в рамках той проблемной области, которая описывает данный объект управления, особенности его функционирования и специфику управления им. Правила второго типа принято называть эвристическими правилами вывода. В качестве процедуры поиска вывода используется какая-нибудь достаточно мощная процедура типа метода резолюций или обратного метода вывода Маслова. Эти процедуры будут описаны ниже. [c.226]
ИСПОЛЬЗОВАНИЕ МЕТОДА РЕЗОЛЮЦИИ 227 [c.227]
Использование метода резолюции при планировании [c.227]
Для применения метода резолюции необходимо перевести описание интересующего нас утверждения на язык логики предикатов первого порядка и представить его в нем в некотором стандартном каноническом виде. Такое представление обычно называется стан- [c.227]
Оба представления, полученные в двух последних примерах, уже стандартизованы. Для метода резолюции принято еще опускать знаки конъюнкции и записывать вместо конъюнктивной формы множество образующих ее дизъюнктов. В примере 5.3 такой дизъюнкт один, а в примере 5.4 их два. Множество дизъюнктов для формулы F будем обозначать через SF. Для опровержения формулы F достаточно показать, что хотя бы один из ее дизъюнктов невыводим. В силу конъюнктивной связи дизъюнктов при этом будет невыводима и сама формула F. Смысл всего сказанного состоит в том, что возникает возможность заменить проверку противоречивости некой формулы F, [c.228]
ИСПОЛЬЗОВАНИЕ МЕТОДА РЕЗОЛЮЦИИ 229 [c.229]
ИСПОЛЬЗОВАНИЕ МЕТОДА РЕЗОЛЮЦИИ [c.231]
Si 5.3. ИСПОЛЬЗОВАНИЕ МЕТОДА РЕЗОЛЮЦИИ 233 [c.233]
Метод решения задач, использующий аппарат исчисления высказываний, основан на представлении задачи в виде теоремы формула F логически следует из множества формул ФО (ФО —> Г). Для доказательства этой теоремы воспользуемся методом резолюции, программно реализованным в языке ПРОЛОГ [3]. [c.127]
Методы Приказы резолюции [c.17]
ПРИМЕНЕНИЕ МЕТОДА АНАЛОГИИ В ЛОГИКЕ РЕЗОЛЮЦИИ [c.478]
В первые годы социалистического строительства вопросы интенсификации труда ставились в очень острой форме и практически не сходили с повестки дня. IX съезд РКП (б) в резолюции Об очередных задачах хозяйственного строительства записал Перед советским строем в полном объеме стоит задача развить свои собственные методы воздействия, с целью повышения интенсивности и целесообразности труда на основе обобществленного хозяйства в интересах всего народа 2. [c.235]
Рост объема капитальных работ, связанный с выполнением задач социалистического строительства, требовал улучшения строительного дела, укрепления хозрасчета в строительстве, усиления борьбы за снижение стоимости строительства. В 1930 г. была дана развернутая программа перехода строительства на индустриальные методы. Подрядный способ стал преимущественной формой организации строительных работ, а система переведенных на хозрасчет строительных объединений была принята в качестве основной организационной формы управления строительством. Все это должно было способствовать преодолению недостатков, указанных в резолюции XVI съезда ВКП(б) О выполнении пятилетнего плана промышленности (отставание и неудовлетворительное состояние проектировочных работ неполное использование строительного сезона растянутый фронт н медленные темпы строительства высокая стоимость и низкое качество строительных работ, невыполнение заданий по снижению стоимости строительства и др.). [c.248]
Ударник — передовой работник, активный участник социалистического соревнования. Ударничество как форма социалистического соревнования за повышение производительности труда, за высокие (ударные) темпы работы возникло в середине 20-х годов. Массовое движение за ударный, высокопроизводительный труд явилось новым этапом на пути совершенствования форм и методов труда на основе принципов его научной организации. В годы первой пятилетки ударные бригады начали создаваться по всей стране. Важное значение в организации социалистического соревнования имел переход на договорные начала. Ударные бригады успешно вели борьбу за повышение производительности труда и качество продукции, снижение ее себестоимости, укрепление трудовой дисциплины и совершенствование организации труда. Для работников, которым в 20—40-е годы присваивалось почетное звание У., были установлены дополнительные меры поощрения и льготы. В этот период принципы коммунистического отношения к труду все больше начинают внедряться в производство. Ударные бригады, создающиеся на предприятиях и в учреждениях, являются продолжателями лучших традиций коммунистических субботников (КПСС в резолюциях и решениях съездов, конференций и пленумов ЦК. 9-е изд. М. Политиздат, 1984. Т. 4. С. 497). Ударничество сыграло важную роль в подъеме экономики страны. [c.380]
Совместное влияние исследуемых факторов на скорость чтения устанавливалось методом регрессионного анализа. Для расчета уравнения регрессии были отобраны результаты 1024 опытов, в которых выполнялись следующие условия 1) каждый экспериментатор читал полный набор из восьми текстов 2) тексты прочитывались дважды 3) выбор резолюций был безошибочным. [c.125]
Взаимоотношения предприятия с органами управления обретают экономический характер и должны строиться на основе взаимной материальной заинтересованности и ответственности за результаты совместной деятельности. Это не простой вопрос, и потребуется время, чтобы отказаться от привычных командно-административных методов руководства, используя которые, вышестоящие органы управления фактически не несли ответственности за негативные последствия реализации принимаемых ими управленческих решений. Этот вопрос обсуждался на XIX Всесоюзной конференции КПСС, которая в Резолюции О борьбе с бюрократизмом подчеркнула острую необходимость включения аппарата управления в систему новых экономических связей и тесной увязки оплаты труда управленцев с хозрасчетными результатами работы отраслей, предприятий и организаций, территорий. [c.26]
Принцип единства политического и хозяйственного руководства не означает подмены хозяйственных органов партийными, хотя перекосы здесь известны. Нередко партийные органы занимаются преимущественно хозяйственными функциями в ущерб идейно-политическим, воспитательным функциям. Развитие принципа демократического централизма, переход преимущественно на экономические методы создают все условия для реализации ленинского требования разделения партийных и хозяйственных функций при руководящей роли КПСС в системе управления производством и ее политическом руководстве хозяйственным строительством. Резолюция XIX Всесоюзной конференции КПСС О демократизации советского общества и реформе политической системы однозначно требует четко разграничить функции партийных и государственных органов в соответствии с ленинской концепцией роли Коммунистической партии как политического авангарда общества и роли Советского государства как организации и орудия власти народа . [c.32]
Человек, обладающий интеллектом, глубоко продумывает свой прошлый опыт и извлекает из него уроки. Современные же системы для доказательства теорем и решения задач, постоянно углубляя свои способности к мышлению, полностью пренебрегают предыдущим опытом. Решатель задач, построенный для любого из современных методов организации решающих систем (таких, как метод резолюций [1], GPS [2], REF-ARF [3]), решает ту же задачу каждый раз одним и тем же способом. Такие системы не в состоянии использовать сходство между новыми и старыми задачами для ускорения поиска решения новых задач. Система ZORBA, описанная в этой статье, является примером системы, работающей с некоторым типом аналогий3). Это первый пример системы, которая способна обнаружить отношение аналогии между двумя задачами и выдает на выходе такую информацию, которая может быть полезна для программы решателя задач с точки зрения сокращения времени поиска решения. [c.473]
В 1972 г. А. Кальмероер и Руссель разработали язык логического программирования PROLOG, который в некоторых модификациях используется и в настоящее время для написания интеллектуальных программ. Язык отличается использованием развитого интепретатора логических программ, основанного на методе резолюции Робинсона, простотой программирования. [c.89]
Метод резолюции, предложен в середине 60-х годов. Он относится к той группе методов поиска вывода, которую обычно называют методами опровержения. Это название вызвано тем, что в этих методах вместо поиска вывода некоторого утверждения F ищется доказательство невыводимости отрицания данного утверждения F. Эквивалентность обеих задач вытекает из замкнутости исчисления предикатов первого порядка, в котором используется метод резолюции, т. е. в силу закона исключенного третьего в таких исчислениях из ложности F следует истинность F. [c.227]
Метод резолюции состоит в том, что имеется процедура постепенного подъема вверх по семантическому дереву, в результате которой неблагоприятные вершины поднимаются вверх по ярусам дерева. Подъем происходит до тех пор, пока это возможно. Если таким путем удастся дойти до корневой вершины, т. е. сделать все исходное семантическое дерево замкнутым, то тем самым будет доказана невыводимость F. [c.231]
Теперь можно описать суть процедуры метода резолюции. В множестве дизъюнктов ищут такие два дизъюнкта, которые содержат дополнительную пару. В множество SF добавляется резольвента этих двух дизъюнктов. Процесс повторяется до тех пор, пока в множестве SP не появится пустой дизъюнкт, т. е. нулевая резольвента. Это будет свидетельствовать об окончании процесса доказательства невыводимости F. [c.232]
Мы изложили лишь суть метода резолюций. При проведении процедуры последовательного поиска резольвент возможны различные неприятности, когда очередная резольвента не порождается, или когда процесс зацикливается. Кроме того, при большом количестве исходных дизъюнктов (а их может быть и бесконечно много) требуются специальные меры для ускорения процесса поиска пустого дизъюнкта. И, наконец, как и во всех методах опровержения, для метода резолюции возникает проблема прекращения поиска нулевого дизъюнкта, когда на самом деле опровержение из-за выводимости F в множестве SF получить нельзя. Существует большая литература, посвященная всем этим проблемам, но обсуждение подобных вопросов, важных для повышения эффективности работы планировщиков, опирающихся на реализацию данного метода поиска вывода, выходит за границы нашей книги. Заинтересованные в детальном изучении этих проблем могут ознакомиться с литературой, указанной в комментарии к данной главе. [c.232]
Метод резолюции, конечно, не единственный метод дедуктивного вывода, который может использоваться в системах семиотического управления. Существуют и другие методы планирования, в основе которых лежит логический вывод. О них говорится в частности в комментариях к данной главе. Но у всех подобных методов есть один общий недостаток. Он заключается в том, что в качестве исходных аксиом, с помощью которых будут делаться выводы, необходимо располагать достаточно полным описанием проблемной области. А это вызывает большие трудности и часто приводит к непоправимым ошибкам из-за неполноты исходного описания. Кроме того, отмеченные перед этим трудности, связанные с динамичностью проблемных областей, также ограничивают возможности использования чисто дедуктивных систем формирования решений. Ниже мы расмотрим тот путь, по которому пошли системы планирования решений в практических системах управления. [c.233]
Модификации системы STRIPS, система ABSTRIPS, а также дедуктивные вопросно-ответные системы QA-3 и QA-4, идеи которых легли в основу многих планирующих систем, описаны в монографии [5.4]. Пионерской работой в области метода резолюции была работа [5.5]. Различные способы повышения эффективности стратегий, используемых при нахождении резольвент, описаны в монографии [5.6]. Поиск таких улучшений все время продолжается, так как метод резолюции остается одним из самых популярных среди разработчиков многих практических систем. Однако он не единственно возможный или самый эффективный. Например, обратный метод поиска доказательства, предложенный в свое время известным советским логиком С. Ю. Маеловым [5.7], во многих отношениях превосходит метод резолюции. Этот метод реализован, например, в системе планирования СФИНКС, описанной в уже упоминавшейся монографии [5.4]. Трудности, характерные для имеющихся сейчас процедур вывода, и возможность совмещения этих процедур с некоторыми эвристическими приемами обсуждалась многими авторами. Сводка соответствующего материала приведена в [5.8] и [5.9]. В монографии [5.4] проводится сравнение чисто логических стратегий планирования с теми стратегиями, которые мы обсуждали в 5.7. Некоторые дополнительные соображения по поводу методов планирования, опирающихся на вывод в исчислении предикатов, можно найти в работе [1.1]. Рассуждения о необходимости нелинейных планов, приведенные в конце 5.2, заимствованы из работы [5.10], где излагается описание планирующих систем, допускающих построение немонотонных планов. [c.268]
Вспомним, например, как высказывался по этому вопросу В. И. Ленин еще в 1918 г, Подъем производительности труда требует , по его словам, не только применения новейшей техники, нет, он требует еще повышения дисциплины трудящихся, уменья работвть, спорости, интенсивности труда, лучшей его организации яг, причем в понятие лучшей организации в данном случае Ленин уже в 1918 г. включал и социалистическую организацию соревнования . В резолюции IX съезда ВКП(б) 1920 г. это же соревнование рассматривается как специфически советский метод повышения интенсивности и целесообразности труда , которому придается огромное значение могущественной силой подъема производительности труда,— гласит резолюция,— является соревнование . И это понятно, ибо социалистическое соревнование ведет к подъему творческой инициативы и трудового энтузиазма масс, А значение этого достижения поистине неоценимо, ибо только трудовой подъем и трудовой энтузиазм миллионных масс может обеспечить тот поступательный рост производителъно- [c.417]
При обучении методом разбор почты (разбор папки с корреспонденцией, или баскет-метод ) слушателям вручают папки с одинаковым набором документов, относящихся к деятельности системы, обязанности руководителя которой они исполняют. Задание сводится к тому, чтобы рассмотреть почту, являющуюся типичной для данной системы, и принять по содержащимся в ней материалам обоснованные решения. Каждый слушатель классифицирует документы (в частности, по признаку очень важные, важные, не имеющие существенного значения и не относящиеся к компетенции руководителя заданного уровня), формулирует по ним резолюции, адресует их соответствующим исполнителям и, наконец, обеспечивает координацию действий подчиненных, с тем чтобы не допустить параллелизма б раооте по реализации решении. В то же время заключенная в корреспонденции информация может использоваться и для оценки состояния системы в целом, что позволит сделать некоторые выводы общего характера и разработать на их базе соответствующие рекомендации по совершенствованию ее деятельности. В конце дискуссии проверяется правильность принятых по корреспонденции решений. По тому, как слушатель оперирует предоставленными ему документами и насколько аргументированы составленные по ним резолюции, с достаточным основанием можно судить о мере его профессионального потенциала и компетентности. [c.328]
ЦК ВКП(б) отмечал, что мощные залежи химического сырья остаются почти неразведанными и своей неподготовленностью к промышленной эксплуатации создают угрозу выполнению заданий пятилетнего плана. В связи с этим ЦК ВКП(б) в резолюции О деятельности Северного химического треста (29 августа 1929 г.) предложил ...немедленно начать работу по развертыванию сырьевой базы — разработке фосфоритов, максимальному форсированию разработок калийных удобрений, сернистых колчеданов, хромистых руд и пр. . ..немедленно организовать проработку технологического метода использования низкопроцентного сырья (обжиговых газов, флотационных отходов колчедана, коксовых газов и пр.) . ..срочно закончить проверку в полузаводском масштабе экономичности намечаемых к производству концентрированных и смешанных туков . [c.169]
Новые принципы руководства хозяйством, принятые на сентябрьском, (1965 г.) Пленуме ЦК КПСС и одобренные XXIII съездом КПСС, предопределили необходимость существенной перестройки планирования и организации капитального строительства в химической промышленности. Ч резолюции по Отчетному докладу ЦК КПСС указывалось, что съезд обязывает партийные, советские и хозяйственные организации последовательно проводить разработанные партией принципы экономической политики, предусматривающие сочетание централизованного отраслевого управления с расширением прав союзных республик, усиление роли экономических методов в руководстве хозяйством, коренное улучшение планирования, расширение хозяйственной самостоятельности и инициативы коллективов предприятий... [25, с. 190J. Эти указания съезда легли в основу перестройки организации капитального строительства в отрасли. [c.206]
Исключительно большая роль в этот период принадлежала финансам и кредиту,как рычагам народнохозяйственного планирования. Это было отмечено XIII партийной конференцией в резолюции Об очередных задачах экономической политики . В уо ловиях преобладания мелкотоварного уклада в сельском хозяйстве первенствующее значение имели методы и формы планового воздействия на развитие сельского хозяйства путем регулирования рынка, цен, доходов я накоплений. Эти методы через использование форм стоимости широко применялись и в отношении государственных предприятий. Бюджетное и кредитное планирование играло важнейшую роль в обеспечении плановой увязки развития отдельных отраслей хозяйства. [c.144]
В жизни трудовых коллективов, в борьбе за успешное выполнение хозяйственных планов большая роль принадлежит социалистическому соревнованию. Предметом постоянного внимания партийных, профсоюзных, комсомольских организаций,— говорится в резолюции XXIV. съезда Коммунистической партии Советского Союза по Отчетному докладу ЦК КПСС,— должно быть развитие социалистического соревнования трудящихся как действенного метода экономического строительства, укрепления социалистических отношений между людьми . [c.300]
Решениями XXVII съезда КПСС определен курс на освоение экономических методов хозяйствования, последовательный перевод объединений и предприятий на полный хозрасчет и самофинансирование [1, с. 33]. Задачи перестройки стиля, структур, форм и методов планирования получили дальнейшую конкретизацию в постановлениях январского и июньского (1987 г.) Пленумов ЦК КПСС [2 3], Резолюциях XIX Всесоюзной конференции КПСС. [c.3]
Лит. Ленин В. И., Научная система выжимания пота, Соч., 4 изд., т. 18 его же, Система Тяйлора — порабощение человека машиной, там же, т. 20 е г о ж е, Очередные задачи Советской власти, там же. т. 27 его же, Ложка дегтя в бочке меда, там же, т. 33 КПСС в резолюциях и решениях съездов, конференций и пленумов ЦК, ч. 2—3. 7 изл., М., 1954 Постановления июльского Пленума ЦК КПСС 1955 года. О задачах по дальнейшему подъему промышленности, техническому прогрессу и улучшению организации производства..., М., 1955 Пленум Центрального Комитета Коммунистической партии Советского Союза 24—29 июня 1959 года. Стенографический отчет, М., 1959 О ходе выполнения решений XXI съезда КПСС. О развитии промышленности, транспорта и внедрения в производство новейших достижений науки и техники. Постановление Пленума ЦК КПСС (единогласно принятое 15 июля 196Э г.), М., 1960 Программа Коммунистической партии Советского Союза, М., 1961 Труды Первой Всероссийской Инициативной конференции по научной организации труда и производства 20—27 января 1921 г., вып. 1—6, М., 1921 Вторая Всесоюзная конференция по научной организации труда. Москва, 1924 г. Тезисы докладов, вып. 1 — 2, М., 1924 Резолюции 2-й Всесоюзной конференции по НОТ (10—16 марта 1924 г.), М., 1924 Г а с т е в А., Как надо работать. Практич. введение в науку организации труда, 3 изд., М., 1927 его же, Установка производства методом ЦИТ. Органическое внедрение, М.—Л., 1927 его же, Нормирование и организация труда. (Общее введение в проблему), М., 1929 Центральный институт труда ВЦСПС. Проектирование рабочего состава, его подготовки, организации труда, ч. 1—3, М., 1930 Керженцев П. М., НОТ. Научная организация труда, 2 изд., М., 1925 Машиностроение. Энциклопедический справочник, т. 15, М., 1950 С а т е л ь Э. А., Основы организации и планирования машиностроительных предприятий СССР, М., 1957 Научное управление в американской промышленности. СО. статей, под ред. X. С. Персон, пер. с англ., М.—Л. 1933 Организация производства на промышленных предприятиях США, пер. с англ., т. 1—2, М., 1960—61. [c.16]
Принцип единства политич. и хоз. руководства пром-стью вытекает из ведущей роли КПСС в развитии сов. общества. Он требует правильного сочетания политич. работы с решением задач хозяйственного строительства. Хозяйственные успехи во многом зависят от уровня партийно-политической работы, которая должна быть тесно связана с решением практических задач коммунистического строительства, Мы должньГ заниматься делом, а не резолюциями. В буржуазном строе делом занимались хозяева, а не государственные органы, а у нас хозяйственное дело — наше общее дело. Это самая для нас интересная политика (Ленин В. И., Соч., т. 32, с. 406—07). Хозяйственные органы призваны обеспечивать политич, подход к решению хозяйственных задач, учитывать в работе прежде всего общегос. интересы и преодолевать проявления местничества, узковедомственного подхода. Управление социалистич. производством наряду с адм. методами руководства предполагает воспитание у работников сознательного отношения к труду, развертывание творческой инициативы масс. [c.273]
Изучение, учет и оценка этих форм невидимой скрытой безработицы во всех ее проявлениях требуют больших затрат и предполагают сбор, обработку и анализ широкого круга данных, которые совсем или почти совсем не улавливаются статистическими методами. В связи с этим отметим то место резолюции 13-й МКСТ (1982), где указано, что "по практическим соображениям [c.78]
Прежде всего для нас имеет значение политика в области регулирования рынке. Под ней мы понимаем в первую очередь вопрос политики цен. Позиция наша в этом отношении чрезвычайно проста, и она сводится к следующему мы хотим, чтобы политика цен с.-хоз. продуктов строилась на принципе, что цена должна обеспечить расширенное воспроизводство с.-хоз. товаров. Конечно, это положение не дает ответа на вопрос, какая конкретная цена должна быть в этом или следующем году. Но она дает метод для решения данных конкретных вопросов. Выдвигая указанную формулу, мы подчеркиваем, что последний III съезд Советов в своей резолюции по докладу тов. Каменева, в п. 13, определенно провозгласил по существу эту же формулу, когда сказал, что политика цен должна вестись так, чтобы цены с.-хоз. товаров обсспечиьали крестьянству расширение и укрепление его хозяйства. С этой точки зрения легко решается и вопрос соотношения иен с.-хоз. товаров и промышленных. Если бы существовали "ножницы" междз ними, неблагоприятные для сельского хозяйства, то это значило бы, что цена с.-хга. товаров не обеспечивает расширенного воспроизводства их. Поэтому для нас в приведенной формуле уже лежит ответ и на проблему "ножниц". [c.649]