Представление и обработка темпоральной информации в интеллектуальных системах

• Автор: Кандрашина, Елена Юрьевна
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Новосибирск
• Количество страниц: 169 c. : ил

В в е д е н и е

Глава I. Общая характеристика Т-модели

1.1. Т-модель как формальная система

1.2. Содержательная интерпретация основных объектов (сортов) Т-модели

1.3. Т-модель как пакет темпоральных знаний

Глава 2. Объекты типа ТОЧка и КОЛИЧество

2.1. Отношения над ТОЧками

2.2. КОЛИЧество и соотносимые с ним понятия

2.3. Взаимосвязь порядковых отношений и функции расстояния

Глава 3. Объект типа ИНТервал

3.1. Интервальные порядковые отношения

3.2. Метрические отношения
3.3. Приблизительные интервальные отношения
3.4. Обобщенный ИНТервал
Глава 4. Объект типа ЦЕПЬ
4.1. Фрейм понятия ЦЕПЬ
4.2. ЦЕПЬ и ее элементы
4.3. Плотные и регулярные ЦЕПи
4.4. Примеры использования понятия ЦЕПЬ
Глава 5. Отношения соотносимые с объектом типа ЦЕПЬ
5.1. Множественные отношения
5.2. Отношения, обобщающие основные интервальные
5.3. Поэлементные связи ЦЕПей
5.4. ЦЕПЬ как основа представления датирующих выражений
Глава 6. Программный эксперимент

6.1. Общая схема системы ВРЕМЯ
6.2. Модуль БАЗА
6.3. Н-ПРОЦессор
6.4. Специализированный продукционный модуль
6.5. Модуль ФИЛЬТР
6.6. Разбор примера
Заключение
Литература
Приложение
I. Схема Т-пакета
П. Аксиоматика группы приблизительных отношений
Ш. Схема Т-конфигурации и основных программных модулей системы ВРЕМЯ
IV. Описание синтаксиса входных сообщений и основных информационных структур системы ВРЕМЯ
V. Состав постоянной части БЗ и БД модуля ФИЛЬТР, представляющей комплекс темпоральных знаний
VI.Комплекс знаний, поддерживающих процесс обработки тестовых сообщений и представление последних в синтаксисе входного языка системы ВРЕМЯ

I. Основным содержанием работы является описание формальной модели времени (в дальнейшем именуемой Т-моделью) как своеобразного "пакета" темпоральных знаний, предназначенного для технологической поддержки процесса формирования одноименной компоненты баз знаний в интеллектуальных системах.
В связи с наметившимся за последнее время процессом интеллектуализации ЭВМ, выражающимся во включении механизмов и систем искусственного интеллекта (ИИ) в их стандартное матобеспечение, разработки, осуществляемые в данной области приобрели особую актуальность [1,2]. Предметом ИИ как области науки является изучение, моделирование и имитация, как правило, средствами программных систем, различных аспектов человеческой деятельности традиционно относимых к разряду интеллектуальной. Можно указать на четыре основных класса систем такого рода (далее будем именовать их интеллектуальными), определяющих проблематику направления в целом:
- системы, оперирующие со знаниями, в частности, вопросно-ответные, или интеллектуальные диалоговые системы, обеспечивающие взаимодействие пользователя с проблемно-ориентированными базами данных (ВД) на ограниченном естественном языке, системы такого рода реализуют поиск и/или ввод информации в ЦЦ, а также вывод новых фактов на основе знаний о предметной области [3-6];
- системы управления сложными объектами, для которых не существует точных моделей, например, системы ситуационного управления (автоматизация диспетчерского управления таких объектов, как морской порт, рабочие участки механических цехов, посадка
и прием самолетов в аэропортах и т.д.), реализуемые на основе понятия семиотической модели [7-9];

ГЛАВА 3. ОБЪЕКТ ТИПА ИНТЕРВАЛ
В данной главе рассматриваются объекты ИНТ, ЛУЧ, ОБ-ИНТ, а также соотносимые с ними отношения и операции. Выделяется три содержательно различных группы интервальных отношений:
- порядковые, фиксирующие взаимное расположение Интервалов (определяются в терминах порядковых отношений над ТОЧками);
- метрические, соотносящие с Интервалом (парой Интервалов) количественные значения длины, расстояния, - это отношение РАССТ и слот длина;
- приблизительные интервальные отношения, совмещающие в себе информацию о порядковом расположении Интервалов и их метрических характеристиках (в сравнении).
После рассмотрения всего комплекса понятий, связываемых с ИНТервалом, вводятся фреймы объектов ЛУЧ и ОБобщенный-ИНТервал.
3.1. Интервальные порядковые отношения
В рамках геометрической интерпретации объект типа ИНТервал определяется как пара нетождественных точек (концевые точки интервала) , одна из которых является началом, а вторая концом интервала, расстояние между ними- соответствует его длине. С объектом типа ИНТервал соотносится следующий фрейм:

начало = ТОЧ - х конец = ТОЧ * у длина = КОЖЧ •
А: X < у
Ъ = к11 * > Я
Порядковые отношения, определяемые над Интервалами, делятся