был сделан вывод, что летательный аппарат неприятельский. Пусть в момент времени t3=tl+ 37 от него был получен ответ о его принадлежности к союзникам. Рассуждения стороны, предположившей, что ЛА1 • неприятельский, а потом отказавшейся от этого предположения, реконструируем с использованием TDLC, для чего будем использовать следующие предикатные символы (элементы множества Р): запрос (х,у) объекту х направлен запрос у; ответ (х,у) от объекта х получен ответ у; враг(х) объект (х) является неприятельским. Будем считать, что всем перечисленным выше предикатным символам присваиваются одни и те же локальные часы, совпадающие с глобальными часами gck = < 1 , 2 , 3, .... >, т.е. ск = {запрос Щ gck, ответ % gck, враг % gck}. Далее, рассмотрим последовательность теорий с умолчаниями i , й 'ь й У где & > < Р ,с к , D1, F'j>, = < Р, ск, D1, Т\>, & ’з = < Р, ск, D1, F’3>, D '={dl}, F'i= R ules'4 Events'i, Fl; = Rules14 Events:, F'j= Rules14 Events^, Rules' = {rl>, Events'i= (evl, ev2 }, Eventsr2= {evl, e v 2 e v 3 2 } , Eventsj ={evl, ev2,.... ev38, ev39}. Временное умолчание dir 30 запрос(х “Ты чей”)A ^ ^next[i] отвст(х “Я свой”): M Свраг(х) ie 0 Ывраг(х) |
115 тот же или более поздний, чем самый поздний момент времени, на который фиксирована любая формула из множества Events \. Таким образом, рассуждения, формализуемые в TDLC, это рассуждения о мире, эволюционирующем во времени и знания о котором неполны, но пополняются и изменяются по мере поступления новых частных фактов, выражаемых формулами, входящими в множество Events соответствующей временной теории с умолчаниями. При этом операционные знания об этом мире не меняются во времени. Их можно подразделить на надёжные, выражаемые формулами из множества Rules, и правдоподобные, выражаемые при помощи временных умолчаний. Эти рассуждения немонотонны, причём немонотонность обусловлена необходимостью пересмотра выводов, которые делаются на основе ошибочных предположений, принятых в условиях дефицита времени. Механизм функционирования предлагаемой немонотонной временной логики умолчаний рассмотрим на модельной задаче “Инцидент”. Пусть в момент времени tl обнаруженному ранее и находящемуся в опасной близости от охраняемого объекта летательному аппарату (JIA 1) был послан запрос с требованием идентифицировать себя. Пусть в течении 30 секунд после запроса никакого ответа не последовало, и в момент времени t2=tl+ 30 был сделан вывод, что летательный аппарат неприятельский. Пусть в момент времени t3=tl+ 37 от него был получен ответ о его принадлежности к союзникам. Рассуждения стороны, предположившей, что ЛА1 неприятельский, а потом отказавшейся от этого предположения, реконструируем с использованием TDLC, для чего будем использовать следующие предикатные символы (элементы множества Р): запрос (х,у) объекту х направлен запрос у; ответ (х,у) от объекта х получен ответ у; враг(х) объект (х) является неприятельским. Будем считать, что всем перечисленным выше предикатным символам присваиваются одни и те же локальные часы, совпадающие с глобальными часами gek. = < 1 , 2 , 3, .... >, т.е. ск = {запрос — >gek, ответ — > gek, враг -> gck}. Далее, рассмотрим последовательность теорий с умолчаниями А' , Д'2, Д‘з, где Д‘,= < Р, ск, Dl, F‘i>, Д‘2 = < Р, ск, Dl, Р‘2>, Д‘з = < Р, ск, D‘, F‘3>, D‘ = {dl}, F*j= Rules'uE vents'ь F 2 = Rules ‘uEvents 2, Р'з= Rules \jEvents'3 > Rules' = {rl}, Eventsli= {evl, ev2 }, Events*2= {evl, ev2 ,..., ev32}, Events'3 ={evl, ev2,..., ev38, ev39}. Временное умолчание d l: 30 запрос(х,“Ты чей”)д -ivnext[i] ответ(х,“Я свой”): М [Цвраг(х) ¡=о □враг(х) Правило r l : (Vx) ответ (х, “Я свой”) z> □ -iBpar(x) События (ev i): (evl) first next [tl] запрос(ЛА1,“Ты чей”), (ev2) 1 first next [tl] ответ (ЛА1, “Я свой”) (ev3) — — 1 first next [tl+1] ответ (JIAl, “Я свой”) |