Системы информационные /system of information

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

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

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

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

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

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

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

Вывод естественный — вывод, полученный на основании «здравого смысла». В.Е. может либо соответствовать логическому выводу в некоторой формальной системе (но быть для человека очевидным), либо

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

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