Система дедуктивная

В алгоритмах синтеза обычно используются элементы более чем одного из рассмотренных подходов. При реализации подхода необходимо выбрать правила формирования и преобразования описаний, формы представления элементов и структур. Такой выбор в общем случае можно представить с помощью некоторой дедуктивной системы. Дедуктивной системой (исчислением) 8 называется совокупность множеств 5 = <Б, X, А, П>, где Б —алфавит исчисления X —множество букв, не совпадающих с буквами алфавита Б и служащих для обозначения переменных А —множество аксиом исчисления, под которыми понимаются задаваемые исходные формулы (слова) в алфавите Б П — множество правил вывода новых формул в алфавите Б из аксиом и ранее выведенных правильных формул. Формулой называется высказывание или совокупность высказываний, связанных логическими связками отрицания, дизъюнкции, конъюнкции, импликации, равнозначности. Выводом формулы Р в дедуктивной системе называется такая последовательность формул, заканчивающаяся Р, в которой любая из формул относится к аксиомам или является непосредственным следствием каких-либо предыдущих формул. [c.62]

В четвертом издании значительно перестроено изложение разделов Статика (введены элементы дедуктивного изложения материала при рас> смотрении вопросов приведения и равновесия системы сил), Кинематика (в отдельный параграф выделена кинематика сложного движения точки при переносном поступательном движении) и часть Динамики . [c.2]

Объект исследования в термодинамике называют термодинамической системой или, в простом случае, термодинамическим телом. Одна из особенностей метода термодина-мики состоит в том, что система (тело) противопоставляется всем другим телам, которые называют окружающей средой. Термодинамика построена дедуктивно частные выводы получены из общих законов (начал). [c.5]

Будет поле.зно предупредить, что эмпирические соображения, которыми мы будем руководствоваться при формулировке вышеупомянутых принципов, имеют, строго говоря, только ориентирующее значение, как стимулы к определенным наглядным представлениям. Полное оправдание системы постулатов, к которой мы, таким образом, будем приведены, мы будем в состоянии дать только впоследствии, установив согласие реальных физических фактов с теоретическими следствиями, которые мы шаг за шагом выведем из этих постулатов дедуктивным путем. [c.297]

И действительно, его Аналитическая механика сыграла роль сочинения, открывшего новый этап в развитии механики. Основная для Лагранжа идея построения механики как систематического и гармоничного здания, возводимого на фундаменте единой общей предпосылки, пронизывает Аналитическую механику . И это стремление к систематичности и изяществу выражений, к математической законченности построения нашло восторженную оценку у другого великого мастера математического анализа проблем механики — Гамильтона. Во введении к своей работе Общий метод динамики Гамильтон говорит Лагранж, может быть, сделал больше, чем все другие аналитики, для того, чтобы придать широту и гармонию таким дедуктивным исследованиям, показав, что самые разнообразные следствия относительно движения системы тел могут быть выведены из одной основной формулы красота метода настолько соответствует достоинству результата, что эта великая работа превращается в своего рода математическую поэму ). [c.795]

Следующим этапом в производственной мыслительной деятельности оператора являются анализ и переработка полученной информации для принятия решения, а также процесс принятия самого решения. Психологическое содержание этого этапа включает в себя высшие познавательные действия, акт мышления. Пока психология об интеллектуальных процессах в производственной мыслительной деятельности оператора многого дать не может. Вместе с тем, по-видимому, именно здесь коренится главное условие оптимального распределения функций между человеком и машиной в системе управления. Однако художника-конструк-тора это не должно останавливать. Художник-конструктор так же, как и психолог, изучает деятельность человека и старается своими методами и средствами ее оптимизировать. Поэтому он должен сам строить всевозможные гипотезы на предмет оптимизации дальнейших этапов производственной мыслительной деятельности оператора (дедуктивные, аб- [c.20]

То, что в основу кладется столь общее положение, определяет дедуктивный характер изложения, который во многом напоминает теорию скользящих векторов. (См., например, [1, 2].) Очевидно, однако, что разница между геометрической статикой и теорией скользящих векторов состоит не в том, какой метод применяется для построения, индуктивный или дедуктивный, а в конкретной или абстрактной трактовке излагаемых понятий. При изложении статики наряду с вопросами эквивалентности системы сил рассматриваются чисто физические вопросы, такие как, например, понятие силы, связи и их реакции, третий закон Ньютона и др. Теория же скользящих векторов излагается абстрактно. [c.100]

Показано, что введение закона эквивалентности в качестве основы построения курса статики придает изложению дедуктивный характер и позволяет значительно сократить время, необходимое для чтения таких вопросов, как теория пар, приведение системы сил к центру, уравнения равновесия и некоторых других. [c.120]

Отсутствует неоправданная фиксация внимания учащихся на традиционном объекте изучения — абсолютно твердом теле. Дело в том, что для студентов многих специальностей этот объект сам по себе не представляет серьезного интереса. Между тем, обычная теоретическая механика — чуть ли не на 70% механика именно твердого тела. В обычном курсе вопросы механики твердого тела подвергаются специальному изучению (например, в статике и кинематике). Связь этих разделов с высшим концентром чувствуется слабо. В предлагаемой схеме механика абсолютно твердого тела вытекает из механики произвольной системы материальных точек. Такой дедуктивный подход прежде всего способствует лучшему пониманию общей теории. Кроме того, он позволяет дозировать объем разделов, посвященных механике твердого тела сокращая их в случае надобности без особого ущерба для остальной части курса. [c.75]

С присущей термодинамическому описанию неопределенностью механического состояния молекул системы. Подробное изложение- этой вероятностной интерпретации термодинамики составляет предмет статистической механики, созданной Больцманом и Гиббсом. Однако пока мы отложим это более глубокое обоснование термодинамики и вернемся к нему после того, как построим феноменологическую термодинамику дедуктивным путем, исходя из первого и второго законов. [c.37]

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

Каким образом систему синтеза можно описать в виде дедуктивной системы [c.79]

Формальные грамматики можно рассматривать как частный случай дедуктивных систем, в которых исходный символ 5 заменяет систему аксиом А—множество априорно заданных совокупностей элементов, а в множество правил наряду с подмножеством Р синтаксических правил подстановки входит подмножество О семантических правил, представляющих собой правила трансформации одних совокупностей элементов в другие. Системы формального синтеза (см. 3.1) можно описать как дедуктивные системы. [c.263]

Проверка условий заключается в присвоении переменным в антецедентах А значений, соответствующих текущему состоянию БД, и в определении значений А. Основой блока проверки условий является выбранная для данной ЭС дедуктивная система. Исчисление предикатов первого порядка можно применять только в случаях, когда знания о предметной области полны и имеют детерминированный характер. Но обычно экспертные данные недостаточно полны и определенны. Поэтому напрашивается применение вероятностного подхода, при котором каждый из атомов, составляющих А, выполняется с некоторой вероятностью. Реализация вероятностного подхода требует знания большого числа условных вероятностей, поэтому применяется подход, основанный на формализмах нечеткой логики. Истинность каждого высказывания в нечеткой логике устанавливается не абсолютно, а с некоторым коэффициентом, называемым коэффициентом принадлежности или коэффициентом доверия. Например, высказыванию Х= = устройство надежно можно поставить в соответствие значение коэффициента доверия лх = 0,1, если среднее время Т между отказами менее 10 ч. Это утверждение лаконично выражается следующей записью цд (Г<102)=0,1. Для других значений Т коэффи- [c.316]

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

В аксиоматической термодинамике Колемана рассматривается эта же самая формулировка (2.8.15), но здесь ей приписывается статус постулата. Поэтому существование обеих величин — абсолютной температуры и энтропии — здесь постулируется для каждого состояния системы, не находящейся в равновесии эти две величины рассматриваются как первичные понятия, подчиняющиеся только неравенству (2.8.15). В дальнейшем уже не делается попыток обосновать гипотезы, которые апробированы в термостатике и которые теперь выводятся дедуктивным образом как некоторые частные случаи. Как использовать обе теории термодинамики, чтобы сформулировать опре-. деляющие уравнения для термомеханических явлений, будет показано в следующих разделах. Сейчас же мы рассмотрим несколько вариантов формулировки (2.8.15). [c.118]

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

Существует множество способов реализации методов поиска решений и построения процедур вывода в системах с искусственным интеллектом. Примерами таких методов могут служить методы перебора, эвристические методы, метод редукции, дедуктивные методы и т.д. Применение тех или иных методов зависит от размера пространства поиска, специфики проблемной области, уровня определенности и надежности знаний и данных, динамики проблемной области, способа представления знаний и т.д. [c.129]

Ньютон, исходя из открытых к этому Бремени трех законов Кеплера о движении планет Солнечной системы, дедуктивно установил, что для того чтсбы могло возникнуть видимое движение планет, на них должна действовать сила, направленная к Солнцу и равная [c.88]

Система ориентировки с подвижными осями в теле. В предыдущих параграфах мы показали с различных точек зрения, насколько выигрывает в смысле дедуктивной простоты и пригодности к выражению конкретных вопросов уравнение моментов количеств движения (относительно центра приведения О, закрепленного или совпадающего с центром тяжести), когда вместо галилеевых осей мы обра- [c.148]

Лит. Горелик Г. С., Колебания и волны, 2 изд., М., 19 9 Бреховсквх Л, М., Волны в слоистых средах, 2 илд., М., 1973, гл, 6 Ч е р н о в Л. А., Волны в случайно-неоднородных средах, М., 1975, ч. 1. М. А. Исакович. ГЕОМЕТРИЧЕСКАЯ ОПТИКА раздел оптики, в к-ром изучаются законы распространения света в прозрачных средах и условия получения изображений на основании матем, модели физ. явлений, происходящих в оптич. системах, справедливой, когда длина волны света бесконечно мала. Положения Г. о, имеют значения первых приближений, согласующихся с наблюдаемыми явлениями, если эффекты, вызываемые волновой природой света, — интерференция, дифракция и поляризация — несущественны. Выводы Г, о. строятся дедуктивным методом на основании неск. простых законов, установленных опытным путём [c.438]

Зародившись в теории простых машин как простое следствие закона равновесия рычага, принцип возможных перемещений приобреталчвсе большую общность и самостоятельность. Из индуктивного следствия (из закона моментов ) он постепенно превратился в начало, из которого уже дедуктивным путем извлекали новые результаты. В руках Галилея начало превратилось в средство для изучения равновесия и твердых и жидких тел. Наконец, Декарт положил это начало в основание всей ст атики, используя его как единый исходный принцип. Он же обратил внимание на различие между применением принципа к малым и к конечным перемещениям. После появления Трактата Декарта оставалось сделать две вещи распространить действие принципа на равновесие любых систем (а не только простых машин) и каким-либо образом освободить от трудностей, связанных с конечными перемещениями точек системы. Само собой разумеется, что оставался еще вопрос о доказательстве принципа. Решением этих задач занялась механика XVHI в. [c.136]

Для решения большинства своих задач гидроаэро- и газодинамика применяют строгие математические приемы интегрирования основных дифференциальных уравнений при установленной системе граничных и начальных условий или другие эквивалентные им математические методы (например, конформное отображение в задачах плоского движения идеальной жидкости). Для получения суммарных характеристик используются такие общие теоремы механики, как теорема количества и моментов количеств движения, энергии и др. Однако большая сложность и недостаточная изученность многих явлений вынуждают механику жидкости и газа не довольствоваться применением строгих методов теоретической механики и математической физики, столь характерных, например, для развития механики твердого тела, но и широко пользоваться услугами всевозможных эмпирических приемов и так называемых нолуэмпирических теорий, в построении которых большую роль играют отдельные опытные факты. Такие отклонения от чисто дедуктивных методов классической рациональной механики естественны для столь бурно развивающейся науки, как современная механика жидкости и газа. [c.15]

Теоретическая механика относится к разряду так называемых дедуктивных наук, в основе которой лежит определенная система аксиом (основных законов) или собрание важнейших О пытных фактов, являющихся синтезом огромного исторического опыта и Практики человечества в области изучения механических явлений природы. Принятая система аксиом определяет область существования самой науки, ее лицо, тенденции формирования и развития всех без исключения ее физических идей и методов. [c.83]

Новый основной принцип прямейшего пути Герц сформулировал как эмпирический основной закон каждое естественное движение самостоятельной материальной системы состоит в том, что система движется с постоянной скоростью по одному из своих прямейших путей. Это положение объединяет обычный закон энергии и принцип наименьшего принуждения Гаусса в одно утверждение... Если бы связи были разрушены (на один момент), то массы рассеялись бы в прямолинейном и равномерном движении... Это первый и последний основной принцип механики. Из него и допущенной гипотезы скрытых масс дедуктивно выводится содержание механики [27]. В предложенном законе Герц усматривает также объединение первого закона Ньютона и принципа наименьшего принуждения Гаусса, а в числе преимуществ отмечает, что метод бросает яркий свет на разработанный Гамильто- [c.85]

Хотя в формулировке определяющих уравнений микроскопические величины, вообще говоря, не фигурируют, при выборе определяющих переменных и определяющих уравнений должны быть удовлетворены определенные физические и математические условия. Теория определяющих уравнений, таким образом, приобретает сходство с математической теорией, следующей определенной дедуктивной схеме, как только принято некоторое число постулатов и основных принципов. Зти принципы являются не чем иным, как формализацией а priori принятых гипотез, оправдавших свою эффективность и полезность как в специальных применениях, так и в повседневном опыте. Эти принципы дают методы построения подходящей системы определяющих уравнений и накладывают ограничения на их форму. Они имеют, таким образом, эвристическую ценность. Невозможно дать им строгое обоснование, поэтому они не могут быть включены в какую-либо логическую схему. Для рассматриваемой здесь теории уравнений рассмотрим следующие принципы. [c.105]

Ключевой проблемой прц построении экспертных систем [1] является проблема представления и использования знаний, которыми обладают эксперты, т.е. люди, имеющие существенный и положительный опыт при решении задач определенного класса. Это справедливо, естественно, и для экспертных систем в САПР. Исходя из анализа классов решаемых задач, а ими являются задачи выбора параметров проектирования, определения вариантов проектирования и обнаружения аналогов проектируемому изделию, в качестве моделей представления знаний предлагаются системы условных нечетких высказываний, с помощью которых экспертами описываются характеристические признаки проектируемого изделия. Совместно с методами дедуктивного и индуктивного нечеткого логического вывода, применяемого для решения поставленных задач, фактически приходим к модели, удачно сочетающей в себе как декларативное, так и процедурное представление знаний. Кроме того, использование нечеткости при построении условных высказьтаний позволяет формально включать в них значения экспертов, выраженные вербальными категориями типа много , средне , мало , часто , вероятно , приблизительно столько-то и т.п. [c.3]

Допустим, имеется множество элементов, которые рассматриваются в контекстуальном отнощении. Множество элементов, которые нужно смоделировать, может быть образовано посредством дедуктивной логики, каузальных наблюдений, эмпирических данных, мозгового щтурма или любой комбинацией этих приемов. Наиболее важная роль в этом методе отведена тому, что одно из определений исходного множества элементов является естественной и важной частью процесса. Частичное или полное описание системы может принять одну из двух различных, однако связанных форм бинарной матрицы направленного графа (или сети) для геометрического представления отношений [97, 171, 172]. [c.215]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...