Машина логического вывода
- Машина логического вывода
- Машина логического вывода
Машина логического вывода - программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм дедуктивного логического вывода или механизм поиска решения в сети фреймов или семантической сети.
Синонимы: Дедуктивная машина, Блок логического вывода, Решатель
См. также: Механизмы вывода Экспертные системы
Финансовый словарь Финам.
.
Смотреть что такое "Машина логического вывода" в других словарях:
машина логического вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference engine … Справочник технического переводчика
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
персональная машина логического вывода — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN personal inference machinePSI … Справочник технического переводчика
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Цифровая вычислительная машина — (ЦВМ) Вычислительная машина, преобразующая величины, представленные в виде набора цифр (чисел). Простейшие преобразования чисел, известные с древнейших времён, это арифметические действия (сложение и вычитание). Но арифметические операции … Большая советская энциклопедия
Управляющая машина — управляющая вычислительная машина (УВМ), вычислительная машина, включенная в контур управления (См. Управление автоматическое) техническими объектами (процессами, машинами, системами). УВМ принимают и обрабатывают информацию, поступающую… … Большая советская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
Cyc — Эта статья о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… … Википедия
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
