Исчисление объектов в системно-объектном методе представления знаний

В работе рассмотрены способы формализации системного подхода “Узел-Функция-Объект” и основанного на этом подходе системно-объектного метода представления знаний. Обоснована целесообразность применения для дальнейшей формализации некоторых идей исчисления объектов Абади-Кардели и теории паттернов Гренандера. По аналогии с указанными алгебраическими аппаратами разработано исчисление специальных объектов, представляющих элементы системно-объектных моделей, которое включает графический формализм и основные операции с объектами. Показано, что с помощью предложенного формально-семантического алфавита специальных объектов на основе базовой иерархии классов системных связей, возможно, упростить процедуру декомпозиции сложной системы. Дано обоснование ряда общесистемных закономерностей.