|
|
|
|
|
|
|
|
|
Дизъюнкт хорна
| Глоссарий по искусственному интеллекту |
Дизъюнкт, содержащий не более одной положительной литеры.
|
|
Дизъюнкт, русский
Выражение вида b1 Ú b2 Ú ... Ú bn ¬ a1 & a2 &...& am, где (&,Ú,¬ ) соответственно символы конъюнкции, дизъюнкции и импликации. д. читается так: "если a1, и a2, и, am, то b1, или b2, или ,..., bn". правая или левая часть импликации может быть пустой. в этом случае д. интерпретируется иначе. для д. вида b1 Ú b2 Ú ... Ú bn интерпретация заключается в утверждении существования факта b1 Ú b2 Ú ... Ú bn ; а для д. вида ¬ a1 & a2 &...& am интерпретация состоит в утверждении, что (a1 & a2 &...& am). если в д. пусты левая и правая часть импликации, то он называется пустым. д. используется в методе логического вывода, основанном на использовании резолюций, а также в языке программирования пролог.
Дизъюнкт боковой, русский
Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.
Дизъюнкт пустой, русский
Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции.
Дизъюнктивные суждения, русский
(лат. disjunctio – разобщение) – сложные суждения из объединения двух высказываний с помощью союза «или». напр., суждения типа: а есть или в, или с. дизъюнктивное умозаключение имеет следующую форму: а есть или в, или с; а есть в (или а не есть в); следовательно, а не есть с (или: следовательно, а есть с).
Дизъюнктивный, русский
Хорн, русский
(horn) холлоуэй (1886-?) , английский математик и писатель. роман "арлекинада" (1921). детективно-фантастические рассказы (сборники "ложь", 1922; "убийство в линпаре", 1931; "старик", 1932, ряд которых вошел в лучшие антологии жанра.
Хорна, русский
Хорни, русский
(horney) карен (1885-1952) , немецкий психолог и психопатолог, одна из основателей неофрейдизма. с 1932 в сша. трактовала неврозы как неадекватные защитные формы поведения во враждебной социальной среде.
Содержащий, русский
|
Липс, русский
Единица измерения производительности машины вывода (от англ. logical interence persecond), равная числу логических выводов, выполняемых в одну секунду. как правило, для реализации одного логического вывода требуется от 10 до 100 команд эвм.
Дизъюнкт боковой, русский
Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.
|
|
|
|
|
|
|
