Cтраница 1
Машина логического вывода и интерфейс с пользователем образуют так называемую оболочку. База знаний отделена от ДМ, использующей эти знания. Такое разделение удобно по следующим соображениям. [1]
Машина логического вывода была расширена для работы с неопределенной информацией. [2]
Машина логического вывода CLIPS сопоставляет эти факты и правила и выясняет, какие из правил можно активизировать. [3]
Эффективность машины логического вывода во многом зависит от того, как она осуществляет поиск в наборе правил, когда ищет правила, которые можно выполнять. В отличие от традиционного программного обеспечения, использующего принципы искусственного интеллекта, система GURU предоставляет расширенные средства управления настройкой, в частности поддерживает до 50 различных стратегий поиска. Эффективность также зависит от количества и состава правил в наборе правил. Поскольку система GURU предоставляет разнообразные возможности создания наборов правил, то можно значительно сократить количество правил, необходимых для охвата всех знаний и опыта в конкретной проблемной области. Это приводит к ускорению процесса получения логических выводов, а также к упрощению управления этими правилами. [4]
Так, машина логического вывода систем KAS и PROSPECTOR отличается от дедуктивной машины EMYCIN прежде всего использованием как прямой, так и обратной цепочек рассуждения. Это позволяет существенно изменять в процессе консультации цели верхнего уровня в ответ на полученную информацию. Кроме того, отказавшись от выполнения обратной цепочки рассуждения путем полного перебора, KAS пытается избежать малоперспективных вопросов при помощи использования эвристической оценочной функции для выбора наиболее многообещающих правил. [5]
В качестве машины логического вывода предлагается использовать нейро-сетевую парадигму. [6]
Для системы продукций ( машина логического вывода), где выбор правила, которое следует актуализовать следующим, неоднозначен, она имеет систему предпочтений, основанную на некоторой детерминированной или вероятностной оценке, зависящей от ситуации4, сложившейся к этому моменту. [7]
Интерпретатор ALO выполняет функцию машины логического вывода. [8]
Архитектура одного нейрона первого ( екрытого елоя НС.| Архитектура второго ( выходного слоя НС. [9] |
Предложенная НС в качестве машины логического вывода решений ЭС online позволяет применять вышеописанную ЭС для решения задач текущего контроля и диагностики, как отдельных компонент системы, так и всей системы в целом. [10]
Если база знаний рассматривается как программа, то машина логического вывода представляет собой интерпретатор. Его входной информацией являются выражения языка представления знаний. Результат работы подсистемы заключается в интерпретации входных выражений в соответствии с имеющимися данными. [11]
Совокупность модулей образует базу знаний экспертной системы, а интерпретатор является базовым элементом машины логического вывода. [12]
Теперь, когда в нашем рассуждении возникло слово эксперт, становится возможным увидеть, как вопрос о машинах логического вывода связан с экспертными системами. [13]
В предыдущей главе мы уже упоминали о том, что базовые компоненты экспертных систем, хорошо зарекомендовавшие себя на практике ( машина логического вывода и подсистема представления знаний), могут быть использованы для построения аналогичных систем для других областей приложения. [14]
Общая структура ЭС показана на рис. 3.19. Экспертная система состоит из четырех основныд компонентов: модуля усвоения знаний; базы знаний; машины логического вывода; человеко-машинного интерфейса или системы объяснений. Такая структура ЭС обусловлена организацией программ, которая отлична от органи зации обычных пакетов программ. С традиционных позиций программа представляет собой процедуру и данные, а экспертные системы являются системами, направляемыми базами данных. [15]