Системная информатика, 2025, № 29

Графы знаний проделали большой путь эволюции от простого множества RDF-триплет до систем получения новых знаний. Если в прежние годы основным приложением графов знаний считался семантический поиск, то на современном этапе графы знаний проникают во все области промышленного производства. Данная работа представляет обзор новых вариантов графов знаний, таких виртуальные графы знаний, динамические графы знаний и исполняемые графы знаний, применяемые в современном производстве, а также основную область их применения - когнитивные цифровые двойники. Также в работе кратко рассмотрены способы построения графов знаний при помощи больших языковых моделей и повышение качества работы больших языковых моделей за счет применения графов знаний.

В статье определяется и исследуется семейство тестовых эквивалентностей в контексте непрерывно-временных безопасных сетей Петри (ВСП) с возможностью отмены (обратимости) выполненных действий. Тестовые эквивалентности рассматриваются в интерливинговой и шаговой семантиках, семантике частичного порядка и комбинации этих семантик. Для представления вычислений ВСП используется частично-упорядоченная семантика временных причинных сетей-процессов. Обратимость действий рассматривается как возможность отмены в вычислении одиночных или параллельных действий, максимальных в данном вычислении относительно отношения причинной зависимости. В статье устанавливается иерархия взаимосвязей между рассматриваемыми эквивалентностями.

Реверсивные (обратимые) вычисления, широко изучаемые в последние годы, представляют собой нетрадиционную форму вычислений, которые могут быть выполнены как в прямом, так и в обратном направлении. Любая последовательность действий, выполняемых системой, впоследствии может быть отменена по какой-либо причине (например, в случае ошибки), что позволяет восстановить предыдущие состояния системы, как если бы отмененные действия вообще не выполнялись. Структуры событий — это основополагающая модель теории параллелизма, позволяющая понять параллельные процессы путем описания происходящих событий и взаимосвязей между ними. В литературе выделяются два структурно отличающихся подхода к построению семантики систем переходов для моделей структур событий. Один подход основан на конфигурациях, т.е. наборах уже выполненных событий, а другой — на остаточных структурах, т.е. еще невыполненных фрагментах модели. Системы переходов, основанные на конфигурациях, в основном используются для представления семантики и эквивалентностей моделей параллелизма. Системы переходов, построенные на остаточных структурах, активно применяются для демонстрации согласованности операционной и денотационной семантик алгебраических исчислений параллельных процессов, а также для визуализации поведения моделей. В настоящей статье дается теоретико-категорная характеризация этих типов семантик систем переходов для обратимых первичных структур событий, учитывающих при отмене событий их причинно-следственные зависимости, и устанавливается взаимосвязь между семантиками, что может помочь при построении алгебраических описаний композиций обратимых параллельных процессов.