|
|
|
|
|
|
|
|
|
Противоречивость модельная
| Глоссарий по искусственному интеллекту |
Противоречие, обнаруживаемое в модели. в замкнутых моделях п.м. является аналогом абсолютной противоречивости, в открытых моделях п.м. относительна. (см. также модель крипке).
|
|
Модельная масса, русский
Смесь гранулированного огнеупорного наполнителя, крепителя и жидкого связующего вещества используемая для создания формы для точного литья.
Модельная обувь, русский
Обувь, созданная с ориентацией на самые актуальные модные тенденции сезона.
Модельная поправка, русский
Поправочный коэффициент, корректировка. поправка или корректировка модели.
Модельное время, русский
Модельное выравнивание, русский
То же самое stretcher leveling — выравнивание в вытяжном устройстве.
Модельное дерево, русский
Дерево, выбираемое в качестве типичного, эталонного образца, характеризующего по таксационным показателям (диаметр, высота, возраст и пр.) все остальные деревья лесного насаждения (древостоя) или его определенной части.
Модельное определение, русский
Модельный закон, русский
Имеющий рекомендательный характер акт, принимаемый либо международной ор-ганизацией, либо законодательным органом федеративного государства в целях унификации законодательства разных государств или субъектов федерации: ориентир на согласованную законодательную деятельность. м.з.. формируя образцы будущих законодательных ре-•шений. получают официальную юридическую силу в границах государства или государственного образования лишь после принятия их национальным парламентом. содержание м.з. может быть различным. это или определение целей и общих принципов будущего регулирования, т.е. концепции, или формулирование главных, принципиальных его норм, нормативных дефиниций, или рекомендация различных вариантов решения, или создание цельного и законченного акта, который парламент может принять за основу либо утвердить без внесения изменений и дополнений. внешние формы м.з. разнообразны - основные начала, общие принципы, главные положения, примерный закон и др. так, в сша широко развита практика создания типовых для штатов кодексов и иных законов для установления максимального единообразия в тех отраслях законодательства, где это необходимо. их подготовка осуществляется общенациональной комиссией представителей всех штатов совместно с американским институтом права и американской ассоциацией адвокатов. для того чтобы м.з. стал законом для штата, он должен быть официально им утвержден. среди подобных законов первым и наиболее известным является торговый кодекс, содержащий 400 статей. первоначально он был выработан в 1952 г.. а затем несколько раз пересмотрен. ныне кодекс принят практически во всех штатах. были созданы также типовые кодексы по уголовному праву,уголовному процессу, закон о предпринимательских корпорациях.
Противоречивость абсолютная, русский
Возможность одновременного вывода в формальной системе утверждения и его отрицания. в такой формальной системе можно вывести любые утверждения по правилу модус поненс.
Противоречивость данных, русский
Состояние базы данных, при котором дублирующие данные не равны либо значения данных не соответствуют области их определения.
Противоречивость; несогласованность;, русский
Противоречие, русский
- Противоречие , ответ
- – 1) положение, при котором одно высказывание исключает др. высказывание (суждение, мнение), несовместимое с ним; 2) в логике наличие (в рассуждении, теории) двух высказываний, из которых одно – отрицание другого; в более широком смысле – утверждение о тождестве заведомо различных объектов. закон противоречия (principium contradictionis) гласит, что два контрадикторных (см. контрадикция) суждения не могут быть одновременно истинными и если одно из их истинно, то другое обязательно ложно. или иначе: одно и то же суждение не может одновременно быть и утвердительным и отрицательным.
- , в формальной логике - наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно - отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле - утверждение о тождестве заведомо различных объектов. противоречие указывает либо на логическую порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу этого рассуждения, - этим обстоятельством часто пользуются в опровержениях посредством приведения к противоречию и в косвенных доказательствах.
- Два высказывания, из которых одно является отрицанием другого.
|
Бектрекинг, русский
Процедура возврата при поиске на некоторой структуре (например, поиск по дереву решений или в лабиринте). при движении по структуре часто возникает необходимость, когда выбранный путь оказался неудачным или тупиковым в возврате к месту разветвления процесса поиска. для ускорения возможности возврата в последнюю точку ветвления ее координаты следует хранить в памяти. для хранения совокупности вложенных друг в друга по старшинству точек ветвления используются специальные стековые регистры.
Акт речевой, русский
Произнесение говорящим некоторого сообщения при наличии слушающего и конкретного ситуативного окружения. изучение р.а. позволило сформулировать требования к успешности коммуникации при общении людей друг с другом и людей с искусственными системами. изучается в теории речевых актов.
|
|
|
|
|
|
|
