Состояние - задача
Cтраница 4
При поиске в ширину сначала анализируются все симптомы ( факты), находящиеся на одном уровне пространства состояний задачи, даже если они относятся к разным целям ( подцелям), и только после этого происходит переход к поиску симптомов следующего уровня. На рис. 2.7 показаны шаги поиска в ширину, обозначенные номерами, указанными в вершинах. На рисунке представлена стратегия обратного вывода на том же И-ИЛИ-графе, который приведен и на рис. 2.6. Алгоритм поиска в глубину более эффективен в отношении времени поиска и обработки знаний, однако он характеризуется более высоким риском потери перспективных решений по сравнению с поиском в ширину. [46]
Создание эффективных методов управления знаниями легче осуществить при узкой специализации предметной области, когда учитывается тип взаимосвязей, существующих между состояниями задачи. Одним из известных методов манипулирования с большими пространствами состояний является метод порождения и проверки. Начиная со стартового состояния, некоторый генератор порождает ряд состояний-потомков. Затем применяется последовательность тестов на допустимость порожденных состояний с целью сокращения их количества. [47]
Эффекты действия могут быть определены описанием состояния задачи после того, как действие осуществлено, однако действие может осуществляться в разнообразных ситуациях, поэтому сложно дать его полное описание. Тем не менее; так как любое действие воздействует только на небольшую часть состояния задачи, мы можем преодолеть эту трудность описанием только тех свойств состояния задачи, которые изменяются этим действием, предполагая, что все другие аспекты состояния неизменяемы. Например, действие закрывания двери изменяет состояние задачи только в том случае, если ранее открытая дверь теперь закрыта. Изменения бывают двух типов. [48]
Супервизор является ядром ОС РВ. Занимая менее 2К байтов ППЗУ и ОЗУ для размещения сегмента данных, супервизор ОС РВ КТС ЛИУС-2 обеспечивает: инициализацию управляющих структур ОС РВ; асинхронное выполнение до 255 задач пользователя и вспомогательных подсистем ОС РВ; обмен данными между задачами; организацию системной службы времени и привязку задач к реальному масштабу времени; изменение характеристик состояния задач и их приоритетов по запросам других задач и своих собственных; обработку внешних прерываний; организацию и сопровождение очередей запросов на ввод - вывод информации. [49]
 |
Схема обработки задания в ОС РВ. [50] |
ВУ, устанавливать их в системе и последовательно выполнять по командам, выдаваемым в интерактивном режиме со своего терминала. При этом задачи последовательно пребывают в различных состояниях по отношению к управляющей программе. Возможны состояния задачи: 1) бездействия, 2) активности. [51]
Эффекты действия могут быть определены описанием состояния задачи после того, как действие осуществлено, однако действие может осуществляться в разнообразных ситуациях, поэтому сложно дать его полное описание. Тем не менее; так как любое действие воздействует только на небольшую часть состояния задачи, мы можем преодолеть эту трудность описанием только тех свойств состояния задачи, которые изменяются этим действием, предполагая, что все другие аспекты состояния неизменяемы. Например, действие закрывания двери изменяет состояние задачи только в том случае, если ранее открытая дверь теперь закрыта. Изменения бывают двух типов. [52]
Задачи, выполняемые под управлением ХМ-монитора, делятся на привилегированные и виртуальные. Тип задачи определяется 10 - м разрядом в слове состояния задачи ( табл. 4.1): если этот разряд содержит 0, то задача является привилегированной; если же этот разряд равен 1, то задача виртуальная. По умолчанию 10 - й разряд в слове состояния задачи содержит 0, и она рассматривается ХМ-монитором как привилегированная. Так, все системные обрабатывающие и обслуживающие программы выполняются под управлением ХМ-монитора как привилегированные задачи. [53]
Из этого краткого описания читатель может сделать заключение, что в системе PLANNER управляющая информация явно представлена в базе данных процедур, а не скрывается в компоненте, ведающем стратегией выполнения доказательства теорем, как это делается в системах, работающих на основе метода опровержения резолюций. Достоинство такого подхода состоит в том, что можно решить в каждом конкретном случае, какие правила влияния следует применять. Кроме того, в нашем распоряжении оказывается довольно эффективный инструмент моделирования изменения состояния задачи. [54]
В примере, который мы рассмотрели в предыдущем разделе, программа пыталась сформулировать план для решения задачи Дверь12 связывает комната. Первый тип ограничений составляют такие, которые строятся как подзадачи, если они не Удовлетворяются в состоянии задачи. Физические ограничения Целостности области задачи, которые никогда не могут быть изменены, являются требованиями второго типа. Если те из них, которые мы называем предположениями схемы действия, не Удовлетворяются, то они не должны строиться как подзадачи. Если предположения не удовлетворяются, то схема действия не подходит Зля решения проблемы. [55]
На доске объявлений записываются промежуточные гипотезы и решения, с которыми работает экспертная система. На этом рисунке показано, что на доске объявлений может быть записано три типа решений: элементы плана, элементы заявок и элементы решения. Элементы плана описывают в целом тот способ, которым ъ системе предполагается атаковать текущую задачу, включая текущие планы, цели, состояния задач и контексты. План такого типа был использован в нескольких экспертных системах. Элементы заявок несут информацию о потенциальных действиях, ожидающих выполнения, которые обычно соответствуют правилам из базы знаний, имеющим отношение к некоторому решению, помещенному ранее на эту доску объявлений. Элементы решения представляют гипотезы и решения, выдвинутые системой в качестве возможных кандидатов к настоящему моменту, вместе с зависимостями, связывающими одни решения с другими. Часто эти зависимости называют связями. [56]
Страницы: 1 2 3 4