Cтраница 2
Наш расчет проведен лишь для того, чтобы показать метод рассуждения. [16]
Использование при обосновании результатов блока анализа данных по принципу прецедента реализует метод экспертного рассуждения по аналогии, который зачастую используется специалистами при решении задач геолого-геофизического прогноза. При анализе по аналогии у эксперта имеются две опции: ( 1) сравнить по некоторому комплексу признаков анализируемую точку со всеми точками изучаемого региона и отобразить в географических координатах сеточное поле значений функции сходства, либо ( 2) построить вокруг анализируемой точки произвольную прямоугольную область в пространстве признаков и отобразить сеточное поле, выделив на нем группы точек, находящихся внутри и вне построенной области. В результате картографически выделяются зоны, похожие по комплексу признаков на анализируемую точку. В эти зоны могут попадать прецеденты - точки с известными оценками прогноза. [17]
Дедупшя ( deduction) - цепь рассуждений от умозаключений до выводов; метод рассуждений, с помощью которого правильность гипотезы ( допущения) проверяется путем сравнения вытекающих из нее выводов с реальными экономическими фактами. [18]
Если же вывод делается на основании разбора всех случаев, то такой метод рассуждений называют полной индукцией. [19]
Если общий вывод делается на основании разбора нескольких случаев, то такой метод рассуждений называется неполной индукцией. Этод метод может привести как к правильному, так и к неправильному результату. [20]
Если вывод делается на основании разбора всех возможных случаев, то такой метод рассуждений называется полной индукцией. [21]
ДЕДУКЦИЯ ( deduction) - цепь рассуждений от умозаключений до выводов, метод рассуждения, с помощью которого правильность гипотезы ( допущения) проверяется путем сравнения вытекающих из нее выводов с реальными экономическими фактами. [22]
Поучительно разобраться, в чем состоит особенность примененного в двух последних примерах метода рассуждения - по сравнению с прочими примерами на почленное интегрирование рядов в бесконечном промежутке. [23]
Название настоящего раздела и его содержание могло бы привести к ошибочному впечатлению, будто метод рассуждений при помощи цепей интервалов полностью принадлежит Лебегу и что применяется он только в теоремах описанного типа. [24]
Несмотря на то, что это относится только к структуре типа корунда, сам метод рассуждения легко может быть распространен и на иные структуры. [25]
Впрочем, интересно, что во всех этих работах больше прослеживается присущая автору глубина мысли и свойственный ему метод рассуждений, нежели приверженность идеям Бора, а также более абстрактным и формальным способам мышления, введенным в физику: человек может изменить свои сознательные убеждения, но не свою натуру. [26]
Итак, можно выделить следующие цели, преследуемые при использовании объяснений в экспертных системах: 1) локализовать ошибки системы путем исследования метода рассуждения; 2) повысить доверие пользователя к системе ( путем объяснения способа получения результата), что в конечном счете способствует положительной оценке пользователем пригодности системы к практическому использованию; 3) достичь взаимопонимания между пользователем и системой ( путем объяснения непонятных терминов, ответов и ситуаций), что повышает вероятность успешного решения поставленной пользователем задачи; 4) обучить пользователя. [27]
Рациональная организация учебного процесса и связанного с ним научного поиска требует также широкого использования рассмотренных в главе II логических форм мыслительной деятельности: методов рассуждений, дедукции, индукции, традукции, анализа и синтеза. [28]
Гильберт, разумеется, полностью отдавал себе отчет в этой дилемме; однако он надеялся, что доказательство полноты и непротиворечивости удастся найти с помощью только небольшой группы так называемых финитных методов рассуждения, признаваемых большинством математиков. [29]
Теорема правильности показывает, что все структурированные программы, выраженные через элементарные, содержащие не более одного предиката, могут быть верифицированы ( за исключением вопроса окончания программ) посредством применения методов рассуждения, требуемых для программ типа последовательность и ifthen-else. Проблемы доказательства правильности могут оказаться слишком трудоемкими, но теоретически они разрешимы. [30]