Математическая логика и теория алгоритмов. Анкудинов Г.И - 56 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

Темпоральная логика. Темпоральная логика (логика времени
*
)
используется для описания временных отношений между объектами
(событиями) предметной области. Введем в рассмотрение множество T={t
1
, t
2
,
t
3
…} моментов времени и множество E={e
1
, e
2
, …, e
n
} событий.
Предполагаются естественные свойства времени: однонаправленность,
линейность, непрерывность, бесконечность, гомогенность (однородность).
Ограничимся рассмотрением точечных событий, т.е. событий, которые
существуют только в один единственный момент времени t∈T. На множестве
точечных событий зададим временные отношения: r
0
– происходить
одновременно, r
1
– быть раньше, r
2
– быть позже, r
3
n,L
– быть раньше на n
единиц времени по шкале L, r
4
L
t – происходить в момент t по шкале L.
Используем в качестве аксиом множество продукций вида
α
,
β
⎥−
γ
(пример отношения
γ
выводится из примеров
α
и
β
).
(3.33)
(e
i
r
3
n,L
e
j
)⎥− (e
i
r
1
e ),
j
(e
i
r
1
e
j
), (e
j
r
1
e
k
)⎥− (e
i
r
1
e ),
(3.34)
k
(e
i
r
3
n,L
e
j
), (e
j
r
3
m,L
e
k
)⎥− (e
i
r
3
n+m,L
e ),
(3.35)
k
(e
i
r
4
L
t
), (e
i
r
3
n,L
e
j
)⎥− (e
j
r
4
L
(t ⊕ n)),
(3.36)
где ⊕ – операция суммирования по шкале L.
Используем также множество правил вывода
Φ
1
, Φ
2
⎥− Φ
3
Φ & Φ
1 2
Φ & Φ
1 2
Φ
3
Φ
1
Φ
2
, ,
.
Рассмотрим описание ситуации на естественном языке: “29 апреля
группа экскурсантов прибыла на вокзал, а затем заняла места в поезде Санкт-
Петербург – Москва. Поезд отправился в 23 часа 55 мин. Поезд находился в
пути 8 часов и прибыл в Москву”. Выделим точечные события: e
1
– “прибытие
на вокзал”, e
– “посадка на поезд”, e – “отправление поезда”, e
2 3 4
– “прибытие
поезда”.
*
Литвинцева Л.В., Поспелов Д.А. Пополнение знаний // Искусственный интеллект. — В 3-х
кн. Кн. 2. Модели и методы. – М.: Радио и связь, 1990. – С. 76 – 81.
140

Страницы