Cтраница 1
Вывод заключения, идентичного одной из посылок, есть общезначимая операция. [1]
Тогда для вывода желаемых заключений в логике предикатов с равенством необходимо сначала доказать, что эти заключения не попадают под случай исключений. [2]
Вывод находится в противоречии с некоторыми выводами группового заключения экспертов-гидрологов. Например, отмечено, что трансформация малых рек при строительстве ВСМ повлечет за собой изменение режима средних и крупных рек и озер. Кроме того, сведения о стоке рек, водном режиме болот и состоянии и прогнозе грунтовых вод приведены лишь для отдельных территорий, а не по всей трассе. Отсутствуют в ТЭО и согласования с водохозяйственными органами по строительству ВСМ в водоохранной зоне ( например, Иваньковского водохранилища), сбросу очищенных стоков и водозабору. Несмотря на положительную оценку ТЭО экспертами данной группы, перенос реализации замечаний экспертов на следующую стадию проектирования не аргументирован. [3]
Однако следует быть весьма осторожным при выводе заключений, связанных со свободной поверхностью, которые дает эта теория. [4]
Такое сглаживание облегчает пользование кривыми при выводе заключений по полученным результатам, ибо явления резонанса, поглощения и многократных излучений обусловливают наличие больших выбросов и провалов в частотных характеристиках интенсивности помех от исследуемой станции. [5]
В случае несогласия члена экспертной комиссии с выводами заключения эксперт формулирует особое мнение и оформляет его в виде записки, которая прикладывается к заключению. [6]
Действие может быть любым, но обычно речь идет о выводе заключения как части аргументации или доказательства. [7]
Интеллектуальные системы, поддерживающие пересматриваемые рассуждения, должны строго обосновывать каждый вывод заключения и затем в свете появившихся новых убеждений пересматривать поддержку такого заключения. Один из способов решения этой проблемы заключается в пересмотре алгоритма бектрекинга. Исторически бектрекинг был катализатором создания систем поддержки истинности. Бектрекинг является систематическим методом исследования всех альтернатив точек решения в проблемах, основу которых составляет поиск. Однако существенным недостатком классического алгоритма бектрекинга является то, что он систематически ( и вслепую) возвращается назад по дереву решений из тупиковых состояний и ищет следующую альтернативу для выбора. Такой бектрекинг иногда называют хронологическим бектрекингом. Естественно, такая систематическая проверка всех альтернатив поиска решений неэффективна, требует много времени и для больших пространств поиска часто бесполезна. [8]
Самым существенным нарушением законодательства об экологической экспертизе является несоответствие содержания и выводов заключения ГЭЭ, что должно быть оспорено прокурорами в арбитражном суде. Иски в суд о возмещении ущерба, нанесенного нарушением законодательства об экологической экспертизе, также должны инициироваться прокурорами. [9]
Два возможных способа записи того, что атрибут В функционально зависит от атрибута А. [10] |
В конкретной ситуации ФЗ определяется путем детализации свойств всех атрибутов в отношении и выводе заключения о том, как атрибуты соотносятся между собой. ФЗ не могут быть доказаны путем простого просмотра отдельного экземпляра отношения и нахождения двух атрибутов, имеющих те же значения в более чем одном кортеже. Это может служить ключом к тому, в каком направлении следует вести поиск ФЗ, но не доказательством. ФЗ необходимо получить исходя из базовых свойств самих атрибутов. [11]
А, не может быть определено с помощью диффракции рентгеновых лучей, а поэтому для вывода заключения о структуре катализатора после термической обработки должны быть использованы другие методы. [12]
В основе языка Пролог лежит принцип разрешения, разработанный Робинсоном в 1965 г. Данный принцип предоставляет формальные средства вывода заключений и продвижения поиска. [13]
Таким образом, взаимное влияние заместителя и углеводородной группы является весьма важным обстоятельством, которое надо обязательно учитывать при выводе заключения о степени проявления / - эффектов отдельными атомами или группами. [14]
Формальная система описания языков программирования, которая в отличие от нотации Бэкуса - Наура представляет собой набор логических аксиоматических правил ( канонов) вывода заключений из исходных посылок. [15]