Cтраница 3
При выборе пути решения задач технологического проектирования следует выделить три основных подхода, основанных на: 1) установлении отношений между свойствами изделия и производственной системой; 2) использовании информационно-поисковых систем для отыскания типовых, групповых или ранее разработанных единичных ТП, обеспечивающих наилучший вариант изготовления изделий; 3) проектировании методом рассуждений. [31]
Для читателей детективных выдумок привычно, что фальшивая нить запутывает повесть и отдаляет ее разрешение. Метод рассуждения, навязываемый интуицией, незерен и приводит к ложным идеям о движении, которые сохранялись в течение столетий. [32]
Метод рассуждения, в котором заключения делаются от частного утверждения к общему, называется индуктивным или индукцией. При этом если утверждение распространяется на случаи, не подвергшиеся наблюдению, то индукция называется неполной. Рассмотренный пример показывает, что заключения, основанные на неполной индукции, могут оказаться ошибочными. [33]
Этот метод рассуждения очень часто применяется при решении практических задач статики. В задачах динамики его следует использовать с осторожностью, помня, что при повороте тела могут поворачиваться и силы. [34]
Если мы хотим избежать трагических ситуаций типа несчастья в местечке Трехмильный остров или еще худших, в наших экспертных системах должны быть предусмотрены расспрашивание и инспекция. Короче, метод рассуждения, который не может быть объяснен человеку, является неудовлетворительным, даже если с ним система работает лучше, чем специалист. [35]
Меньшевистская тактика выступает перед нами как фальсификация марксизма, как прикрытие марксистскими словечками антимарксистского содержания. В основе этой тактики лежит метод рассуждения не марксистов, а либералов, переодетых марксистами. Чтобы убедиться в атом, достаточно бросить общий взгляд хотя бы на историю и результаты буржуазной революции в Германии. [36]
В заключение отметим, что система EL является примером программы, в которой правдоподобные рассуждения предусмотрены организацией системы. Для анализа электрических цепей в ней используется метод прямых рассуждений символьного характера. При анализе сложных устройств EL необходимо сделать предположения о наличии линейных участков. Процедура возвращения, опирающаяся на зависимости, позволяет системе восстанавливаться в случае некорректных предположений. В ней также используется очередь с приоритетами для упорядочения выполнения задач, благодаря которой противоречия обнаруживаются достаточно быстро и непосредственные следствия из предположений рассматриваются до того, как будут сделаны новые предположения. [37]
Дается обзор систем аргументации и показывается, что теория аргументации может успешно применяться для организации абдук-тивного вывода. Излагаются подходы к вычислению абдуктивных объяснений, описывается метод вероятностных абдуктивных рассуждений и дается применение абдукции и аргументации в логическом программировании. [38]
Индукция бывает полная и неполная. Если вывод делается на основании разбора всех возможных случаев, то такой метод рассуждений называется полной индукцией. Он приводит к правильному результату и применяется тогда, когда число случаев конечно и не очень велико. Например, доказать, что каждое натуральное число п, удовлетворяющее неравенству 2п15, либо является простым числом, либо его можно представить в виде произведения не более трех простых множителей. [39]
Конт выходит за пределы семьи ( с ее этосом непосредственно проявляющейся симпатии), его метод рассуждения меняется. В качестве таковой он и фигурирует у Конта в собственно социальной сфере, где акцентируется уже не столько общность социального с биологическим ( биологичность социального и социальность биологического), сколько их различие. [40]
Несомненный интерес для обучения и научной подготовки студентов представляют методы, базирующиеся на правилах логической организации умственного труда в определенной связи с анализом и синтезом явлений. Наиболее распространенными являются четыре таких метода: метод простого рассуждения, позволяющий приводить в систему мысли на основе наблюдения и другой инфор-мации в простой логической связи; метод сложного рассуждения, требующий рассмотрения разносторонних связей и их анализа; метод свободного рассуждения, основанный на индуктивных, правдоподобных предположениях; метод доказательного рассуждения, основанный на использовании строгих доказательств, подтверждающих рассуждение. [41]
Несомненный интерес для обучения и научной подготовки студентов представляют методы, базирующиеся на правилах логической организации умственного труда в определенной связи с анализом и синтезом явлений. Наиболее распространенными являются четыре таких метода: метод простого рассуждения, позволяющий приводить в систему мысли на основе наблюдения и другой инфор-мации в простой логической связи; метод сложного рассуждения, требующий рассмотрения разносторонних связей и их анализа; метод свободного рассуждения, основанный на индуктивных, правдоподобных предположениях; метод доказательного рассуждения, основанный на использовании строгих доказательств, подтверждающих рассуждение. [42]
Доказательство, которое мы приводим ниже, является принадлежащим Дьедонне упрощением первоначального доказательства Картана. Метод рассуждений применим на самом деле к произвольным ( неассоциативным) алгебрам, и мы приводим здесь утверждения в этой общей форме. [43]
Изучение самой математики получило название метаматематики или, иногда, металогики, поскольку математика и логика тесно переплетены. Что является законным методом рассуждений и что - незаконным. Поскольку рассуждения велись на каком-либо естественном языке, скажем, французском или латинском, всегда были возможны двусмысленные и неясные толкования. Одно и то же слово может иметь разные значения для разных людей, вызывать различные образы, и так далее. Хорошей и важной идеей казалось установление единой нотации, с помощью которой велись бы все математические рассуждения, так чтобы два математика всегда могли договориться о том, верно ли предложенное доказательство. Эта задача потребовала бы кодификации всех общепринятых методов человеческих рассуждений, по крайней мере постольку, поскольку они приложимы к математике. [44]
Практика дотаций, существовавшая в течение длительного исторического периода и существующая еще и сейчас, не может служить обоснованием узаконивания дотаций вообще. Другими словами, присвоение государством права перераспределять доход государственных предприятий служит для В. Я. Яковца теоретической базой отрицания ренты. Здесь мы наблюдаем типичный пример партийного метода рассуждений от социалистической практики к обосновывающей ее теории. [45]