Cтраница 1
Спецификация задач составляется для уточнения индексов, присвоенных каждой задаче в составе АСУП. Эти индексы используются затем в обозначениях форм документов. [1]
Меню вызывает автоматически однозначную спецификацию задачи, поскольку пользователю может быть предоставлен выбор только из определенных задач. Синтаксически правильная команда также означает автоматически однозначную спецификацию задачи. [2]
Что касается способа спецификации задачи, то в большинстве случаев в экспертных системах имеет место однозначная спецификация, достигаемая за счет ограничений, накладываемых на реакцию пользователя. Неоднозначность спецификации задачи возникает в следующих случаях: 1) действие ( запрос) системы ограничивает реакцию пользователя, но она выражается на ограниченном естественном языке и может быть неправильно понята ( этап приобретения знаний); 2) действие ( запрос) пользователя на ограниченном естественном языке хоть и ограничено множеством разрешенных тем, но может быть неоднозначно понято системой. На практике первая ситуация решается путем повторения системой приобретаемого правила в виде текста на естественном языке. Вторая ситуация может быть приведена к однозначной путем предложения пользователю выбрать в меню, где указаны возможные типы запросов к системе, тот тип, который его интересует, а затем заполнить для этого типа запроса интересующие пользователя параметры. Говоря другими словами, однозначность обеспечивается за счет отказа от естественного языка. [3]
При этом программа является логической спецификацией задачи, а конкретное вычисление понимается как запрос к этой программе. База знаний в соответствии с логическим подходом к описанию знаний ПО представляет собой набор логических формул. Добавление или уничтожение логических формул означает модификацию базы знаний. Таким образом, логические формулы могут рассматриваться как неделимые единицы для манипулирования знаниями в таких системах. [4]
В некоторых точках программы ( например, во время обработки спецификации задачи) могут быть порождены новые нити управления. Процесс порождения нитей управления может последовательно развиваться, образуя дерево задачи. Окончание такой задачи может произойти только после окончания работы всех порожденных ею задач в порядке, противоположном тому, в котором они были порождены. [5]
Разработка структуры записи начинается с определения полного перечня реквизитов на основании спецификации задачи и исходных документов. Одновременно определяются границы максимальной значности реквизитов и тип используемых полей, а также принадлежность реквизитов записи к одному из видов рабочей области. Структура каждой области выбирается отдельно от других с учетом существующих функциональных связей. [6]
Социальная организация - общность, отличающаяся прежде всего степенью формализации отношений, которая выражается в спецификации задачи, наличии иерархии власти, где каждому уровню придаются четко очерченные сферы и объем контроля. [7]
Обобщая, no - задачами называем выражения вида F F2, F, и F2 - no - формулы, являющиеся, соответственно, посылкой и целью задачи, a Sp - некоторая спецификация задачи, т.е. ссылка на дополнительные, возможно, внелогические средства, ограничения, позволяющие выделять и интерпретировать решения. Одним из таких средств, рассматриваемых в настоящем докладе, являются модификаторы. [8]
Как было показано в § 4.1, шаг диалога состоит из действия и реакции и характеризуется следующими параметрами: 1) инициатор и тип инициирования; 2) способ влияния действия на реакцию; 3) способ спецификации задачи. На данном уровне задача диалоговой подсистемы состоит в определении значений параметров текущего шага диалога. Обычно в экспертных системах инициатором шага является система, т.е. она задает действие, ожидая реакцию пользователя. Исключение составляют ситуации, в которых пользователь перехватывает инициативу у системы и вместо реакции на действие системы сообщает свое действие, на которое он ожидает ответную реакцию системы. Говоря другими словами, в случае перехвата инициативы пользователь прерывает шаг диалога и создает внутри него один или несколько шагов диалога, в которых инициатива принадлежит ему. [9]
Приверженцы этого направления были бы счастливы, если бы могли прочесть лекцию под названием Программирование как артефакт0 ( имея в виду, что программирование превратилось всего-навсего в реликвию минувших времен), поскольку их цель - создать машину, способную по одной только спецификации задачи написать программу лучше любого из нас. Лично я не думаю, что эта цель когда-либо может быть вполне достигнута, тем не менее я убежден, что эти исследования имеют чрезвычайно важное значение, поскольку любое новое знание о программировании помогает нам усовершенствоваться в своем искусстве. В таком смысле следует постоянно стремиться превращать в науку всякое искусство, поскольку этот процесс способствует развитию самого искусства. [10]
Что касается способа спецификации задачи, то в большинстве случаев в экспертных системах имеет место однозначная спецификация, достигаемая за счет ограничений, накладываемых на реакцию пользователя. Неоднозначность спецификации задачи возникает в следующих случаях: 1) действие ( запрос) системы ограничивает реакцию пользователя, но она выражается на ограниченном естественном языке и может быть неправильно понята ( этап приобретения знаний); 2) действие ( запрос) пользователя на ограниченном естественном языке хоть и ограничено множеством разрешенных тем, но может быть неоднозначно понято системой. На практике первая ситуация решается путем повторения системой приобретаемого правила в виде текста на естественном языке. Вторая ситуация может быть приведена к однозначной путем предложения пользователю выбрать в меню, где указаны возможные типы запросов к системе, тот тип, который его интересует, а затем заполнить для этого типа запроса интересующие пользователя параметры. Говоря другими словами, однозначность обеспечивается за счет отказа от естественного языка. [11]
В нисходящей разработке и проектирование, и программирование ведутся в одном направлении - сверху вниз. При этом соответствие спецификаций задачи проверяется всегда до перехода на следующий, более низкий уровень, что обеспечивает постоянный контроль всего процесса разработки. [12]
Отметим, что в реальных случаях существует проблема описания исследуемых объектов. Такое описание неправомерно считать частью спецификации задачи, поскольку относительно одного объекта ставится, как правило, много задач, что, естественно, требуется учитывать при формировании базы знаний. Кроме того, может оказаться, что возникшую задачу не решить до конца автоматически, например, из-за неполноты спецификации или описания объекта. Поэтому в ИС целесообразен на определенных стадиях интерактивный режим работы с ДЭС. Надо помнить, что модель предметной области описывает общую обстановку ( знание), а спецификация - содержание задачи. [13]
Отметим, что в реальных случаях существует проблема описания исследуемых объектов. Такое описание неправомерно считать частью спецификации задачи, поскольку относительно одного объекта ставится, как правило, много задач, что, естественно, требуется учитывать при формировании базы знаний. Кроме того, может оказаться, что возникшую задачу не решить до конца автоматически, например из-за неполноты спецификации или описания объекта. [14]
Меню вызывает автоматически однозначную спецификацию задачи, поскольку пользователю может быть предоставлен выбор только из определенных задач. Синтаксически правильная команда также означает автоматически однозначную спецификацию задачи. [15]