Cтраница 3
В третьей главе речь идет о логическом программировании вообще и о языке ПРОЛОГ в частности. Здесь рассматривается также механизм построения вывода в ПРОЛОГе. Логика обеспечивает логическое программирование и ПРОЛОГ выразительным языком и предоставляет теоретическое обоснование, гарантирующее правильность полученных результатов. [31]
Пользоваться анализом связи по уравнениям регрессии желательно при числе членов ряда больше 10; если же число членов будет меньше 10, то следует искать простую графическую связь, в особенности при криволинейной зависимости. При наличии короткого ряда наблюдений построение выводов по методам математической статистики влечет за собой значительные ошибки. В связи с этим весьма важным является расширение периода или ряда наблюдений. [32]
Из этого уравнения ясно, что вид кинетического уравнения - уравнения для одночастичной функции - в той мере, в которой он отражает наличие взаимодействия между частицами, определяется двухчастичной функцией распределения. Поэтому, очевидно, что для построения вывода кинетических уравнений следует изучать двухчастичные функции, для чего следует иметь уравнения, которым такие функции подчиняются. [33]
Мы предложим несколько альтернативных доказательств этой теоремы. Но прежде всего мы должны приобрести некоторый опыт построения выводов и использования аксиом. [34]
Аморален всякий необъективный подход к оценке собственных опытов и наблюдений. Строгость и объективность в анализе любых научных материалов и в построении выводов является условием, обязательным для каждого научного исследования. [35]
Отметим, что параллельно доказательству выводимости в НА формулы 3 y ( ( t у) Л ( угу)) нам необходимо установить еще и некоторый содержательный факт, а именно, общере-курсивность i. Это установление фактически сводится к тому, что мы на каждом этапе индукции по построению вывода повторяем содержательно формальное доказательство 3 y ( t у), которое нам приходится проводить в процессе вывода в НА для вышеупомянутой формулы. [36]
Если существует отмеченное предложение в оставшейся части II, но такового не существует в оставшейся части III, мы добавляем оставшуюся часть II к подножию сконструированной к этому моменту части IV и затем добавляем оставшуюся часть III. В каждом из этих случаев шаг n - f 2 уже не нужен, так как построение вывода IV уже завершено. [37]
Процедура унификации отсутствует в других языках программирования высокого уровня. И хотя в ЛИСПе унификация выступает в качестве основного свойства операций, в этом языке не применяется метод резолюций для построения вывода. Вместе с тем, способность ПРОЛОГа строить эффективные выводы основывается на удивительно слаженном взаимодействии процедуры унификации и резолюции. [38]
При этом придется сделать допущение, что современные процессы торфообразования, если не вполне соответствуют тому, что происходило в каменноугольной эпохе, то во всяком случае им аналогичны и во многом их повторяют. Если это допущение неприемлемо, то мы / должны будем отказаться от экспериментальных попыток установления путей образования горючих ископаемых в природе и основываться на возможности построения выводов лишь по их химическому составу и строению. [39]
Множество понятий, выводимое в корреляционной грамматике из заданного множества базовых понятий и бинарных отношений, образует структуру дискретной сети. Принцип порождаемости, использованный в имитационной модели процесса формирования структуры дискретной сети, обусловливает возможность расширения структуры сети путем пополнения множества базовых единиц и корреляционной грамматики новыми элементами и построения выводов. [40]
Большое значение в формировании молодых ученых имеет живое, непосредственное их общение не только с работниками той же научной специальности и представителями смежных дисциплин, но и с людьми практического труда. Обмен мнениями, коллективные обсуждения специальных вопросов, ознакомление с работами других товарищей чрезвычайно оживляют научную мысль, рождают новые идеи, наталкивают на необходимость пересмотра методики ведения эксперимента, предупреждают построение ошибочных выводов, словом, помогают молодому исследователю более глубоко вникать в свою работу, двигаться вперед, прогрессировать. Плох тот практический деятель, который отгораживается от науки, не оплодотворяет ее достижениями свою производственную работу. [41]
В настоящее время не существует полностью автоматической реализации, способной строить выводы эффективных логических программ из произвольных спецификаций, и по всей видимости в ближайшем будущем они не появятся. Тем не менее имеется ряд реализаций, которые могут удовлетворительно работать во взаимодействии с пользователем, причем они способны не только проверять собственные выводы пользователя, но и сами проявлять некоторую инициативу, направленную на построение выводов. В такого рода реализациях, обсуждаемых Ханссоном и Тарнлундом ( 1979), используется, как правило, система построения натурального вывода, и поэтому они могут обрабатывать спецификации, представленные в неограниченном языке логики первого порядка. Пока у нас еще нет достаточно полного представления о том, как связана общая проблема эффективного управления синтезом программ с уровнем ограничений, накладываемых на язык спецификаций. Для работы с неограниченной логикой первого порядка неизбежно потребуется довольно богатый запас различных правил вывода, наличие которых может привести в ходе каждого конкретного синтеза к появлению большого числа аморфных на вид и не ведущих к цели выводов. [42]
Теперь мы пойдем дальше, опуская во многих случаях символ ( - Таким образом, мы будем говорить допустим А, - и это будет означать, что мы хотим взять А в качестве исходной формулы при построении вывода. Собственно говоря, мы, конечно, ничего не допускаем, а только указываем, что следующие формулы формально выводимы из А ( и любых других введенных нами исходных формул), и это указание надо иметь в виду до тех пор, пока устранение исходной формулы А не будет указано или не будет вытекать из контекста. На каждой стадии такого содержательного изложения данные формулы надлежит рассматривать как выводимые из еще не устраненных исходных формул. [43]
При планировании эксперимента составляют план последовательности выполнения процедур в имитационном моделировании и получают оценки результатов моделирования. Экспериментирование представляет собой процесс имитации с получением необходимых статистических данных, а также прямых и косвенных результатов проектирования. Построение выводов по данным, полученным путем имитации, осуществляется на этапе интерпретации. [44]
Необходимо только выяснить, в чем состоит упомянутая допустимость. Чтобы разобраться в этом, рассмотрим процедуру построения вывода в соответствии с приоритетом исключений на простом примере. [45]