Cтраница 2
Его можно рассматривать как ориентированное на допущения решение задач в противоположность целенаправленной сущности метода построения вывода сверху вниз. Первое всестороннее исследование общего решения задач в логике дизъюнктов было выполнено Ковальским ( 1974а), который проиллюстрировал много различных стилей как представления знаний, так и рассуждений. [16]
Многими авторами отмечалось, что задание грамматики языков программирования в виде БНФ недостаточно для адекватного построения вывода анализируемой части программы, так как БНФ-фрагменты часто сопровождаются различными ограничениями, учитывающими зависимость контекстов. Например, программа, хотя и правильная по форме, может не восприниматься транслятором, если не все метки команд переходов в этой программе соответствуют меткам операторов. Флойд, доказавший, что множество программ языка АЛГОЛ-60, удовлетворяющих правилам и ограничениям грамматики этого языка, не является КС-языком. В связи с этим возникает вопрос об адекватных методах синтаксического разбора предложений языков программирования, учитывающих зависимость между отдельными фрагментами предложения. В общем случае, если требовать очень многого, то это уже вопрос описания семантики языка, если же требовать малого, то некоторые ограничения, легко учитываемые на синтаксическом уровне, придется отнести к описанию семантики, что затруднит ее понимание. До-нован заметил по этому поводу, что вопрос о том, что описывают канонические системы, специфицирующие контекстно-зависимые части языка программирования, синтаксис языка или его семантику, является академическим. Действительная цель состоит в том, чтобы использовать описание языка для получения каких-то результатов, касающихся языка и его трансляции. [17]
Описанный способ определения величины Т применим в основном для преобразователей больших размеров, когда возможно построение сложного механического вывода из корпуса преобразователя. [18]
Прежде чем доказывать теорему Геделя о полноте исчисления предикатов, мы должны приобрести некоторый опыт построения выводов в этом исчислении. [19]
В это время сформировалась ветвь математики, получившая название математической логики, которая начала изучать проблему построения выводов с формальных абстрактных позиций. [20]
Все они установили основной факт, согласно которому поиск данных в модели традиционной СБД содержится в стандартных механизмах построения выводов в логических интерпретаторах. В статье ван Эмдена этот факт прямо демонстрируется путем использования логики для переформулировки разработанной Злуфом ( 1975) системы Query - by - Example. [21]
С помощью понятия схемы модели для известной системы аксиом и правил вывода в логике ветвящегося времени сформулирован эффективный алгоритм построения вывода общезначимых формул из аксиом. [22]
Главное значение пропозициональной логики и логики предикатов состоит в том, что с их помощью определяются математические модели, позволяющие доказывать истинность или ложность одних утверждений путем построения вывода из множества других утверждений или предположений. [23]
Переменная х, приписанная к символу Н в качестве верхнего индекса в двух из этих правил, отмечает применение правила 9 или 12 по отношению к х при построении результирующего вывода. [24]
Несмотря на все эти преимущества, возникают, однако, и практические трудности: довольно часто между спецификацией и целевыми процедурами не существует логической близости в том смысле, что построение требуемых выводов представляет собой непростое упражнение в доказательстве теорем. Чаще всего это случается тогда, когда в логике программы учитываются очень тонкие свойства проблемной области, как это может быть во многих математических и естественно-научных приложениях. На сложность доказательства подобных свойств выбор формальной системы программирования значительного влияния не оказывает. [25]
Эволюция технического обеспечения новых ЭВМ от последовательных управляемых процессами машин фон Неймана по направлению к многопроцессорной архитектуре, обеспечивающей параллелизм, режимы потока данных и встроенные механизмы ( такие как сопоставление с образцом) и разработанной специально для нужд формализмов, основанных на построении вывода, также внесет радикальные изменения в способ реализации логики как языка программирования. [26]
Тем временем необходимо продолжить изучение вопросов, связанных с чисткой в водных и неводных системах, главным образом в направлении формулировки окончательных заключений о действительной ценности данных, обоснованность которых пока еще сомнительна. Построение имеющихся выводов включает в себе данные об определении количества удаленного из ткани искусственного пятнообразующего вещества. На почве этих данных успел возникнуть внушительный по своему объему теоретический материал. Об этом будет сказано подробнее в последующих главах. Но прежде всего необходимо запомнить следующее важное обстоятельство: результаты наблюдений и построенные на них выводы - все это основано на предположении, что одновременно с количественным определением удаления углеродного пятнообразующего вещества измеряется нечто такое, что прямо пропорционально моющей способности. [27]
В приводимых ниже иллюстрациях синтеза логических программ мы принимаем в качестве стандартного метода синтеза вывод процедур: каждая процедура программы логически выводится из заданной полной, непротиворечивой, очевидно правильной спецификации, целиком записанной на языке логики первого порядка. Управление процессом построения вывода основывается на соображениях алгоритмической полезности предпринимаемых шагов, которая оценивается неформально. [28]
В частности, если формула А является тавтологией, то секвенция h А выводима в исчислении секвенций. Теперь индукцией по построению вывода в исчислении секвенций надо доказать такой факт: если секвенция выводима в исчислении секвенций, то представляющая ее формула выводима в ( обычном) исчислении высказываний. [29]
Статистический контроль качества ( СКК) давно хорошо зарекомендовал себя на промышленных и торговых предприятиях, в лабораториях и научных организациях. В его основе лежит построение выводов о будущем производственном процессе с помощью математико-статистических методов. Возникающий в ходе измерений поток информации учитывается и обрабатывается статистическими методами. [30]