|
Искусственный интеллект и принятие решений, 2017, выпуск 3, страницы 104–115
(Mi iipr258)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Представление знаний
Исчисление объектов в системно-объектном методе представления знаний
С. И. Маторинa, А. Г. Жихаревb, О. А. Зимовецb a АО "СофтКоннект", г. Белгород
b Белгородский государственный национальный исследовательский университет
Аннотация:
В работе рассмотрены способы формализации системного подхода “Узел-Функция-Объект” и основанного на этом подходе
системно-объектного метода представления знаний. Обоснована целесообразность применения для дальнейшей формализации некоторых идей исчисления объектов Абади-Кардели и теории паттернов Гренандера. По аналогии с указанными алгебраическими аппаратами разработано исчисление специальных объектов, представляющих элементы системно-объектных моделей, которое включает графический формализм и основные операции с объектами. Показано, что с помощью предложенного формально-семантического алфавита специальных объектов на основе базовой иерархии классов системных связей, возможно, упростить процедуру декомпозиции сложной системы. Дано обоснование ряда общесистемных закономерностей.
Ключевые слова:
системный подход “Узел-Функция-Объект”, системно-объектный метод представления знаний, исчисление объектов, графический формализм, операции со специальными объектами, формально-семантический алфавит, общесистемные закономерности.
Образец цитирования:
С. И. Маторин, А. Г. Жихарев, О. А. Зимовец, “Исчисление объектов в системно-объектном методе представления знаний”, Искусственный интеллект и принятие решений, 2017, № 3, 104–115; Scientific and Technical Information Processing, 45:5 (2018), 307–316
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr258 https://www.mathnet.ru/rus/iipr/y2017/i3/p104
|
|