|
|
|
|
|
|
|
|
|
Вывод обратный
| Глоссарий по искусственному интеллекту |
Вывод, при котором поиск доказательства начинается с целевого утверждения. выясняются условия, при которых целевое утверждение является выводимым. эти условия принимаются за новые целевые утверждения и процесс поиска продолжается. в.о. заканчивается, когда все очередные условия оказываются аксиомами или процесс условий обрывается, не приведя к аксиомам. в.о. широко используется в интеллектуальных системах при поиске решений.
|
|
Вывод, русский
- Крепостное сооружение, выступающее перед основным.
- Вывод, заключение, умозаключение, нравоучение, мораль; суд, силлогизм. ср. следствие и мнение. , мнение, суд , сделать вывод
- , переход от посылок к следствиям (заключениям) по правилам логики (см. также дедукция).
- – в логике рассуждение, в ходе которого из определенных исходных суждений, высказываний, посылок или предпосылок получается заключение (вывод) – суждение, вытекающее из посылок. см. также дедукция, индукция.
- Получение новых информационных единиц из ранее известных. частным случаем является логический вывод.
- Кратко и четко сформулированное заключение но конкретному направлению, вытекающее из материалов проведенных научных исследований.
- Цифровой или текстовой материал, сгруппированный в виде горизонтальных строк и вертикальных колонок, разделенных пробельным материалом
- Итоговое утверждение констатирующего типа.
Вывод (программы) на перфоленту, русский
Вывод (формулы);, русский
Вывод абдуктивный, русский
Вывод на основании абдукции.
Вывод вероятностный, русский
Вывод, при котором каждое выражение, используемое в нем, имеет оценку правдоподобия в виде вероятности того, что оно является истинным. при в.в. применяются специальные процедуры для вычисления вероятности истинного значения результирующего выражения по вероятностям посылок, используемых при выводе.
Вывод данных, русский
Вывод данных на устройство отображения;, русский
Вывод для медицинских газов, русский
Вывод естественный, русский
Вывод, полученный на основании "здравого смысла". в.е. может либо соответствовать логическому выводу в некоторой формальной системе (но быть для человека очевидным), либо опираться на соображения, которые не укладываются в строгие рамки формальной системы.
Вывод запроса, русский
Вывод запроса на взаимодействие, русский
Вывод из оборота, русский
Продажа, изъятие, утилизация, уничтожение или безвозвратная утрата маркированных товаров.
Вывод из работы, русский
Вывод индуктивный, русский
Вывод "от частного к общему". позволяет на основании обобщения частных примеров некоторого явления выдвинуть гипотезу о существовании общей закономерности. в интеллектуальных системах, использующих в.и., работают механизм, позволяющий при формировании гипотезы приписывать ей оценку правдоподобия (например, вероятность того, что данная гипотеза является истинной). в.и. является средством получения новых знаний в интеллектуальных системах.
Вывод интуиционистский, русский
Вывод, характерный для интуиционистской логики, не использующий, в частности, закон снятия двойного отрицания и закон исключенного третьего.
Вывод канала, русский
Вывод кратера, русский
Вывод кратера (перемещение дуги и сварочной ванны, при дуговой сварке на вспомогательную металлическую планку с целью устранения кратера в конце шва)
Вывод линейный, русский
Последовательность дизъюнктов, в которой начальный дизъюнкт принадлежит исходному множеству, в каждый промежуточный дизъюнкт является резольвентой предшествующего в уже построенной части последовательности дизъюнктов и некоторого бокового дизъюнкта.
Вывод листа (бумаги), русский
Вывод логический, русский
Рассуждение, в ходе которого из какихлибо исходных суждений
Вывод меню, русский
Доказательства, русский
- Любые фактические данные (информация) по уголовному делу. на основе которых в определенном законом порядке орган дознания, следователь и суд устанавливают наличие или отсутствие преступления (время, место,способ и другие обстоятельства совершения преступл
- , в праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. содержатся в показаниях, вещественных доказательствах, заключениях экспертов, протоколах и др. различают доказательства прямые и косвенные (улики). ни одно из доказательств не имеет преимущественного значения.
Начинается, русский
Утверждение, русский
- Утверждение , согласие
- – положение, мысль, которой доказывают что-нибудь.
- Утвердительная форма выдвижения гипотезы, относительно некоторого явления
- Положение, мысль, которой доказывают, утверждают что-либо [114]. в логике – особая форма предложе- ния, которая в утвердительной форме выдвигает гипотезу отно- сительно некоторого явления. в математике доказанные утвер- ждения называются теоремами (более простые – леммами). [114].
|
Вывод интуиционистский, русский
Вывод, характерный для интуиционистской логики, не использующий, в частности, закон снятия двойного отрицания и закон исключенного третьего.
Вывод немонотонный, русский
Вывод, при котором нарушается свойство монотонности при выводе.
|
|
|
|
|
|
|
