admin

Вывод прямой — вывод, ведущий от исходных аксиом к целевому выражению. При В.П. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и

Вызов по образцу — способ поиска информации в базах данных, базах знаний или в оперативной памяти компьютера. В отличие от поиска по адресу хранения, В.П.О.

Высказывание атомарное — высказывание, структура которого далее не расчленяема. В формальных системах В.А. соответствуют базовые элементы. Интерпретация истинности В.А. задается для формальной системы извне и

Генерация текста — процесс порождения текста, включающий выделение фрагмента внутреннего представления, который войдет в текст; формирование схемы дискурса, т.е. последовательности, в которой должна быть изложена

Герменевтика — раздел семантики, изучающий способы выявления содержания текста, в явной форме в нем не выраженного. Поиск скрытого в тексте содержания происходит в результате обращения

Гиперсобытие — специально организованное описание типовой ситуации (кражи, драки, покупки в магазине и т.п.). Г. может представляться в базах знаний различными способами, например, в виде

Гипотеза компактности — предположение о том, что образы в пространстве признаков группируются из изображений (точек пространства), которые могут быть отделены друг от друга гиперповерхностями простого

Грамматика автоматная — формальная грамматика, у которой правила вывода имеют вид b1A1 ® b2A2, b1A1 ® b2,  где A1, A2 — нетерминальные символы; b1, b2

Вывод обратный — вывод, при котором поиск доказательства начинается с целевого утверждения. Выясняются условия, при которых целевое утверждение является выводимым. Эти условия принимаются за новые