Единственное правило
Cтраница 3
На сетевом графике мероприятия имеют буквенное обозначение, а кружки, указывающие на начало и окончание мероприятий, пронумерованы. Нумерация кружков произвольна, но единственное правило, которое необходимо соблюдать, при присвоении номеров кружка, это то, что по каждому мероприятию номер кружка, обозначающего его начало должен быть меньше номера окончания мероприятия. [31]
Важный прогресс в автоматическом доказательстве теорем был достигнут Цж А. Робинсоном в 1965 г. Он разработал единственное правило вывода - принцип резолюции, которое оказалось черезвычайно эффективным и легкодоступным для реализации на ЭВМ С тех пор было предложено много усовершенствований принципа резолюции. Автоматическое доказательство теорем прилагалось во многих областях таких, как анализ программ, дедуктивные системы ответов на волросы, системы решения задач и технология роботов. [32]
Так как основным назначением машины в течение долгого времени считали подъем и преодоление тяжестей, еще в античное время была принята точка зрения, что из таких простейших приспособлений, получивших название простых машин, составляются все машины. Основанием для такого убеждения служило то, что едва ли не единственным правилом, которого придерживались строители машин, было правило рычага. [33]
Сначала мы выделяем некоторое множество 1 пропозициональных тавтологий в некотором вспомогательном языке нулевого порядка. & определяется по схеме ( 5) § 10, где в качестве единственного правила вывода берется только тоаи. [34]
 |
Цикл работы интерпретатора. [35] |
В одном цикле может сработать только одно правило. Если несколько правил успешно сопоставлены с фактами, то интерпретатор производит выбор по определенному критерию единственного правила, которое срабатывает в данном цикле. [36]
Основой Пролога ( одного из самых привлекательных языков ИИ) является логика первого порядка, ограниченная хорновскими дизъюнктами и снабженная резолюцией как единственным правилом вывода. Важнейшие аспекты Пролога и введение в программирование на нем приводятся в гл. Здесь же мы лишь установим связь между ним, ОК-грамматиками и формализмом хорновских дизъюнктов. Программа на Прологе представляет собой набор правил ОК-грамматики. [37]
В частности, rjf F для пустого дизъюнкта П - Аксиомы исчисления И заданы приводимым ниже правилом А, а правило Б - единственное правило вывода. [38]
Несомненно, ошибкой ЦК было то, что размер этих трудностей, связанных с демобилизацией, не был учтен. Конечно, надо сказать, что для этого учета опорных пунктов быть не могло, ибо гражданская война была так трудна, что тут единственным правилом было: все для победы на фронте гражданской войны - и только. [39]
Несомненно, ошибкой ЦК было то, что размер этих трудностей, связанных с демобилизацией, не был учтен. Конечно, надо сказать, что для этого учета опорных пунктов быть пе могло, ибо гражданская война была так трудна, что тут единственным правилом было: все для победы на фронте гражданской войны - и только. [40]
Для уточнения сказанного заметим, что для любого исчисления 9 любой метод поиска вывода в нем может быть представлен как способ построения по каждому испытуемому на выводимость объекту S специального исчисления И. Такое представление особенно естественно для современных методов поиска вывода типа метода резолюций: аксиомами соответствующего исчисления HC S являются дизъюнкты из S, а единственным правилом - правило резолюции. [41]
В этом синтаксисе каждое выражение находится в чисто аппли-кативной форме и поэтому может быть представлено графом, в котором единственным типом внутренних вершин являются - вершины. Строго говоря, в этом случае не существует Х - вер-шин, но мы по-прежнему можем допустить существование вершин конструкторов данных. Однако единственными правилами редукции, работающими с такими вершинами, являются применения функций конструкторов и селекторов. В первом случае будет создана новая вершина конструктора, а применение селектора представляется точно так же, как применение любой другой примитивной функции или комбинатора. Никакого копирования не выполняется, и единственным специальным действием является оптимизация, которая меняет порядок выбора редек-сов и может вводить вершины-синонимы, как мы описывали в предыдущей главе. Поэтому нет необходимости специально рассматривать вершины конструкторов данных. [42]
Континуум вариантов капиталовложений, который можно параметрически описать с помощью кривой замещения или производственной функции, на практике встречается очень редко. Число вариантов обычно конечно, и практически всегда есть опасение, что самый лучший из всех реально возможных в данное время вариантов не был рассмотрен. Это опасение оказывает влияние на принятие решений о капиталовложении и переносит акцент с разработки единственного правила выбора варианта капиталовложения на разработку и анализ правил выбора политики капиталовложений. Предельным случаем является ситуация, когда реальнб существует только один проект. До принятия Закона СССР о государственном предприятии ( 1987 г.) конкретно, до введения правила, по которому банки не только хранят денежные накопления предприятий, но и выплачивают предприятиям процент за использование их накоплений, реальной основы для рациональной оценки единственного проекта не было. Решение о капиталовложении в имеющийся проект принимается на основе сравнения прибыли П, получаемой в результате осуществления проекта, и прибыли, получаемой от банка. [43]
Это позволяет использовать различные интерпретаторы правил в зависимости от целей разработчика. Например, один дешевый интерпретатор, предназначенный для быстрой обработки, может на основе анализа слота ЕСЛИ потенциально релевантен определять число подходящих правил и уже затем принимать решение в зависимости от полученного результата. Второй, более традиционный интерпретатор оценивает все слоты ЕСЛИ всех правил и затем, если число подходящих правил больше одного, будет разрешать конфликт, выбирая единственное правило. Третий интерпретатор, оценив сначала, сколько времени имеется на решение задачи, может устранить из рассмотрения все правила, имеющие высокое значение слота Среднее время выполнения, проанализировать далее слоты Если потенциально релевантен и, если правил все еще много, устранить те из них, которые определяют новые фреймы или добавляют задачи к агенде, а для оставшихся правил оценить все слоты ЕСЛИ и выбрать единственное правило. [44]
Направление заходов по отношению к ветру зависит от формы культуры. На банановых насаждениях единственными переменными факторами являются высота растений и плотность насаждений. Однако эти факторы не поддаются влиянию пилота. Единственное правило, которого следует придерживаться, состоит в том, чтобы каждый раз создавать легкий туман ядохимиката в густом насаждении и более плотный туман - в разреженной растительности. [45]
Страницы: 1 2 3 4