Проверяемый текст
Фоминых, Игорь Борисович; Нейрологические модели и методы решения задач в интеллектуальных системах реального времени (Диссертация 2000)
[стр. 163]

был сделан вывод, что летательный аппарат неприятельский.
Пусть в момент времени 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]

115 тот же или более поздний, чем самый поздний момент времени, на который фиксирована любая формула из множества Events \.
Таким образом, рассуждения, формализуемые в TDLC, это рассуждения о мире, эволюционирующем во времени и знания о котором неполны, но пополняются и изменяются по мере поступления новых частных фактов, выражаемых формулами, входящими в множество Events соответствующей временной теории с умолчаниями.
При этом операционные знания об этом мире не меняются во времени.
Их можно подразделить на надёжные, выражаемые формулами из множества Rules, и правдоподобные, выражаемые при помощи временных умолчаний.
Эти рассуждения немонотонны, причём немонотонность обусловлена необходимостью пересмотра выводов, которые делаются на основе ошибочных предположений, принятых в условиях дефицита времени.
Механизм функционирования предлагаемой немонотонной временной логики умолчаний рассмотрим на модельной задаче “Инцидент”.
Пусть в момент времени tl обнаруженному ранее и находящемуся в опасной близости от охраняемого объекта летательному аппарату (JIA 1) был послан запрос с требованием идентифицировать себя.
Пусть в течении 30 секунд после запроса никакого ответа не последовало, и в момент времени t2=tl+ 30 был сделан вывод, что летательный аппарат неприятельский.
Пусть в момент времени t3=tl+ 37 от него был получен ответ о его принадлежности к союзникам.
Рассуждения стороны, предположившей, что ЛА1
неприятельский, а потом отказавшейся от этого предположения, реконструируем с использованием TDLC, для чего будем использовать следующие предикатные символы (элементы множества Р): запрос (х,у) объекту х направлен запрос у; ответ (х,у) от объекта х получен ответ у;

[стр.,116]

враг(х) объект (х) является неприятельским.
Будем считать, что всем перечисленным выше предикатным символам присваиваются одни и те же локальные часы, совпадающие с глобальными часами
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, “Я свой”)

[Back]