Вывод логический (inference) — рассуждение, с помощью которого делаются выводы по известным предпосылкам.
Примечания.
1 В искусственном интеллекте предпосылкой является либо факт, либо правило.
2 Термин «логический вывод» относится как к процессу, так и к его результату.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Вывод логический —
- Последовательность рассуждений, приводящая от посылок к следствию с использованием аксиом и правил вывода.
- Результат вывода.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Вывод логический (inference) — применение лингвистических правил к входным значениям с целью определения выходных значений.
[ГОСТ Р МЭК 61131-7-2017. Контроллеры программируемые. Часть 7. Программирование нечеткого управления]