|
Известия Иркутского государственного университета. Серия «Математика», 2011, том 4, выпуск 1, страницы 57–72
(Mi iigum94)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Объектно-ориентированная дескриптивная логика
А. А. Малых, А. В. Манцивода Иркутский государственный университет
Аннотация:
В работе развиваются логические формализмы, связанные с объектно-ориентированным моделированием. В частности, анализируется опыт работы с дескриптивными логиками, ориентированными на построение объектных моделей логическими средствами (т.н. ОО-проекциями), и рассматриваются вопросы дальнейшего развития этих формализмов. Вводится понятие объектной теории как расширение определения ОО-проекций.
Ключевые слова:
дескриптивная логика, объектная модель, ОО-проекция, объектная теория, база знаний, язык программирования Libretto.
Образец цитирования:
А. А. Малых, А. В. Манцивода, “Объектно-ориентированная дескриптивная логика”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 57–72
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum94 https://www.mathnet.ru/rus/iigum/v4/i1/p57
|
Статистика просмотров: |
Страница аннотации: | 219 | PDF полного текста: | 171 | Список литературы: | 45 |
|