Algebraic Approach to the Description of Temporal Knowledge in Decision Support Tasks

Viktor Levykin, Oksana Chala


The problem of automated construction of a temporal knowledge base for supporting decision-making in solving partially structured and unstructured organizational management problems is considered. The solution to this problem is associated with the formalization of temporal relations, reflecting the implemented sequence of control actions. The formal description should take into account not only the relationship in time between control actions, but also the static dependencies between the structural elements of the organizational management object, represented by the organizational structure of the object. An algebraic approach to the description of temporal knowledge is proposed. According to this approach, common temporal rule is defined. The rule determine the relationship in time between facts. Each logical fact is knowledge about the state of the control object at a certain point in time. The rule establishes temporal dependencies for time-consistent facts, as well as for facts, which are true at certain intervals. The proposed algebraic approach makes it possible to combine temporal relations that reflect the control process with dependencies, taking into account the structure of the control object.

Повний текст:



C.K. Oduoza. “Decision support system based on effective knowledge management framework to process customer order enquiry”, іn Chiang, S. Jao(Eds), Decision Support Systems, INTECH, Croatia, 2010, р. 406.

K. Dalkir “Knowledge Management in Theory and Practice”, Burlington, Massachusetts: Elsevier Butterworth-Heinemann, 2005, 372 p.

V. Levykin, O. Chala “Method of determining weights of temporal rules in markov logic network for building knowledge base in information control system”, EUREKA: Physics and Engineering, 2018, №.5, pp. 3-10. DOI:

V. Levykin, O. Chala (2018). Method of automated construction and expansion of the knowledge base of the business process management system. EUREKA: Physics and Engineering, 4, 29-35. doi: 10.21303/2461-4262.2018.00676.

Levykin, V., Chala, O. (2018). Development of a method for the probabilistic inference of sequences of a business process activities to support the business process management. Eastern-European Journal of Enterprise Technologies, 5 (3 (95)), 16–24. doi:


  • Поки немає зовнішніх посилань.