Язык спецификации дискретных динамических систем, ориентированных на знания, структурированные в онтологиях

В статье рассматривается язык ABML (Attribute-Based Modeling Language), предназначенный для спецификации и прототипирования дискретных динамических систем, ориентированных на знания, структурированные в онтологиях. Язык позволяет формально описывать как онтологические модели систем, так и правила их функционирования, включая динамическое изменение структуры знаний и состояний объектов. ABML реализован как лексическое расширение диалекта Common Lisp (SBCL) и опирается на минимальный, но выразительный концептуальный базис, включающий объекты, атрибуты и типы объектов. Особое внимание уделяется разделению объектов на изменяемые и константные, а также механизмам типизации, основанным на атрибутах. В работе подробно описаны средства языка для задания типов, создания и модификации объектов, сопоставления с образцом и вычисления атрибутов. Ключевым элементом ABML является механизм атрибутных замыканий, позволяющий формализовать контекстно-зависимые вычисления атрибутов и моделировать динамику систем в дискретном времени. Практическая применимость языка демонстрируется на примере моделирования сушилки для рук, для которой построена онтология, а также описаны правила инициализации и функционирования системы. Представленный подход показывает, что ABML может служить удобным инструментом для онтологического моделирования интеллектуальных, информационных и программных систем.