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