Abductive inference methods in problems of job planning in complex objects

被引:0
|
作者
V. N. Vagin
K. Ju. Khotimchuk
机构
[1] Moscow Power Institute (Technical University),
关键词
System Science International; Inference Tree; Horn Clause; Abductive Inference; Structural Clause;
D O I
暂无
中图分类号
学科分类号
摘要
Abductive inference methods in intelligent systems are considered. A description of assumption-based truth maintenance systems and basic concepts for dealing with assumption-based truth maintenance systems are presented. The following abductive inference algorithms are developed: Assumption-based Truth Maintenance System-based Abduction Algorithm and Implicate Abductive Algorithm using of prime implicates. These algorithms are compared. The results of experiments held for an example of designing schedules for energy storage plants have confirmed the efficiency of the Assumption-based Truth Maintenance System-based Abduction Algorithm.
引用
收藏
页码:773 / 790
页数:17
相关论文
共 50 条
  • [1] Abductive inference methods in problems of job planning in complex objects
    Vagin, V. N.
    Khotimchuk, K. Ju.
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2010, 49 (05) : 773 - 790
  • [2] Abductive Inference Method in Problems of Explaining the Observed
    Vassilyev, S. N.
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2021, 60 (01) : 153 - 161
  • [3] Abductive Inference Method in Problems of Explaining the Observed
    S. N. Vassilyev
    [J]. Journal of Computer and Systems Sciences International, 2021, 60 : 153 - 161
  • [4] Abduction in Work-Planning Problems in Complex Objects
    Vagin, V. N.
    Khotimchuk, K. Yu.
    [J]. SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2012, 39 (05) : 268 - 275
  • [5] THE USE OF METHODS OF EXPERIMENT PLANNING FOR IDENTIFICATION OF COMPLEX OBJECTS
    POYUROVSKIY, VD
    [J]. ENGINEERING CYBERNETICS, 1982, 20 (02): : 141 - 145
  • [6] ARNI: Abductive Inference of Complex Regulatory Network Structures
    Maimari, Nataly
    Turliuc, Calin-Rares
    Broda, Krysia
    Kakas, Antonis
    Krams, Rob
    Russo, Alessandra
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, 2013, 8130 : 235 - 237
  • [7] Creating essential hypothesis and rules in product planning - Introducing Abductive Inference Model
    Nakamura, Jun
    [J]. 2014 IEEE International Conference on Data Mining Workshop (ICDMW), 2014, : 470 - 476
  • [8] PROBLEMS AND METHODS IN JOB EVALUATION
    Moore, Herbert
    [J]. JOURNAL OF CONSULTING PSYCHOLOGY, 1944, 8 (02): : 90 - 99
  • [9] Interactive Disassembly Planning for Complex Objects
    Kerbl, Bernhard
    Kalkofen, Denis
    Steinberger, Markus
    Schmalstieg, Dieter
    [J]. COMPUTER GRAPHICS FORUM, 2015, 34 (02) : 287 - 297
  • [10] Disassembly path planning for complex articulated objects
    Cortes, Juan
    Jaillet, Leonard
    Simeon, Thierry
    [J]. IEEE TRANSACTIONS ON ROBOTICS, 2008, 24 (02) : 475 - 481