Информационные технологии /technologies information ТК 022

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

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

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

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

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

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

Вывод немонотонный — вывод, при котором нарушается свойство монотонности при выводе. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.:

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

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

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