механизм вывода
Смотреть что такое "механизм вывода" в других словарях:
Механизм вывода — в системах искусственного интеллекта процедура нахождения решений задач. Принципы построения механизма вывода определяются способом представления знаний и видом моделируемых рассуждений. Синонимы: Логический вывод, Машина вывода См. также:… … Финансовый словарь
механизм вывода — В экспертных системах алгоритм применения правил к фактам и реализующие его программные средства; проблемно независимая часть экспертной системы. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993]… … Справочник технического переводчика
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Машина логического вывода — программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм… … Финансовый словарь
Грейферный механизм — У этого термина существуют и другие значения, см. Грейфер. Двухкривошипный грейферный механизм киносъемочного аппарата Конвас автомат . Грейферный механизм, грейфер (от … Википедия
метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine … Справочник технического переводчика
Feed out mechanism — Механизм вывода (напр. листов со стапельного устройства, тетрадей из магазина) … Краткий толковый словарь по полиграфии
Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference) в программировании возможность компилятора… … Википедия
Модель типизации Хиндли — Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… … Википедия
