UDC 519.816(045)
ALGORITHMS FOR SOLUTIONS INFERENCE BASED ON UNIFIED
LOGICAL CONTROL MODELS
Abstract. Unified forms of knowledge representation models in expert control systems are proposed. It is proved that at quantitative measurement of the characteristics of the state of the controlled object, the task of deriving a control solution is reduced to the investigation of a combinatorial optimization problem with a linear structure and two-sided inequality constraints. An algorithm for solving such problems is given, which implements the idea of directional selection of variants.
Keywords: expert systems, control, logical models, algorithms, inference of decisions, optimization.
FULL TEXT
REFERENCES
- Logman M. The LOGMAN model: A logical brand management model. Journal of Product & Brand Management. 2004. Vol. 13, N 2. P. 94–104. https://doi.org/10.1108/10610420410529726.
- Giblin C., Liu Alice Y., Muller S., Pfitzmann B., Zhou X. Regulations expressed as logical models (REALM). In: Proc. of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005. The Eighteenth Annual Conference. 2005. P. 37–48.
- Meytus V.Yu. Problems of constructing intelligent systems. Levels of intelligence. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 4. P. 32–44.
- Khilenko V.V. , Strzelecki R., Kotuliak I. Solving the problems of dynamic variability of artificial intelligence systems that control dynamic technical objects. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 6. P. 18–26.
- Anisimov A.V., Marchenko A.A., Zemlyanskiy V.R. Evolutionary method of constructing artificial intelligence systems. Kibernetika i sistemnyj analiz. 2019. Vol. 55, N 1. P. 3–13.
- Jarratano J., Riley G. Expert systems: principles of development and programming [Russian translation]. Moscow: Williams, 2007. 1152 p.
- Makarov I.M., Lokhin V.M., Manko S.V., Romanov M.P. Artificial intelligence and intelligent control systems [in Russian]. Moscow: Nauka, 2006. 333 p.
- Russell S., Norvig P. Artificial Intelligence. The modern approach [Russian translation]. Moscow: Williams, 2007. 1410 p.
- Litvinenko A.E. Directed-search method in control and diagnosis systems [in Ukrainian]. Kyiv: Nauk.-vyd. tsentr NBUV. 2007. 328 p.
- Vagin V.N. Deduction and generalization in decision making systems [in Russian]. Moscow: Nauka, 1988. 384 p.
- Melikhov A.N., Bernstein L.S., Korovin S.Ya. Situational advisory systems with fuzzy logic [in Russian]. Moscow: Nauka, 1990. 272 p.
