Прямая цепочка - рассуждение
Cтраница 1
Прямая цепочка рассуждений предполагает использование правил для дедукции ( логического вывода) новых фактов, а также фактов, которые имплицитно существовали и ранее, но могут быть сделаны явными посредством применения правил. [1]
Подобная прямая цепочка рассуждений на практике неприменима: в системе с реальным числом правил имеется столь много подразумеваемых ( скрытых) фактов, что, будучи обнаружены, они затмят те несколько фактов, которые действительно представляют интерес и являются полезными. [2]
ЭС на базе прямой цепочки рассуждений чаще всего применяются в планировании или проектировании ( см. примеры в разд. [3]
В вышеприведенных правилах используется прямая цепочка рассуждений. Если система составлена из сотен или тысяч правил, то для уменьшения времени выбора правил целесообразно перейти к обратной цепочке рассуждений, т.е. выбирать только те правила, которые соответствуют существующей ситуации, и в системе выполняются только те правила, которые соответствуют фактам, порождающим данную ситуацию. [4]
Это и есть процесс прямой цепочки рассуждений: механизм вывода работает для пополнения изначального запаса истинных фактов фактами, которые подразумеваются посредством набора правил. [5]
Однако системы, основанные на прямой цепочке рассуждений, существуют. Любая такая система имеет дополнительный механизм ( иногда весьма специфичный в зависимости от проблемы) для того, чтобы определить, с каким следующим правилом ей предстоит работать. Вместо, простого цикла, который механически выбирает правила, механизм выбора четко устанавливает приоритет выбора тех или иных фактов и правил. [6]
В литературе по теории доказательства теорем прямая цепочка рассуждений, как правило, ассоциируется с восходящим процессом, т.е. рассуждениями от фактов к целям, а обратная цепочка - с нисходящим процессом, рассуждением от целей к фактам. [7]
 |
Структура экспертной системы. [8] |
Известно несколько схем логического вывода: прямая цепочка рассуждений, обратная цепочка рассуждений и схема, сочетающая достоинства двух предыдущих подходов. Прямая цепочка подразумевает рассуждения, идущие от имеющихся данных к определенному умозаключению, гипотезе. Обратная цепочка подразумевает рассуждения, необходимые для получения данных, подтверждающих или опровергающих поставленные ранее гипотезы. [9]
ЯПЗ, который использует ПП и прямую цепочку рассуждений. Универсальность системы допускает разнообразные структуры представления данных и управления в рамках одной программы. OPS-5 имеет мощный механизм сопоставления с образцом и эффективный интерпретатор для сопоставления ПП с данными, но ему не хватает разнообразных средств поддержки. У него нет встроенного блока объяснения и механизмов приобретения знаний, а имеются только минимальные средства редактирования и отладки программ. OPS-5 и более ранние языки из семейства OPS были использованы для многих приложений в областях психологии познания. [10]
Это примеры программ интерпретации, которые используют прямую цепочку рассуждений. Ниже мы покажем и другие программы, применяющие обратную цепочку рассуждений или обе стратегии для решения одной глобальной проблемы. [11]
В тех экспертных системах, в которых используется прямая цепочка рассуждений, список активизированных правил несет еще меньше полезной для пользователя информации, поскольку на промежуточной стадии вычислений трудно по нему судить, куда же ведет цепочка рассуждений. [12]
В области экспертных систем имеются некоторые разногласия между сторонниками прямой цепочки рассуждений и обратной цепочки рассуждений в качестве стратегии для логического вывода в целом. Прямая цепочка связана с рассуждениями, ведущимися от данных к гипоте зам, тогда как обратная цепочка - с попыткой найти данные для доказательства или опровержения некоторой гипотезы. Чисто прямая цепочка рассуждений ведет к неуправляемому режиму задания вопросов в диалоге, тогда как обратная цепочка будет, как правило, приводить к настойчивому повторению вопросов, касающихся цели. [13]
Программы планирования и проектирования, как правило, используют прямую цепочку рассуждений. [14]
В данной версии ПЗР, как и в версии с прямой цепочкой рассуждений, которую мы рассмотрим далее, большая часть работы совершается правилами confirm и denied. Они используются для проверки конкретных атрибутов животных, которые могут быть обнаружены в процессе диалога и записаны в базу данных. Здесь задействован механизм вопросов-ответов, поэтому нам необходимо подробно рассмотреть эти правила. Ниже следует соответствующая часть программы. [15]
Страницы: 1 2