Viktor Levykin, Oksana Chala


The problem of constructing and expanding the temporal knowledge base for the information-control system is considered. This knowledge base is formally represented by the Markov logic network. It is shown that the behavior of the control object of a given class can be reflected in the form of a set of weighted temporal rules. These rules are formed on the basis of identifying links between events that reflect known variants of the behavior of the control object. A method is proposed for calculating the weights of temporal rules in a Markov logic network for a given level of detail of the control object. The level of detail is determined by the context for executing the sequences of control actions and for weighted temporal rules is specified by selecting subsets of the event attributes. The method includes such basic phases: preparation of a subset of temporal rules for a given level of detail; finding the weights of the rules taking into account the a priori probabilities of the event traces. The method creates conditions for supporting management decisions in information management systems at various levels of detail of complex management objects. Decision support is provided by predicting the probability of success in executing a sequence of actions that implement the management function in the current situation. These probabilities are determined using the weights of the temporal rules.


temporal rule; temporal knowledge base; information control system; event log; event attributes

Full Text:



Shin, J., Wu, S., Wang, F., De Sa, C., Zhang, C., Ré, C. (2015). Incremental knowledge base construction using DeepDive. Proceedings of the VLDB Endowment, 8 (11), 1310–1321. doi:

Nguyen, D. B., Abujabal, A., Tran, N. K., Theobald, M., Weikum, G. (2017). Query-driven on-the-fly knowledge base construction. Proceedings of the VLDB Endowment, 11 (1), 66–79. doi:

Re, C., Sadeghian, A., Shan, Z., Shin, J., Wang, F. Wu, S. et. al. (2014). Feature Engineering for Knowledge Base Construction. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 37, 26–40.

Kendal, S. L., Creen, M. (2007). An introduction to knowledge engineering. London: Springer, 290. doi:

Nakashole, N., Weikum, G. (2012). Real-time Population of Knowledge Bases: Opportunities and Challenges. Proceedings of the Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction (AKBC-WEKEX) AKBC Workshop. Montreal, 41–45.

Kalynychenko, O., Chalyi, S., Bodyanskiy, Y., Golian, V., Golian, N. (2013). Implementation of search mechanism for implicit dependences in process mining. 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). doi:

Galarraga, L., Heitz, G., Murphy, K., Suchanek, F. M. (2014). Canonicalizing Open Knowledge Bases. Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management – CIKM ’14. Shanghai, 1679–1688. doi:

Niu, F., Zhang, C., Re, C. (2012). DeepDive: Web-scale Knowledge-base Construction using Statistical Learning and Inference. VLDS, 25–28.

Huynh, T. N., Mooney, R. J. (2010). Online Max-Margin Weight. Proceedings of the 6th AAAI Conference on Statistical Relational Artificial Intelligence. AAAIWS'10-06. Atlanta, 32–37.

Huynh, T. N., Raymond, J. (2009). MooneyMax-Margin Weight Learning for Markov Logic Networks. Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Bled, 564–579. doi:

Richardson, M., Domingos, P. (2006). Markov logic networks. Machine Learning, 62 (1-2), 107–136. doi:

Niu, F., Zhang, C., Re, C., Shavlik, J. (2012). Scaling inference for markov logic via dual decomposition. 12th International Conference on Data Mining (ICDM). Brussels, 1032–1037. doi:

Singla, P., Domingos, P. (2006). Entity resolution with Markov logic. 6 th International Conference on Data Mining (ICDM). Hong Kong. doi:

Sarkhel, S., Venugopal, D., Singla, P., Gogate, V. (2014). Lifted MAP Inference for Markov Logic Networks. 17th International Conference on Artificial Intelligence and Statistics (AISTATS), 859–867.

Gogate, V., Domingos, P. (2010). Formula-Based Probabilistic Inference. Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence.

Levykin, V., Chala, O. (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:

Chalyi, S., Levykin, I., Petrychenko, A., Bogatov, I. (2018). Causality-based model checking in business process management tasks. IEEE 9th International Conference on Dependable Systems, Services and Technologies DESSERT’2018. Kyiv, 478–483. doi:

Shewchuck, J. (1994). An introduction to the conjugate gradient method without the agonizing pain. Technical Report CMU-CS-94-125. Pittsburgh, 58.

Singla, P., Domingos, P. (2005). Discriminative Training of Markov Logic Networks. Proceedings of the 20th national conference on Artificial intelligence. Available at:

Lowd, D., Domingos, P. (2007). Efficient weight learning for Markov logic networks. European Conference on Principles of Data Mining and Knowledge Discovery. Knowledge discovery in databases: PKDD, 200–211. doi:



  • There are currently no refbacks.

Copyright (c) 2018 Viktor Levykin, Oksana Chala

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

ISSN 2461-4262 (Online), ISSN 2461-4254 (Print)