→ Пошук по сайту       Увійти / Зареєструватися

ДИЗЪЮНКТ

Предметна область:  Штучний інтелект

ДИЗЪЮНКТВыражение вида B1 Љ B2 Љ ... Љ Bn A1 & A2 &...& Am, где (&,Љ, ) соответственно символы конъюнкции, дизъюнкции и импликации. Д. читается так: "Если A1, и A2, и, Am, то B1, или B2, или ,..., Bn". Правая или левая часть импликации может быть пустой. В этом случае Д. интерпретируется иначе. Для Д. вида B1 Љ B2 Љ ... Љ Bn интерпретация заключается в утверждении существования факта B1 Љ B2 Љ ... Љ Bn ; а для Д. вида A1 & A2 &...& Am интерпретация состоит в утверждении, что (A1 & A2 &...& Am).



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


ДИЗЪЮНКТклауза.

Похідні поняття[Приховати / показати]

ДИЗЪЮНКТ БОКОВОЙ Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.
ДИЗЪЮНКТ ПУСТОЙ Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции.
ДИЗЪЮНКТ ХОРНА Дизъюнкт, содержащий не более одной положительной литеры.

Зв'язані поняття[Приховати / показати]

ДИЗЪЮНКТ
ДИЗЪЮНКТ БОКОВОЙДИЗЪЮНКТ ПУСТОЙДИЗЪЮНКТ ХОРНА
→ Мапа поняття — Більше інформації про зв'язки цього поняття з іншими поняттями

Близькі поняття: [Приховати / показати]

Контент, у якому йде мова про ДИЗЪЮНКТ

Якщо вас цікавить...

загрузка...