Псевдофизические логики

МПЗ

ИИС
Источники МПЗ БЗ
знаний

Временные модели
Свойства времени

Направленность
Линейность
Непрерывность
Бесконечность
Гомогенность

Временные модели

Объекты - события, процессы, явления.
Типы объектов:
-

Временные модели

Отношения для точечных событий
r1(x,y) – “события x и y

Временные модели

Отношения для интервальных событий
R1(x,y) – “события x и

Временные модели

Метрические для точечных событий
r11(x,t,L) – “событие x происходит в

Временные модели

Метрические отношения
для интервальных событий
R11(x,t,L) – “длительность события

Временные модели

P - интервальное событие
μн(P) – момент начала события Р

Временные модели

P - интервальное событие
μн(P) – момент начала события Р

Временные модели

P - интервальное событие
μн(P) – момент начала события Р

Временные модели

Пример. 22 июня 1941 г. началась Великая Отечественная война ,

Временные модели

Пример. 22 июня 1941 г. началась Великая Отечественная война ,

Временные модели

Пример. 22 июня 1941 г. началась Великая Отечественная война ,

Временные модели

Пример.
События:
P1 – Отечественная война (интервальное);
P2 - объявление окончания

Временная модель (пример)

22 июня 1941 г. началась Великая Отечественная война

Временная модель (пример)

L2 22.06.41 L1
R2 R1
5
P1

Временные модели

Временная структура сценария:
Т= R1(Р1, 22.06.41 , L1) & R2(Р1, 5,

Правила вывода (примеры)

r11(x, t, L) & r11(y, t, L) r1(x,y)
r1(x,y)

Временная логика

Множество событий:
{ pi} i=1,Ni, {Pk, μн(Pk) , μк(Pk)

Пространственные модели

Объекты - элементы реального пространства.
Отношения отражают пространственное

Пространственные модели

Отношения отражают :
- ориентацию объектов в пространстве
(вертикально, горизонтально,…),

Шкалы

Элементы шкалы:
- точка отсчета;
       - единичный отрезок,
       - направление.

Пространственные отношения

R1(x,y,z,L) – “расстояние между x и y равно z по

Псевдофизические логики

-   обеспечивают представление ПО
на логическом языке,
-   отражают характерные