Cтраница 1
Возможное заключение пяти подряд неудачных сделок не должно выбивать вас из седла ни психологически, ни материально. [1]
Доя выбора одного из двух возможных заключений используются данные об углеводородном составе газа. [2]
Указывается конечная цель проверки показателей надежности и перечень возможных заключений по результатам испытаний. [3]
Основные идеи. [4] |
Компонента оправдания объясняет пользователю решение системы отказаться от некоторого возможного заключения, заявив, что такие невыполненные условия заблокировали все цепочки рассуждения, которые могут обосновать подобное заключение. Наконец, в базе знаний хранятся правила, факты и информация о текущей задаче, которая может быть полезной при формировании ее решения. Если правила из базы знаний имеют процедурную интерпретацию, то факты играют чисто пассивную роль. [5]
Формула 124 дает модусы с двумя возможными посылками и возможным заключением: мы просто должны прибавить знак возможности к посылкам и заключению правильных ассерторических модусов. [6]
Во многих приложениях матрица В известна, и можно считать, что в нижеследующих теоремах делаются наилучшие возможные заключения относительно чисел а -, если помимо О - дана еще-и В. В действительности В является матрицей невязок, и в гл. [7]
Когда формулы сначала выводят, а потом отвергают, утрачивается простая итеративная структура классических аксиоматических систем ( § 2.1.2), позволяющая строить и перечислять множества возможных заключений. [8]
Доказательство должно привести к тому, что случай К 1 является невозможным. Останется единственно возможное заключение / С 1, а это и требуется. [9]
Доказательство должно привести к тому, что случай К. Останется единственно возможное заключение К - 1, а это и требуется. [10]
Мощность водоносного пласта значительно превосходит мощность нефтеносного. Для выбора одного из возможных заключений могут быть использованы данные о физико-химических свойствах нефти ( вязкость, К п, плотность), данные об углеводородном составе газа ( значительное содержание бутанов и пентанов, низкое значение отношений содержания изомеров и нормальных углеводородов говорят об остаточном характере нефте-насыщения), прямые и косвенные данные. [11]
И должен сказать, что это необычайно абсурдное следствие, совершенно несовместимое с первым условным суждением, которое, как мы знаем, всегда истинно и гласит: Если в парикмахерской нет Аллена, то нет и Брауна. Поскольку причиной возникшего противоречия служит гипотеза Карра в парикмахерской нет, отсюда следует единственно возможное заключение: Карр сейчас находится в парикмахерской. Я затрудняюсь сказать, сколько еще времени мог бы продолжаться спор между моими дядюшками. [12]
Если типовая задача выполнена успешно, поставщик считается выбранным. Если же задача не выполнена, на основании соотношения доход / издержки выбирается следующий поставщик для выполнения типовой тестовой задачи и принятия решения о возможном заключении контракта. [13]
Системы MYCIN [184] и HEARSAY - П Ш представляют собой хорошую контрастную пару для иллюстрации многих из этих принципов. В основе подхода к диагностике, использованного в системе MYCIN, лежит исчерпывающий поиск с использованием рассуждений в обратном направлении, дополненный числовой эвристической комбинационной функцией, позволяющей ранжировать конкурирующие гипотезы. В процессе полного перебора в этой системе рассматриваются все возможные антецеденты для всех возможных заключений, за исключением тех, обойти которые позволяют прежде полученные данные. В методе обратных рассуждений системы MYCIN данные собираются путем регрессии от возможных заключений к соответствующим антецедентным условиям, а от этих условий к требующимся для них данным с применением, если необходимо, рекурсии. Примененный в этой системе алгоритм определения коэффициентов уверенности, численных оценок правдоподобности, является эвристическим приемом для комбинирования ненадежных и неполных данных с экспертными правилами логического вывода. [14]
Хотя она была спроектирована независимо от какого-либо специального приложения, на нее сильно повлиял опыт по построению медицинских консультационных моделей, которым обладали ее разработчики. Наиболее подходящие типы консультационных задач для системы EXPERT - это классификационные задачи, которые имеют заранее определенный список возможных заключений, из которого может выбирать программа. [15]