Интервальная временная логика и грамматические времена

• Автор: Шапчиц, Павел Анатольевич
• Шифр специальности: 09.00.07
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Санкт-Петербург
• Количество страниц: 170 с.

ОГЛАВЛЕНИЕ
Введение

0.1. Роль временных логик. О некоторых недостатках

невременных логик.

0.2. Виды временных логик

0.2.1. Первопорядковые временные логики. Метод временных

аргументов.

0.2.2. Модальные временные логики

0.2.3. Овеществлнные временные логики.

0.3. Структура времени.

0.3.1. Точечные структуры времени. Потоки времени

0.3.2. Ветвящееся время
0.3.3. Циклическое время.
0.3.4. Интервальная структура времени
1. Интервальная временная логика iv i.
1.1. Дискуссия о семантическом примитиве точки и интервалы
1.1.1. Точки.
1.1.2. Интервалы.
1.2. Точечные интервальные временные логики
1.2.1. Логика временных интервалов Дж.Хальпсрна и Й.Шохэма.
1.2.1.1. Семантические идеи Дж.Хальперна и Й.Шохэма.
1.2.1.2. Формальная семантика системы Хальиерна и Шохэма
1.3. Интервальная временная логика с интервалами в качестве примитивов
1.3.1. Логика интервалов Чарльза Л. Хэмблина.
1.3.2. Концепция интервальной временной логики Дж.Ф. Аллена
1.3.3. Представление временных точек в поздних работах Аллена.
1.3.4. Временные отношения и ограничения.
1.3.4.1. Отношения Ивина
1.3.4.2. Отношения Брюса
1.3.4.3. Новшество Аллена.
1.3.4.4. Алгоритм обновления сети интервальных ограничений.
1.4. Комбинированные семантические подходы к построению
интервальной временной логики
2. Интервальная логика грамматических времн iv i
2.1. О возможности логики грамматических времн. О роли
глагольных предикатов и об их типологиях.
2.2. Буридан и фокусировка масштаба для момента настоящего.
2.3. Момент речи, момент события и точка референции
2.4. Диспозиции
2.5. Типология глагольных предикатов Вендлера и Кенни
2.5.1. Типология Зено Вендлера.
2.5.2. Типология Энтони Кенни.
2.6. Схема Морелатоса.
3. Применения интервальных временных логик
3.1. Грамматический взгляд на проблему разделяющего мгновения
3.2. О выражении различных типов высказываний средствами
динамической логики.
3.3. Точки и мгновения. Апории Зенона.
3.4. Интервальная временная логика и искусственный интеллект
3.4.1. Теория действия Дж.Ф.Аллена
3.4.1.1. Предыдущие решения, проблемы и требования, предъявляемые к теории действия
3.4.1.2. Временная логика для теории действия
3.4.1.3. Определение явлений
3.4.1.4. Определений действий
3.4.2. Теория планирования и интервальная временная логика
3.4.2.1.К понятию плана у Дж.Ф. Аллена.
3.4.2.2., диаграммы Гантта. Их применение в бизнесе
З.4.2.2.1. Представление и расчт длительности процессов.
Метод .
ЗА2. Диаграммы Гантга
3.4.2.2.3. Применение диаграмм Гантта и сетей к
моделированию и анализу бизнеспроцссса
Заключение
Список литературы


В статье Джон Брждесс, следуя идеям неопубликованной диссертации Кэмпа, формулирует систему аксиом для временной логики с использованием операторов i с тех пор, как и i до тех пор, как. В работе Ходкинсона21 описывается способ задания произвольных временных операторов посредством первопорядковых таблиц. Модальными логиками являются и некоторые интервальные логики. Если в точечных временных логиках ключевым является понятие настоящего момента, то интервальные модальные логики основываются на идее данного интервала. Интервальная логика ХальпернаШохэма излагается ниже, в разделе 1. В отличие от МВЛ, внедрение модальных I затруднялось сложностью доказательства теорем . Работы по усовершенствованию техники доказательства отдельно посвящались модальным логикам. Третьим типом ВЛ являются овеществлнные ВЛ, широко распространившиеся в е годы они описаны в работе и Найта. Идея данного подхода заключается в овеществлении овременнных высказываний т. Эти высказывания подставляются в качестве аргументов в определнные предикаты, выражающие утверждения о том, что данное высказывание имеет место в определнное время или в определнном временном интервале. Р xi i 1. i i i, V , 4, , . Ii I. . i i . . . i . II, v. . 0. i . i i . II 4 . i i. , . i i ii, i . . 76. . i . i ivii I , V. . . 32. МакДермотта , интервальная логика Аллена , исчисление событий Ковальский и Серго , Шанахан , управление картами времени, логика Шохэма3. О.2. З.1. Привлекательность данного подхода в значительной степени объясняется возможностью именовать действия, события, свойства и состояния, оставаясь при этом в пределах логики первого порядка. Это невозможно в рамках метода временных аргументов или в рамках модальной ВЛ. Введение переменных для действий, событий и т. Всякий раз после дождя Анна открывала окно или Следствия всегда следуют за при чинами 4. Вместо того, чтобы вводить сложные многоаргументные предикаты например, опА,В,Г Предмет А находится на предмете В на протяжении интервала , в статье К общей теории действия и времени Дж. Ф. Аллен предлагает разделить временную и пропозициональную информацию, выражая ту же мысль формулой НОШВопА. В,,Г5. Однако главное преимущество такого подхода в другом он позволяет вводить различные предикаты для истинности на интервалах. . . ii i iii Iii Ii 4 32 ii i . ii ii , 3 51 XI. . xi i ii i I 05. . i i . 6, i , ivi, v, , . Также в iiv i. , . . i i 1 2, , . i , . i v i i 4 . Также в i , . I. i, . v 70. . iiiv v iii Ii 94. Т. . V. iii Ii 59. . i i I i i ii iii Ii , . , . . . ii i iii Ii . . 8. , . . i i I 2, , . I4.