Традиционная программа

Cтраница 2

С традиционная дружба; - 1Т традиционный репертуар; традиционные программы. [16]

На первый взгляд кажется, что в этом отношении традиционные программы имеют явное преимущество. Однако это преимущество кажущееся. Традиционные программы для решения сложных задач, напоминающих те, которые подходят для ЭС, тоже могут делать ошибки. Но их ошибки чрезвычайно трудно исправлять, поскольку стратегии, эвристики и принципы, лежащие в основе этих программ, явно не сформулированы в их тексте. Следовательно, эти ошибки нелегко определить и исправить. Подобно своим двойникам-людям ЭС могут делать ошибки. Но в отличие от обычных программ, они имеют потенциальную способность учиться на своих ошибках. [17]

В самих - программах также имеется элемент, которого не было в традиционных программах, - это метки, явно задающие порядок выполнения - программы. Поэтому может показаться, что R-программы тоже засорены. [18]

Радикальную перестройку всей информационной технологии сулит развитие объектно-ориентированной парадигмы, сутью которой является эволюция традиционной программы в модель. Пока этот подход формирует лишь фундамент будущей технологии, делая объектную спецификацию программы все более близкой к структурной модели, но оставляя прежним алгоритмический характер управления процессом выполнения программы. Перспективной является также технология активных программных агентов, направленная на интеграцию объектно-ориентированного подхода с технологией ограничений и аппаратом недоопределенных моделей. [19]

Тем не менее в самих R-программах также имеется элемент, которого не было в традиционных программах. Это метки, явно задающие порядок выполнения R-ггрограммы. В связи с этим может показаться, что в R-программах тоже есть мусор, хотя и другого характера. Однако это не так, поскольку метки R-npo - граммы активно участвуют в документировании их, являясь некоторыми ключевыми словами или комментариями для выполняемых за ними действий. [20]

Кроме того, Кларк ( 1979) представил верификацию логических программ в стиле доказательства правильности традиционных программ, включив в условия верификации входные и выходные предикаты. [21]

Рассматриваемое понятие частичной правильности логических программ по своей сути подобно тому, которое используется в доказательстве правильности традиционных программ. И в том и другом контексте частичная правильность сама по себе не требует, чтобы каждое решение действительно вычислялось в результате исполнения программы; требуется только то, что уж если решение вычисляется, то оно должно удовлетворять задаваемому спецификацией отношению между входом и выходом. [22]

Системы, которые мы рассмотрим в этой главе, ознаменовали дальнейшее продвижение по этому пути - в них объединяются традиционные программы решения проблем и компоненты самообучения и критического анализа. Система ODYSSEUS [ Wilkins, 1990 ] способна обучаться тому, как уточнять базу знаний. Для этого используются две разные методики: одна основана на анализе прецедентов, а вторая - на анализе пояснений. Обе методики являются сравнительно новыми, и читатель сможет вкратце ознакомиться с ними в данной главе. Далее будет описана программа, в которой логический вывод на основе прецедентов используется для обработки исключений из правил, а основным инструментом решения проблем являются порождающие правила. [23]

В предельных случаях увеличение диапазона переменной состояние приводит к чистому конечному автомату, а устранение этой переменной - к традиционной программе. Разработчик и реализатор протокола должны определить оптимальное соотношение в этой зависимости для конкретных условий и характера протокола. [24]

ЭВМ, было предпринято Грином ( 1969), который показал, что механизм извлечения ответа можно использовать для синтеза традиционных программ путем применения резолюции к их спецификациям, выраженным в логике дизъюнктов. Синтезаторы, которые были разработаны для этой цели, можно было бы считать предшественниками современных логических интерпретаторов. [25]

Потенциальная структура бюджета в 2000 году. [26]

Иными словами, если существующие тренды продолжатся, то к 2000 году обслуживание нашего национального долга потребует, чтобы Конгресс решительно сократил традиционные программы. [27]

За последние несколько лет в образовании, связанном с отраслью по переработке и удалению опасных отходов, помимо распространения краткосрочных программ обучения и традиционных программ в области инжиниринга, произошли серьезные изменения. Кроме того, Министерство энергетики США, как представляется, сосредоточило обучение в местных колледжах на задачах переподготовки рабочей силы, преимущественно через Партнерство по обучению технологиям защиты окружающей среды ( PETE), Консорциум по исследованиям и образованию в сфере контроля отходов ( WERC) и другие подобные консорциумы. [28]

Уровень способности ЭС к пониманию, выражающийся в восприятии запросов пользователя и в возможности объяснения ему механизма получения результатов решения задач, достигается особенностями ее организации по сравнению с традиционными программами на основе алгоритмов. [29]

Некоторые из программ, направленных на увеличение доли женщин-менеджеров и повышение эффективности их работы, предусматрльают: ]) развитие должного понимания специфики поведения лиц обоеа пола на рабочем месте; 2) оказание помощи женщинам в осознании некоторы: -: психологических и социально-этических барьеров на пути к исполнению руководящих ролей; 3) обучение прямому и твердому стилю общения с мужчинами и женщинами; 4) обучение методам создания сети поддержки и развития основы власти в организации; 5) участие в традиционных программах подготовки административно-управленческих кадров. [30]

Страницы: 1 2 3 4