Algorithms for Solution Inference Based on Unified Logical Control Models

被引：1
|
作者：
Litvinenko, A. [1 ]
机构：
[1] Natl Avit Univ, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2020年 / 56卷 / 02期
关键词：
expert systems; control; logical models; algorithms; inference of decisions; optimization;
D O I：
10.1007/s10559-020-00234-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 problem of deriving a managerial 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.
引用
收藏
页码：187 / 194
页数：8
相关论文
共 50 条
  • [11] Solution algorithms for differential models of hierarchical control systems
    G. A. Ougolnitsky
    A. B. Usov
    Automation and Remote Control, 2016, 77 : 872 - 880
  • [12] Solution algorithms for differential models of hierarchical control systems
    Ougolnitsky, G. A.
    Usov, A. B.
    AUTOMATION AND REMOTE CONTROL, 2016, 77 (05) : 872 - 880
  • [13] REALIZATION OF PARALLEL ALGORITHMS OF LOGICAL INFERENCE ON A VLSI ARRAY ARCHITECTURE
    GORDIYENKO, YK
    ZAKHAROV, VN
    MIRONOV, AY
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1987, 25 (04): : 1 - 41
  • [14] Accelerated Logical Inference in the Intelligent Control Systems
    Meltsov, V.
    Chistyakov, G.
    Strabykin, D.
    Dolgenkova, M.
    INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE: TECHNIQUES AND APPLICATIONS, AITA 2016, 2016, : 1 - 7
  • [15] ON THE THEORY OF PARALLEL LOGICAL CONTROL ALGORITHMS
    ZAKREVSKIY, AD
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1990, 28 (05): : 36 - 46
  • [16] ON THE DECOMPOSITION OF PARALLEL LOGICAL CONTROL ALGORITHMS
    KOVALJOV, AV
    POTTOSIN, JV
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (01): : 8 - 13
  • [17] ON CORRECTNESS OF PARALLEL ALGORITHMS OF LOGICAL CONTROL
    ZAKREVSKIY, AD
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (01): : 109 - 114
  • [18] CAUSAL-MODELS AND LOGICAL INFERENCE IN EPIDEMIOLOGICAL PSYCHIATRY
    BEBBINGTON, P
    BRITISH JOURNAL OF PSYCHIATRY, 1980, 136 (APR) : 317 - 325
  • [19] Unified inference for sparse and dense longitudinal models
    Kim, Seonjin
    Zhao, Zhibiao
    BIOMETRIKA, 2013, 100 (01) : 203 - 212
  • [20] Provable Algorithms for Inference in Topic Models
    Arora, Sanjeev
    Ge, Rong
    Koehler, Frederic
    Ma, Tengyu
    Moitra, Ankur
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 48, 2016, 48
12345