<<<     ΛΛΛ     >>>   

ВЫВОД НА ЗНАНИЯХ
Вывод, использующий в качестве посылок выражения, хранящиеся в базе знаний В.Н.З. может быть достоверным, если эти выражения являются достоверным, или правдоподобным или снабжены оценками правдоподобия. Как правило, процедуры В.Н.З. включают поиск необходимых знаний для вывода, т.е. процедуру поиск по образцу.

ВЫВОД НЕМОНОТОННЫЙ
Вывод, при котором нарушается свойство монотонности при выводе.

ВЫВОД НЕЧЕТКИЙ
Вывод, при котором используются нечеткие кванторы или значения функций принадлежности. При нечетких кванторах правила вывода определяют тот квантор, который следует приписать результату при заданных значениях кванторов посылок. При использовании значений функций принадлежности правило вывода определяет значение этой функции для результата по значениям функций принадлежности посылок.

ВЫВОД ОБРАТНЫЙ
Вывод, при котором поиск доказательства начинается с целевого утверждения. Выясняются условия, при которых целевое утверждение является выводимым. Эти условия принимаются за новые целевые утверждения и процесс поиска продолжается. В.О. заканчивается, когда все очередные условия оказываются аксиомами или процесс условий обрывается, не приведя к аксиомам. В.О. широко используется в интеллектуальных системах при поиске решений.

ВЫВОД ПО АНАЛОГИИ
Вывод, основанный на перенесении рассуждения из исследованной области на другую область, похожую на исследованную. Если имеется вывод A ® B, и область, в которой определено A, гомоморфна области, где определена C, а область, где определено B, гомоморфна области, где определено D, то вывод A ® B порождает вывод C ® D. В.П.А. есть частный случай правдоподобного вывода.

ВЫВОД ПРАВДОПОДОБНЫЙ
Вывод, при котором каждый шаг сопровождается вычислением оценки достоверности полученного утверждения. Частными случаями В.П. является, например, вывод вероятностный и вывод индуктивный.

ВЫВОД ПРЯМОЙ
Вывод, ведущий от исходных аксиом к целевому выражению. При В.П. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и процесс нахождения цепочки, ведущей от исходных аксиом к целевому выражению, является переборным. Стандартной процедурой, используемой при обходе дерева решений, является процедура возврата - бектрекинг.

ВЫЗОВ ПО ОБРАЗЦУ
Способ поиска информации в базах данных, базах знаний или в оперативной памяти компьютера. В отличие от поиска по адресу хранения, В.П.О. предполагает ассоциативный поиск по содержимому запросу на поиск. (См. Поиск по образцу).

ВЫСКАЗЫВАНИЕ
Логическое выражение, относительно которого всегда можно утверждать, что оно либо истинно, либо ложно.

ВЫСКАЗЫВАНИЕ АТОМАРНОЕ
Высказывание, структура которого далее не расчленяема. В формальных системах В.А. соответствуют базовые элементы. Интерпретация истинности В.А. задается для формальной системы извне и на этой основе определяется интерпретация всех правильно построенных формул формальной системы.

генерация текста text generation
герменевтика hermeneutics
гиперсобытие hyper-event
гипотеза hypothesis
гипотеза компактности compactness hypothesis
глубинная структура (предложения)
грамматика
грамматика автоматная
грамматика контекстно-зависимая
грамматика контекстно-свободная
грамматика контекстно-связанная
грамматика матричная matrix grammar
грамматика неукорачивающая
грамматика падежная case grammar
грамматика сетевая network grammar
грамматика формальная formal grammar
граф graph
графика динамическая animation
графика когнитинвная cognitive graphics
графика машинная

ГЕНЕРАЦИЯ ТЕКСТА
Процесс порождения текста, включающий выделение фрагмента внутреннего представления, который войдет в текст; формирование схемы дискурса, т.е. последовательности, в которой должна быть изложена информация; заполнение схемы дискурса языковыми выражениями. При Г.Т. также учитывается фокус внимания и предотвращения коммуникативных ошибок. (См. Порождение текста. Синтез текста).

ГЕРМЕНЕВТИКА
Раздел семантики, изучающий способы выявления содержания текста, в явной форме в нем не выраженного. Поиск скрытого в тексте содержания происходит в результате обращения к знаниям, являющимся релевантными для данного текста.

ГИПЕРСОБЫТИЕ
Специально организованное описание типовой ситуации (кражи, драки, покупки в магазине и т.п.). Г. может представляться в базах знаний различными способами, например, в виде сценариев.

ГИПОТЕЗА
Частично обоснованная закономерность знаний, или для связи между различными эмпирическими фактами, или для объяснения факта или группы фактов. В интеллектуальных системах Г. порождаются в процессе обучения систем (в частности, при обучении на примерах).

ГИПОТЕЗА КОМПАКТНОСТИ
Предположение о том, что образы в пространстве признаков группируются из изображений (точек пространства), которые могут быть отделены друг от друга гиперповерхностями простого вида. Гипотеза Компактности используется при распознавании образов, когда применяется принцип разделения.

ГЛУБИННАЯ СТРУКТУРА (предложения)
См. Структура глубинная.

ГРАММАТИКА
Совокупность правил формирования правильных предложений в рамках рассматриваемого языка.

ГРАММАТИКА АВТОМАТНАЯ
Формальная грамматика, у которой правила вывода имеют вид
b1A1 ® b2A2, b1A1 ® b2
где A1, A2 - нетерминальные символы; b1, b2 - терминальные символы. Каждая Г.А. порождается некоторым конечным автоматом. И каждый конечный автомат задает некоторую Г.А.

ГРАММАТИКА КОНТЕКСТНО-ЗАВИСИМАЯ
См. Грамматика контекстно-связанная.

 <<<     ΛΛΛ     >>>   

Понятие формальной системы
ФункциЯ переходов термин объясняется в статье автомат конечный
Толковый словарь по искусственному интеллекту современной науки 1 система
Стратегический план учитывает только основные сведения о среде планирования
Istics юЯ язык автоматный язык запросов que функция архитектура