Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Машина вывода

Индекс Машина вывода

Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.

2 отношения: Пролог (язык программирования), Алгоритм Rete.

Пролог (язык программирования)

Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

Новый!!: Машина вывода и Пролог (язык программирования) · Узнать больше »

Алгоритм Rete

Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона.

Новый!!: Машина вывода и Алгоритм Rete · Узнать больше »

Перенаправления здесь:

Машина логического вывода, Механизм вывода, Правила вывода, Правило вывода.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »