Список - условие
Cтраница 2
 |
Уточнение целей при планировании диалога с пользователем. [16] |
Вместо сценариев Мур использовал операторы планирования, в которых специфицируются определенные цели диалогового процесса, например передать пользователю информацию о мотивации некоторого действия системы. Каждое правило в операторе планирования имеет список условий, при выполнении которых применение оператора даст желаемый эффект. [17]
Список условий может содержать какой-либо или все символы операторов I. Update - обновить), а также идентификаторы, представляющие определяемые пользователем условия, которые будут описаны впоследствии. Термы, входящие в список условий, указывают, когда должно проверяться данное ограничение целостности. [18]
Появление указанных двух стандартов стало исторической необходимостью только тогда, когда мы научились передавать накопленные нами научные сведения в форме математических теорий вычислительным машинам. Если при обычном изложении научной теории достаточно понимания собеседника, то для вычислительной машины этот уровень изложения не пригоден. Описательно перевод научной теории в машинную систему соответствует ситуации, когда на список наблюдаемых условий ( симптомов, признаков) и специалист и вычислительная машина дают одно и то же предсказание, и это предсказание подтверждается практикой. Процесс превращения научной теории в форму, когда предсказание, подтверждаемое практикой, руководитель может получить от вычислительной машины, и составляет сущность технологии изготовления формализованной научной теории. Для выполнения этой работы специалист по разработке специального математического обеспечения должен в совершенстве владеть языком математики. Профессиональным признаком специалиста по математическому обеспечению является умение осуществить перевод любой области человеческих знаний на язык математики. [19]
S) d, 1д и); тогда они называются крайними сроками. Одной из таких задач, на которую мы хотели бы обратить особое внимание, является задача о нахождении минимального числа процессоров, необходимых для выполнения системы заданий к общему крайнему сроку dtd, li n, при условиях, что пусто, s0, а процессоры идентичны. Данная задача связана с задачей об упаковке в контейнеры и рассматривается в гл. На рис. 1.4, а, б показана эта эквивалентность. Отметим, что если из списка условий исключить ограничение т п, то получаем задачу, эквивалентную упорядочению с общим крайним сроком с целью минимизации числа процессоров при условии назначения на один процессор в целом не более т заданий. [20]
Кроме математического языка имеются еще две части математической теории: совокупность аксиом и усл ( - вий и совокупность правил вывода. Как в первую, так и во вторую могут попадать только те высказывания ( формулы пли соотношения), которые содержатся в конкретном математическом языке. Первая часть состоит из двух списков формул ( высказываний или соотношений) на языке математической теории. Первый список содержит формулы и соотношения, которые в рамках данной теории верны всегда - это список аксиом. Пока аксиомы этого списка сохраняют свою силу, мы имеем дело с той же самой математической теорией. Второй список - список условий, то есть список утверждений или соотношений, которые связаны с конкретным применением данной теории в конкретном случае. [21]
Деревья решений разбивают данные на группы на основе значений тех или иных переменных, используя подход, напоминающий игру в вопросы. В результате получается иерархия операторов ЕСЛИ - ТО, которые классифицируют данные. Если абонент в течение полугода каждый месяц делает на 25 % меньше звонков по сотовому телефону, чем за предыдущий, то, с вероятностью 60 %, он вскоре откажется от услуг сотовой связи. В настоящее время наблюдается повышение интереса к продуктам, применяющим деревья решений. В основном это объясняется тем, что многие коммерческие проблемы решаются ими быстрее, чем алгоритмами нейронных сетей. К тому же они более просты и понятны для пользователей. В то же время нельзя сказать, что деревья решений всегда действуют безотказно: для определенных типов данных, например при обработке непрерывных величин, они могут оказаться неприемлемыми. Помимо того, набор операторов ЕСЛИ - ТО иногда бывает столь же непонят-нмм, как и нейронная сеть, особенно если список условий длинный и сложный. [22]
Страницы: 1 2