Дедуктивная машина

Cтраница 1

Структурно-функциональная организация экспертной системы в среде PDG Prolog. [1]

Дедуктивная машина содержит правила и стратегии логического вывода, определяя уровень интеллекта экспертной системы. Она знает, как использовать знания для решения поставленных перед экспертной системой задач. Фактически дедуктивная машина выполняет функции мониторной системы, определяя, какие знания нужно использовать для решения поставленной задачи, и организуя доступ к ним в базе знаний. Отличительной особенностью систем логического программирования, в частности системы PDC Prolog, является наличие встроенной дедуктивной машины, поэтому вопросы реализации экспертной системы на языке логического программирования сводятся к разработке базы знаний и пользовательского интерфейса. [2]

Структурно-функциональная организация экспертной системы в среде PDG Prolog. [3]

Совокупность дедуктивной машины и пользовательского интерфейса принято называть оболочкой экспертной системы. Помимо указанных выше функций оболочка обеспечивает пополнение и актуализацию ( обновление) информации в базе знаний. [4]

В дедуктивной машине системы KAS эта таксономия используется для выводов о логических отношениях между описательными выражениями. [5]

При этом в качестве дедуктивной машины будет выступать сам внутренний механизм работы системы PDC Prolog, который основывается на методе резолюций и алгоритме унификации. [6]

База знаний - это не дедуктивная машина, которая вам была обещана, а это то, что должна везти подобная машина, поэтому формат, в котором она задается, должен быть точно таким же, как формат базы знаний и в другой области, если дедуктивной машине предстоит работать в этой области. [7]

Управляющая структура, заложенная в дедуктивной машине, может недостаточно согласовываться со способом решения задач новой экспертной системы. [8]

Теперь рассмотрим в общих чертах принцип работы дедуктивной машины. Иногда ее называют программным интерпретатором. ДМ является сердцем любой ЭС, а также оболочек ЭС. [9]

Среди языков программирования PDC Prolog выделяется наличием встроенной дедуктивной машины. Функционирование этой дедуктивной машины основывается на использовании механизма сравнения с образцом, точный математический смысл которого есть алгорифм унификации, рассмотренный выше. В процессе работы PDC Prolog пытается логически вывести необходимые пользователю сведения из представленной ему информации. Эта информация имеет вид фактов и правил. [10]

Главной заботой должно стать построение базы знаний и дедуктивной машины, которые решали бы поставленную задачу. [11]

Обратите внимание, что проверка антецедентов правил заставляет дедуктивную машину работать рекурсивно. Эта рекурсия и реализует обратную цепочку рассуждений. [12]

Вторую функцию СИИ, функцию рассуждений, имитирует решатель, или дедуктивная машина. [13]

Так, машина логического вывода систем KAS и PROSPECTOR отличается от дедуктивной машины EMYCIN прежде всего использованием как прямой, так и обратной цепочек рассуждения. Это позволяет существенно изменять в процессе консультации цели верхнего уровня в ответ на полученную информацию. Кроме того, отказавшись от выполнения обратной цепочки рассуждения путем полного перебора, KAS пытается избежать малоперспективных вопросов при помощи использования эвристической оценочной функции для выбора наиболее многообещающих правил. [14]

В настоящем разделе представлены основные характеристики языка правил системы KAS и ее дедуктивная машина. [15]

Страницы: 1 2 3