|
|
|
|
|
|
|
|
|
Дизъюнкт пустой
| Глоссарий по искусственному интеллекту |
Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции.
|
|
Дизъюнкт, русский
Выражение вида 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 – разобщение) – сложные суждения из объединения двух высказываний с помощью союза «или». напр., суждения типа: а есть или в, или с. дизъюнктивное умозаключение имеет следующую форму: а есть или в, или с; а есть в (или а не есть в); следовательно, а не есть с (или: следовательно, а есть с).
Дизъюнктивный, русский
Пуст. алашань (китай), русский
Пуст. атакама (чили), русский
Пуст. большой восточный эрг (алжир и тунис), русский
Пуст. большой западный эрг (алжир), русский
Пуст. большой нефуд (саудовская аравия), русский
Пуст. гоби (монголия и китай), русский
Пуст. калахари (южная африка), русский
Пуст. каракумы {туркменская сср, ссср), русский
Пуст. кызылкум (междуречье сырдарьи и амударъи, ссср), русский
Пуст. мохаве (сша) мокро [`тэкрэи, русский
Пуст. намиб (намибия), русский
Пуст. регистан (афганистан), русский
Пуст. руб-эль-хали (на юго-вост. аравийского п-ова, азия), русский
Пуст. сахара (северная африка), русский
Пуст. сймпсон (австралия), русский
|
Декомпозиция задач, русский
Разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение. д.з. применяется в интеллектуальных системах при создании систем автоматического программирования и при планировании поведения в пространстве задач. в более общем смысле д.з. может служить для понимания размеренности решаемой задачи.
Процессор ассоциативный, русский
Процессор, приспособленный для работы с ассоциативной памятью.
|
|
|
|
|
|
|
