ЛОГИКА ВРЕМЕНИ.ppt
- Количество слайдов: 14
ЛОГИКА ВРЕМЕНИ Феномен природы Шкалирование: прошлое настоящее будущее (А-системы); раньше, позже (В-системы). Основные свойства: Направленность Линейность Непрерывность Неоканчиваемость Гомогенность
Структура времени определяется исходя из проблемной области. Необходимо принять во внимание следующие аспекты: • дискретность или непрерывность времени, т. е. определяется ли некий минимальный шаг изменения времени, например, 1 сек. , или можно указать сколь угодно малый интервал времени; • полнота или неполнота времени, т. е. существует ли для любой последовательности, принадлежащей некоторой области интерпретации, предел, также принадлежащий этой области, или данное условие не выполняется; • ограниченность или неограниченность времени, т. е. рассматривается ли какой-то достаточно большой, но ограниченный интервал времени, или интервал не ограничен и возможны события, происходящие через бесконечное время; • линейность, ветвистость или цикличность времени, т. е. существует ли полностью определенное отношение предшествования во времени для временных примитивов (линейное время) или это условие не выполняется (ветвящееся или циклическое время); • гомогенность или гетерогенность временных интервалов, т. е. следует или нет из истинности некоторого утверждения над интервалом его истинность над подинтервалами этого интервала.
Временные зависимости могут быть двух типов – количественные и качественные. q Количественные (метрические) зависимости – когда для представления времени используются количественные меры на временной оси, например: «Объект работал 8 часов» . q Качественные зависимости – когда используется только относительное положение во времени событий или действий, например: «Сначала оператор сел за пульт, а затем включил систему» . Ясно, что это два крайних подхода и выразительность представления увеличится при наличии средств, позволяющих выражать как количественные, так и качественные временные зависимости.
ЛОГИКА ВРЕМЕНИ Время в естественном языке Русский язык Лексика Грамматика Английский язык Лексика Грамматика Заполненность отрезка времени действием Единичность или повторяемость Завершённость действия или незавершенность Одновремённость или разновремённость
ЛОГИКА ВРЕМЕНИ Время в лигвиститке НАСТОЯЩЕЕ ПРОШЛОЕ ДП ПО БУДУЩЕЕ ПРП ПСП БН ДН НО МО БН ПРН ПСН ББ ПРБ ПСБ БО ДП – давно прошедшее ДН - давнонастоящее ББ - близкое ПО - одновременное НО одновременное ПРБ - пред ПРП - предпрошедшее МО момент отсчёта ПСБ - после ПСП – после прошедшее БН - близко БО - одновременное БП близко прошедшее ПРН - пред ДБ – далёкое ПСН - после ДБ
ЛОГИКА ВРЕМЕНИ Время и человек точечные прошлое интервальные событие настоящее будущее
ЛОГИКА ВРЕМЕНИ Логика времени точечных событий Неметрические p r 0 q - событие р происходит одновременно с событием q p r 1 q - событие р происходит раньше события q p r 2 q - событие р происходит позже события q Метрические p r 3(n, ) q - событие р происходит раньше на n* события q p r 4 t* - событие р происходит в момент t* Периодические p r 5 - событие р происходит с периодом
Множество интервальных отношений Отношение и его инверсия Обозначения X before Y b Y after X m Y met-by X X- < Y-, X- < Y+, X+ < Y-, X+ < Y+ X Y X- < Y-, X- < Y+, X+ = Y-, X+ < Y+ X Y X- < Y-, X- < Y+, X+ > Y-, X+ < Y+ X Y X- > Y-, X- < Y+, X+ > Y-, X+ < Y+ X Y X- = Y-, X- < Y+, X+ > Y-, X+ < Y+ X Y X- > Y-, X- < Y+, X+ > Y-, X+ = Y+ X Y X- = Y-, X- < Y+, X+ > Y-, X+ = Y+ mi X overlaps Y o Y overlapped-by X oi X during Y d Y includes X di X starts Y started-by X si X finishes Y f Y finished-by X Fi X equals Y E Отношения между конечными точками X Y bi X meets Y Иллюстрация
ЛОГИКА ВРЕМЕНИ Логика времени интервальных событий Неметрические p R 1 q - событие р строго предшествует событию q R 2 - событие р строго следует за событием q R 3 - событие р пересекается с событием q Частные случаи R 3: R 0 R 4 R 5 R 6 R 7 - событие р непосредственно предшествует событию q Метрические p Rm 1 (n, ) q - событие р строго предшествует событию q на n* p Rm 2 (n, ) q - событие р пересекается с событием q начала на n* p Rm 3 (n, ) q - событие р пересекается с событием q концы на n* p Rm 4 (t*, t) - событие р происходит в момент t* и продолжается t Периодические p Rm 5 - событие р происходит с периодом
ЛОГИКА ВРЕМЕНИ Формальная система P ={p 1, pn, ; µн (p 1), µк (p 1), ………. . , µн (pm), µк (pm), } ППФ языка будем строить по следующим правилам. 1. Любой элемент из Р есть ППФ. 2. Выражения вида ( R * ) , где и — ППФ, R* R , есть ППФ 3. Если и — ППФ, то (а& р) — ППФ. 4. Выражения ( R * t), где — ППФ, R* {r 4 , r 5 , Rm 5} t T есть ППФ. 5. Выражения ( * Rm 4 (t, t ), где * — ППФ есть ППФ. 6. Других ППФ нет. Правила вывода pi r 0 pk pk r 0 pi pi r 0 pj & pj r 0 pk pi r 0 pk
ЛОГИКА ПРОСТРАНСТВА Естественный язык две группы средств: лексические (наречия и их конструкции, предлоги, имена существительные и именные группы, глаголы направленного действия) грамматико-морфологические (падежные значения предлогов, которые управляют падежной формой существительных, а также местоимений и числительных). Предлоги — между (расти между кустами), — в (войти в дом), — под (лежать под столом), — из (выйти из дома), — над (пролетать над городом), — вокруг (ходить вокруг дома), — с (слететь с дерева), — до (доехать до метро), — поперек (стоять поперек дороги), — вдоль (бежать вдоль леса), — за (спрятаться за дерево), — на (сесть на скамейку), ч — вне (находиться вне досягаемости), — внутри (жить внутри крепости), — мимо (пройти мимо магазина), у (стоять у камина).
ЛОГИКА ПРОСТРАНСТВА — экстериорные, определяющие положение объекта во внешнем пространстве относительно некоторого начала координат, простран ственного ориентира, или локализатора (например, относительно ЛОКа с именем Париж); — интериорные, определяющие положение объекта во внутрен нем пространстве относительно начала координат или некоторой пространственного ориентира; — диспозитивные, задающие местоположение объекта в про странстве в самом общем виде ( «где-то на севере» ); — супериорные, указывающие местоположение объекта относи тельно верхней поверхности некоторого локализатора, или ориентира — инфериорные, характеризующие положение объекта относи тельно нижней поверхности локализатора или ориентира; — доминантные, указывающие местоположение объекта над не которым локализатором или ориентиром, когда нет в наличии касания;
ЛОГИКА ПРОСТРАНСТВА — антериорные, задающие местоположение объекта перед другим объектом или ориентиром; — постериорные, определяющие положение объекта относительно невидимой (тыльной) стороны другого объекта; — оппозитивные, определяющие местоположение объекта в про тивоположении к другому объекту или локализатору; — интервальные, задающие местоположение объекта между двумя другими; — аппроксимативные, задающие приблизительное положенш объекта в пространстве относительно расстояния или направления ( «где-то в парке» ); — директивные, определяющие направление движения или дей ствия над объектом относительно пространственного ориентира или начала координат; — инициальные, указывающие направление при фиксированной начальной точке;
ЛОГИКА ПРОСТРАНСТВА — терминальные, указывающие направление при фиксированной конечной точке; —лимитативные, указывающие направление при фиксированных начальной и конечной точках; —эксклюзивные, задающие перемещение или действие, происхо дящее внутри некоторого объекта или ЛОКа; — инклюзивные, задающие перемещение или действие, проис ходящее по направлению внутрь некоторого объекта или ЛОКа — трансверсальные, указывающие на пересекаемый простран ственный ориентир ( «перейти через улицу» ); — итинеративные, указывающие на маршрут движения или пере мещения или фиксирующие ЛОК, в котором совершается действие ( «идти по улице» ).
ЛОГИКА ВРЕМЕНИ.ppt