RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2025 Volume 51, Pages 116–129 (Mi iigum600)

This article is cited in 5 papers

Algebraic and logical methods in computer science and artificial intelligence

Object ontologies as a Priori models for logical-probabilistic machine learning

D. N. Gavrilin, A. V. Mantsivoda

Irkutsk State University, Irkutsk, Russian Federation

Abstract: Logical-probabilistic machine learning (LPML) is an AI method able to explicitly work with a priori knowledge represented in data models. This feature significantly complements traditional deep learning knowledge acquiring. Object ontologies are a promising example of such a priori models. They are an expanded logical analog of object oriented programming models. While forming the core of the bSystem platform, object ontologies allow solving the applied problems of high complexity, in particular, in the field of management. The combination of LPML and object ontologies is capable of solving the forecasting problems, the tasks of automated control, problem detection, decision making, and business process synthesis. The proximity of object ontologies to the LPML formalism due to the same semantic modeling background makes it possible to integrate them within a single hybrid formal system, which is presented in this paper. In the paper we introduce the approach to integration of these two formalisms and provide some algorithmic basis for the implementation of the resulting hybrid formalism on the bSystem platform.

Keywords: object ontology, logical-probabilistic inference, bSystem platform.

UDC: 004.89

MSC: 68T35, 68T27

Received: 15.10.2024
Revised: 25.11.2024
Accepted: 27.11.2024

Language: English

DOI: 10.26516/1997-7670.2025.51.116



© Steklov Math. Inst. of RAS, 2026