Множество формул Е1 В L назовём расширением для тогда и только тогда, когда ДЬТ(Е') = Е' (т.е. Е1 неподвижная точка оператора Д ’). Процесс рассуждения с умолчаниями в рамках TDLC представляет собой построение всех расширений для каждого элемента последовательности ^ 1о, ...» , который является временной теорией с умолчаниями, и для любых = <Р, ck, D \yF lj>, £ V i = <Р, ск, DVi, F \+\> выполняются следующие условия: 2 )R ules‘i= Rules \+ь 3) Events lj В Events Vi, причём любая формула, входящая в Events Vi, но не входящая в Events lj, фиксирована на момент времени, тот же или более поздний, чем самый поздний момент времени, на который фиксирована любая формула из множества Events \. Таким образом, рассуждения, формализуемые в TDLC, это рассуждения о мире, эволюционирующем во времени и знания о котором неполны, но пополняются и изменяются по мере поступления новых частных фактов, выражаемых формулами, входящими в множество Events соответствующей временной теории с умолчаниями. При этом операционные знания об этом мире не меняются во времени. Их можно подразделить на надёжные, выражаемые формулами из множества Rules, и правдоподобные, выражаемые при помощи временных умолчаний. Эти рассуждения немонотонны, причём немонотонность обусловлена необходимостью пересмотра выводов, которые делаются на основе ошибочных предположений, принятых в условиях дефицита времени. Механизм функционирования предлагаемой немонотонной временной логики умолчаний рассмотрим на модельной задаче “Инцидент”. Пусть в момент времени tl обнаруженному ранее и находящемуся в опасной близости от охраняемого объекта летательному аппарату (ЛА 1) был послан запрос с требованием идентифицировать себя. Пусть в течении 30 секунд после запроса никакого ответа не последовало, и в момент времени t2=5tl+ 30 |
115 тот же или более поздний, чем самый поздний момент времени, на который фиксирована любая формула из множества Events \. Таким образом, рассуждения, формализуемые в TDLC, это рассуждения о мире, эволюционирующем во времени и знания о котором неполны, но пополняются и изменяются по мере поступления новых частных фактов, выражаемых формулами, входящими в множество Events соответствующей временной теории с умолчаниями. При этом операционные знания об этом мире не меняются во времени. Их можно подразделить на надёжные, выражаемые формулами из множества Rules, и правдоподобные, выражаемые при помощи временных умолчаний. Эти рассуждения немонотонны, причём немонотонность обусловлена необходимостью пересмотра выводов, которые делаются на основе ошибочных предположений, принятых в условиях дефицита времени. Механизм функционирования предлагаемой немонотонной временной логики умолчаний рассмотрим на модельной задаче “Инцидент”. Пусть в момент времени tl обнаруженному ранее и находящемуся в опасной близости от охраняемого объекта летательному аппарату (JIA 1) был послан запрос с требованием идентифицировать себя. Пусть в течении 30 секунд после запроса никакого ответа не последовало, и в момент времени t2=tl+ 30 был сделан вывод, что летательный аппарат неприятельский. Пусть в момент времени t3=tl+ 37 от него был получен ответ о его принадлежности к союзникам. Рассуждения стороны, предположившей, что ЛА1 неприятельский, а потом отказавшейся от этого предположения, реконструируем с использованием TDLC, для чего будем использовать следующие предикатные символы (элементы множества Р): запрос (х,у) объекту х направлен запрос у; ответ (х,у) от объекта х получен ответ у; |