Исследование возможности использования системы концептуальных языков "Бинарная Модель Данных и Знаний" для решения задач, связанных со спецификацией систем движущихся объектов. Анализ абстракций, используемых при описании геометрических объектов.
Аннотация к работе
Были разработаны компьютерные системы, обрабатывающие информацию о движущихся объектах (например, интеллектуальные системы управления дорожным движением). В таких системах ключевую роль играют базы данных, которые, в частности, хранят информацию о движении объектов. При моделировании в MODB физический объект представляется пространственно-временным (информационным) объектом, имеющим атрибуты, значениями которых служат положения физического объекта в текущий и предыдущие моменты времени.· множество Г точек соотнесения (обозначают взгляды, точки зрения, контексты, моменты времени, интервалы времени и т.п.); · для каждой точки соотнесения ? Г - подмножество ЕС? UC (т.е. множество имен, обозначающих примеры понятия С в точке соотнесения ?); Понятия C, D и E обозначают классы объектов, а понятие L - бинарную связь между классами C и D. Авто[Марка:String], Авто[Производитель:Фирма], Авто[Номер:String], Авто[Дата_выпуска:Date], Авто[Мотор] получается одно составное структурное предложение Поэтому для спецификации экстенсионалов понятий необходимы логические предложения, которые играют роль ограничений, налагаемых на имена из универсумов, чтобы они обозначали примеры этих понятий.
План
Содержание этого раздела основано на работе [3].
Список литературы
1. Wolfson O., Xu B., Chamberlain S., Jiang L. Moving Object Database: Issue and Solutions// Proceedings of the 10th International Conference on Scientific and Statistical Database Management, Naperville, 1998.
2. Sistla P., Wolfson O., Chamberlain S. Modeling and Querying Moving Objects // Proceedings 13th International Conference on Data Engineering, Birmingham, 1997.
3. Plesniewicz G.S. Binary Data and Knowledge Model// Knowledge-based Software Engineering/ Ed. by V. Stefanuk & K. Kaijiri. - Singapore: IOS Press, 2004.
4. Allen J.A. Maintaining Knowledge about Temporal Intervals// Communications of the ACM. - 1983. - Vol. 26.
5. Плесневич Г.С., Тюхов Б.П., Савенков С.С. Логика нечетких интервалов // Интегрированные модели и мягкие вычисления в искусственном интеллекте. Труды 3-го Международного научно-практического семинара (Коломна, 15-17 мая 2005 г.). - М.: Физматлит, 2005. - С. 94-100.