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

Рассмотренные ограничения исключают возможность использования этого подхода для формализации временных рассуждений в ДЭС.
Другой класс способов представления временных зависимостей это подходы, явным образом моделирующие время (временные логики).
Временные логики можно классифицировать на два подкласса: модальные временные логики и временные расширения классической логики.
В модальных логиках [1 0 2] время учитывается в семантике логики, с помощью введения как правило двух модальных операторов □ А и
ФА, которые означают соответственно “А истинна во всех моментах времени” и “А истинна в некоторый момент времени”.
При этом с точки зрения семантики возможных миров под возможными мирами понимаются моменты времени.
Во временных расширениях классической логики время учитывается в синтаксисе логики обычно это различные модификации логики первого порядка с явным учетом фактора времени.
Для построения временной логики необходимо принять решения о представлении времени.
Это касается прежде всего выбора базовых временных примитивов и структуры времени.
В качестве базовых временных примитивов обычно используются моменты времени, временные интервалы, или смешанные примитивы.
Так, в формализме McDermott
[112] применяются два типа конструкций: те, которые интерпретируются над моментами времени факты, и другие, связанные с интервалами события.
Существуют формализмы
(например, логика Аллена [111, 112]), в которых в качестве базовых примитивов используются временные интервалы.
При необходимости интерпретации над моментами времени в них используется интерпретация над интервалами нулевой продолжительности.

Выбор структуры времени предполагает решение следующих
задач: • время линейное или частично упорядоченное.
В большинстве формализмов оно рассматривается как линейное; • время дискретное или непрерывное.
Время дискретно, если между каждой парой моментов времени существует конечное множество моментов
[стр. 84]

84 Рассмотренные ограничения исключают возможность использования этого подхода для формализации временных рассуждений в ИСРВ.
Другой класс способов представления временных зависимостей это подходы, явным образом моделирующие время (временные логики).
Временные логики можно классифицировать на два подкласса: модальные временные логики и временные расширения классической логики.
В модальных логиках [102] время учитывается в семантике логики, с помощью введения как правило двух модальных операторов □ А и
0А, которые означают соответственно “А истинна во всех моментах времени” и “А истинна в некоторый момент времени”.
При этом с точки зрения семантики возможных миров под возможными мирами понимаются моменты времени.
Во временных расширениях классической логики время учитывается в синтаксисе логики обычно это различные модификации логики первого порядка с явным учетом фактора времени.
Для построения временной логики необходимо принять решения о представлении времени.
Это касается прежде всего выбора базовых временных примитивов и структуры времени.
В качестве базовых временных примитивов обычно используются моменты времени, временные интервалы, или смешанные примитивы.
Так, в формализме McDermott
[170] применяются два типа конструкций: те, которые интерпретируются над моментами времени факты, и другие, связанные с интервалами события.
Существуют формализмы
(логика Аллена [131, 132]), в которых в качестве базовых примитивов используются временные интервалы.
При необходимости интерпретации над моментами времени в них используется интерпретация над интервалами нулевой продолжительности.

К последним относится и временная логика TLC.


[стр.,85]

85 Выбор структуры времени предполагает решение следующих подпроблем: • время линейное или частично упорядоченное.
В большинстве формализмов оно рассматривается как линейное; • время дискретное или непрерывное.
Время дискретно, если между каждой парой моментов времени существует конечное множество моментов
времени; время непрерывно (компактно), если между каждой парой точек существует другая точка; • время полное или неполное.
Структура полна, если для каждой последовательности точек, которая ограничена сверху другой точкой, существует такая точка, которая является, по крайней мере, верхней границей последовательности.
Если время непрерывно, то оно полно, в дискретном времени оно неполно; • время ограниченное или неограниченное, т.е ограничен или неограничен интервал времени, на котором происходит временная интерпретация.
На основании проведенного анализа временных логик в качестве базовой для проведения временных рассуждений в символьнологическом уровне ИСРВ была принята временная логика с часами TLC (Temporal Logic with Clock), предложенной первоначально в [167] для целей верификации реактивных систем [136].
TLC является временной модальной логикой, семантика которой такова, что каждая формула при конкретной временной интерпретации ассоциируется со своими локальными часами, т.е.
с подпоследовательностями последовательности натуральных чисел, мыслимой как “глобальная” временная шкала (глобальные часы), при этом конкретные значения формула приобретает в соответствии с семантикой TLC только для моментов времени (соответствующих натуральных чисел) на её локальных часах.
В ос

[Back]