Cтраница 2
Выполним логический вывод с применением правила резолюции, чтобы установить, является ли формула Р ( иванов) следствием вышеприведенной теории. Другими словами, можно ли вывести из этой теории факт, что студент Иванов станет специалистом в прикладной информатике, если он хорошо сдал экзамен по информационным системам. [16]
Это только логический вывод, но он может быть проверен и подтвержден нагреванием кристалла до температуры около 100, при которой удаляется вода. После этого оказывается, что серебром осаждается только два иона хлора вместо трех, а третий занимает место воды в координационной сфере. При нагревании этого вещества с водой хлор снова вытесняется молекулой воды, и исходное соединение регенерируется. [17]
Приведем логический вывод формулы корректирующего коэффициента, численные значения которого удовлетворительно согласуются с известными экспериментальными данными. [18]
Блок логических выводов адаптирован к работе с неточными данными, для чего используются нечеткая логика, коэффициенты уверенности, бейсовская логика, меры доверия и другие. [19]
Структурная схема типовой экспертной системы. [20] |
Блок логических выводов и диагноза - основной модуль, выполняющий сначала факторный анализ, результаты которого затем используются для логического анализа и оформления диагноза. [21]
Машина логического вывода и интерфейс с пользователем образуют так называемую оболочку. База знаний отделена от ДМ, использующей эти знания. Такое разделение удобно по следующим соображениям. [22]
Процедура логического вывода обычно представляет совокупность процедур обработки сети. [23]
Тип логического вывода, который нас интересует, не явяяется простым, точным и легким. Эксперты - люди, которые во все моменты, как правило, прибегают к неточным - трудным выводам. Именно такие логические выводы мы и будем строить, и наша проблема, в отличие от составления платежной ведомости, заключается в том, что мы даже не знаем, каковы исходные уравнения, не говоря уже о том, как запрограммировать их для получения решения. [24]
Способ логического вывода, при котором истинность выведенных высказываний не уменьшается в процессе вывода. [25]
Аппарат логического вывода в ROSIE выполняет интерпретацию правил, введенных с терминала или взятых из комплектов правил, и обеспечивает дедуктивный доступ к базе данных. Обсудим обе эти функции. [26]
Важность логического вывода становится очевидной уже при рассмотрении простейших информационно-логических процедур. Предположим, например, что некоторая база данных содержит сведения об отношениях х - ОТЕЦ. [27]
Для логического вывода источник того или иного истинного факта не важен ( так как все факты получаются только путем строгого вывода из аксиом); при умозаключениях важно, как получен факт, так как это определяет степень доверия к нему. [28]
Машина логического вывода была расширена для работы с неопределенной информацией. [29]
Компонента логического вывода служит для получения экстенсионалов отношений и атрибутов ( фактов) выбранной проблемной области и для проверки информации, представленной в модели проблемной области, на непротиворечивость. [30]