Дедукция

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

Продукционные модели представления знаний — это множество правил вида ЕСЛИ... (условие применимости) ТО... (простое действие), содержащее левую и правую части. Если левая часть — посылка, а правая — заключение, то мы имеем дело с элементарным логическим актом. Если левая часть — ситуация, а правая — действие, то такая продукция может описывать процесс управления. В диагностике левая часть продукции — симптом правая — диагноз. Подобного рода продукции присущи всем областям знания и сферам деятельности. Например, в области химической технологии это правило может звучать так ЕСЛИ протекающая реакция является экзотермической, И следующая реакция требует более низкой температуры, ТО добавить теплообменник к маршруту технологического потока . Часто правила применяются не на отдельных этапах, а в цепочках индукции или дедукции Например, ЕСЛИ А и В ТОГДА С ЕСЛИ С ИЛИ D ТОГДА Е ЕСЛИ В ТОГДА F ЕСЛИ Е И F ТОГДА G. Значения одних продукций могут входить в условия других, в результата могут образовываться сложные логические цепочки. Вывод может быть прямым (от условия к заключению) или обратным — от гипотетического заключения назад к фактам, которые могли бы обусловить его. Одна и та же форма ЕСЛИ—ТО используется для обоих видов логического вывода прямое построение цепочки действует со стороны оператора ЕСЛИ, а обратное — со стороны оператора ТО. Реализация прямого и обратного логического вывода в интеллектуальных системах возлагается на специальную программу-планировщик [30—34]. [c.43]

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

Теорема дедукции. Ес.чп Р], Р-2.....Р — формулы н 5 — фор- [c.120]

Язык /Ш5 — фреймовый ЯПЗ также поддерживающий МПЗ, в виде ПП. KMS состоит из набора подсистем, каждая из которых использует собственные МПЗ и процедуры вывода. Основные свойства дедукция, основанная на ПП статистический классификатор образов, использующий теорему Байеса линейный дискриминант и другие оценивающие функции, а также получение вывода, основанного на ФР [7]. [c.239]

Дедуктивная часть БЗ содержит ПП. Факты, выведенные путем логических дедуктивных рассуждений, и факты, полученные в ответ на запросы, обращенные к ЛПР, запоминаются в похожих структурах БД. Поскольку точки ветвления решения задачи также представляют собой логические дедукции, они запоминаются в структурах данных, аналогичных фактам. Точки ветвления содержат дополнительный поток управляющей информации, относящейся к иерархии НФЗ. Для дедуктивной части БЗ разница между фактами и точками ветвления очевидна. [c.253]

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

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

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

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

Ранее было отмечено, что структурная организация живой и неживой природы построена согласно принципам унификации и комбинации и включает явления трех типов. Оба принципа (редукционизма и холизма) оказались в основе научного поиска и нашли отражение в логике, как в науке о закономерностях и формах научного и философского мышления, так и в методе анализа индуктивного и дедуктивного способов рационалистической и эмпирической деятельности человека. На индуктивном способе мышления основывается разработка целого ряда научных дисциплин, например квантовой механики атомов и квантовой химии молекул. Фундаментальные положения этих наук базируются в основном на результатах изучения соответственно простейшего атома (Н) и простейшей молекулы (Н2), а также ионов Н , ОН . Тот же способ мышления в биологии лег в основу исследований, приведших к становлению и развитию формальной и молекулярной генетики, цитологии, молекулярной биологии, многих других областей. При дедуктивном способе мышления, ядро которого составляет силлогистика Аристотеля, новое положение выводится или путем логического умозаключения от общего к частному, или постулируется. Классическим примером дедукции может служить аксиоматическое построение геометрии. Мышление такого типа наглядно проявилось в создании периодической системы элементов - эмпирической зависимости, обусловливающей свойства множества лишь одним, общим для него качеством. Д.И. Менделеев установил, что "свойства элементов, а потому, и свойства образуемых ими простых и сложных тел стоят в периодической зависимости от их атомного веса" [21. С. 111]. Тот же подход лежит в основе построения равновесной термодинамики и статистической физики. Оба способа мышления, индуктивный и дедуктивный, диалектически связаны между собой. Они вместе присутствуют в конкретных исследованиях, чередуясь и контролируя выводы друг друга. [c.24]

Эйнштейн руководствовался другой формулой. Высшая цель физика,— сказал он,— состоит в том, чтобы прийти к таким универсальным элементарным законам, при которых космос может быть построен чистой дедукцией. К этим законам нет логического пути только интуиция, основанная на проникновении в смысл опыта, может привести к ним . [c.16]

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

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

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

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

Следуя путеводной звезде Ж. Л. Лагранжа, Р. Клаузиуса, Дж. У. Гиббса, других классиков, опираясь на один из самых мощных методов познания мира - метод математической дедукции (который, кстати, Эрвин Шредингер [7] называл не просто общим, но и страшным методом), удалось построить, как полагает автор, достаточно строгую физическую (физико-химическую) теорию биологической эволюции и старения живых существ [8, 9]. [c.8]

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

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

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

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

Дедукция (от лат. выведение ) — выведение частного из общего, формулирование общего понятия о явлениях и затем переход к определению частных явлений. [c.13]

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

Тем не менее нам не известно ни одного случая, когда дедукция, строгая как физически, так и математически, привела бы к неправильному заключению, но лишь очень немногие выводы теоретической гидродинамики могут быть строго установлены. Для самых интересных из них широко использовались одна или несколько из упомянутых гипотез (А) —(F). [c.17]

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

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

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

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

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

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

Дедукция и индукция находятся в неразрывной диалектической связи. Ф. Энгельс особо подчеркивал взаимосвязь индукции и дедукции. Они связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую на своем месте, а этого можно добиться лишь в [c.301]

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

Из теоремы дедукции может быть получено следствие, если / 1, Р>,. .., Рп — формулы и 5 — формула, то 5 есть логглеское следствие Ри Р ,. .., Г тогда и только то1да. когда фо])мула Р1 Р2 -... Р-Л 3 противоречива, т. е. ложна при всех интерпретациях. [c.120]

И р 1 м е р 2.8. Показать, что 5 ость логическое следствие формул Р/, Рг, Рз, 1ьзу, определение логического следствия (методом подстановки), на >гн(п,1ии 1 теоремы дедукции (р1 р2 р г 3= I) пли следствия из нее (/ 1 = а также методом умножения и методом резолюций.. Чыпо. шим доказательство всеми перечне,тенными здесь методами. [c.121]

Метод, основанный на теореме дедукции. По теореме дедукц 1и 5 является логическим следствием Ри Р2, Рз тогда и только тогда, когда фор. м ла р р2 рз 8 обще шачима, т. е. истинна при всех интерпретациях. Состави.м следующую таблицу истинности [c.122]

Метод, основанный на следствии из теоремы дедукпин. Согласно с.тед-ствию из теоремы дедукции, 5 является, югическим следствием Ри Р2, Рз тчгда и только тогда, когда формула р1 р2 р 8 противоречива, т. е. ложи при все. иитерпретация.ч. Чтобы показать это, составим следующую таб/мту [c.122]

Отличительными чертами этого способа являются 1) умозрительность, приобретающая большую силу абстракции, но лишенная каких бы то ни было эмпирических основ 2) логическая дедукция, претендующая на всеобщность объяснения, но вовсе не опирающаяся на критерий практики 3) выбор совершенно отвлеченного объекта — первоматерии , или субстанции , наделенной всеобщностью, вместо вещества с его спецификой качественных изменений,— словом, все то, что характеризует натурфилософию, в недрах которой этот способ возник и развивался. [c.17]

В процессе преподавания органической химии возрастает роль дедукции. Явление гомологии позволяет переходить от общих суладений о классе соединений к отдельным предстанмте-лям, дедуцировать из общих посылок частные выводы (27, 29). Это обстоятельство следует иметь в виду при построении системы самостоятельных работ. [c.153]

Дж. У. Гиббс, опираясь на общие законы природы, используя метод дедукции, создал самую строгую физическую теорию [1]. Эта безукоризненная термодинамическая теория способствовала вьщающимся успехам в естественных науках и содействовала осознанию окружающего нас мира. По-видимому, наиболее ощутимые результаты были достигнуты в области физико-химических наук с точки зрения выявления движущих сил самопроизвольных процессов, протекающих в мире химических и супрамолекулярных превращений. [c.7]

Отличительными чертами этого способа являются 1) умозрение, приобретающее большую силу абстракции, но лишенное эмпирических основ 2) логическая дедукция, претендующая на всеобщность объяснения, но по сути дела вовсе не опирающаяся на критерий практики 3) всеобщность и многозначность объекта, в качестве которого выступает субстанция, вместо специфичности качественно изменяющегося вещества,— словом, все то, что характеризует натурфилософию, в недрах которой этот способ возник и развивался. Отсюда следует, что это была лишь первая попытка объяснения природы тел и что она ничего не могла дать производственной практике, В самом деле, разве можно было как-то использовать в практике металлургии или фармации атомистические идеи Демокрита или представления об элементах Эмпедокла [c.626]

Экспертные системы способны отыскивать факты, которые отсутствуют в базе фактических данных, но могут быть выведены из нее путем дедукции. Экспертные системы наиболее удачно подходят в ситуациях, когда базы фактических данных и правил слишком велики. Эти системы построены таким образом, что позволяют легко добавлять, стирать или модифицировать факты или правила, проверять согласованность новой информации с существующей базой данных. Те области, в которых уровень знаний имеет скорее качественный, чем количественный характер, очень хорошо подходят для такого варианта обработки, поскольку алгоритмический путь работы с ними обычно невозможен. Большинство эксплуатируемых экспертных систем было разработано в тех областях, где в результате требуется диагноз медицине, геологоразведке, аварийных ситуациях. В химии система DENDRAL [67] способна анализировать масс-спектры неизвестных соединений и предлагать структурные формулы за счет применения частных правил, а не сопоставления с графиками из библиотеки спектров. Большинство работающих экспертных систем базируется на компьютерах основных серий, а использование для этой цели микрокомпьютеров — дело ближайшего будущего. [c.124]

Индукция Еще Д. И. Менделеев в свое время и дедукция, неоднократно подчеркивал, что изу-анализ и синтез чать в научном смысле значит а) не как методы познаниятолько добросовестно изображать или просто описывать, но и узнавать отнощение изучаемого к тому, что известно б) измерять все то, что может подлежать измерению в) определять место изучаемого в системе известного, пользуясь как качественными, так и количественными сведениями г) находить закон д) составлять гипотезы о причинной связи между изучаемыми явлениями е) проверять следствия гипотезы опытом ж) составлять теорию изучаемого Это с необходимостью требует как наличия определенных методов исследования, так и умения пользоваться ими. [c.298]

Справочник химика 21

Химия и химическая технология