Algorithms for Solution Inference Based on Unified Logical Control Models

被引：0
|
作者：
A. Litvinenko
机构：
[1] National Aviation University,
来源：
Cybernetics and Systems Analysis | 2020年 / 56卷
关键词：
expert systems; control; logical models; algorithms; inference of decisions; optimization;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：7
相关论文
共 50 条
  • [1] Algorithms for Solution Inference Based on Unified Logical Control Models
    Litvinenko, A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2020, 56 (02) : 187 - 194
  • [2] Inference systems for logical algorithms
    Shankar, N
    FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
  • [3] LOGICAL AND NON-LOGICAL MODELS OF INFERENCE
    KELLY, M
    AUSTRALIAN PSYCHOLOGIST, 1978, 13 (02) : 262 - 262
  • [4] Logical inference of clauses based on Petri net models
    Lin, C
    Chanson, ST
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 821 - 840
  • [5] Developing a Supervisory Control System Based on Fuzzy Logical Inference
    L. A. Denisova
    D. M. Alekseitsev
    Automation and Remote Control, 2021, 82 : 324 - 332
  • [6] Developing a Supervisory Control System Based on Fuzzy Logical Inference
    Denisova, L. A.
    Alekseitsev, D. M.
    AUTOMATION AND REMOTE CONTROL, 2021, 82 (02) : 324 - 332
  • [7] Formalization of Algorithms and Logical Inference Systems in Proof Assistants
    Schlichtkrull, Anders
    THIRTEENTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (SCAI 2015), 2015, 278 : 188 - 190
  • [8] PARALLEL LOGICAL CONTROL ALGORITHMS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1982, 26 (12): : 1088 - 1091
  • [9] LOGICAL INFERENCE BASED ON DNA
    Blasiak, Janusz
    Krasinski, Tadeusz
    Rogowski, Lukasz
    Sakowski, Sebastian
    Poplawski, Tomasz
    POSTEPY BIOLOGII KOMORKI, 2013, 40 (04) : 645 - 658
  • [10] ALGORITHMS FOR INFERENCE CONTROL
    KAMEAS, A
    FITSILIS, P
    PAVLIDES, G
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 755 - 764
12345