Abductive inference methods in problems of job planning in complex objects

被引：0
|
作者：
V. N. Vagin
K. Ju. Khotimchuk
机构：
[1] Moscow Power Institute (Technical University),
来源：
Journal of Computer and Systems Sciences International | 2010年 / 49卷
关键词：
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 条
  • [41] COMPUTING METHODS FOR OPTIMIZATION PROBLEMS ARISING IN PRODUCTION PLANNING
    BERNERSLEE, CM
    [J]. THE ROYAL STATISTICAL SOCIETY SERIES C-APPLIED STATISTICS, 1958, 7 (01): : 64 - 64
  • [42] Methods for processing uncertainties in in solving dynamic planning problems
    Bidyuk, P.
    Kalinina, I
    Gozhyj, A.
    Gozhyj, V.
    [J]. PROCEEDINGS OF THE 2017 12TH INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT 2017), VOL. 1, 2017, : 151 - 155
  • [43] PROBLEMS AND METHODS OF SOCIAL PLANNING - REPORT OF EXPERT GROUP
    GORDON, J
    [J]. COMMUNITY DEVELOPMENT JOURNAL, 1968, 3 (02) : 99 - 100
  • [44] PROBLEMS OF METHODS FOR THE PERSPECTIVE PLANNING OF AUTOMATION OF MAIN FUNDS
    YANIN, AN
    [J]. NEFTYANOE KHOZYAISTVO, 1983, (05): : 14 - 17
  • [45] INCORRECT PROBLEMS OF OPTIMAL PLANNING AND STABLE METHODS FOR THEIR SOLUTION
    TIKHONOV, AN
    [J]. DOKLADY AKADEMII NAUK SSSR, 1965, 164 (03): : 507 - &
  • [46] MINIMAX PLANNING PROBLEMS WITH LINEAR CONSTRAINTS AND METHODS OF THEIR SOLUTION
    BELENKII, AS
    [J]. AUTOMATION AND REMOTE CONTROL, 1981, 42 (10) : 1409 - 1419
  • [47] Methods for parallel computation of complex flow problems
    Tezduyar, T
    Osawa, Y
    [J]. PARALLEL COMPUTING, 1999, 25 (13-14) : 2039 - 2066
  • [48] Bayesian Methods Might Solve the Problems with Magnitude-based Inference
    Borg, David N.
    Minett, Geoffrey M.
    Stewart, Ian B.
    Drovandi, Christopher C.
    [J]. MEDICINE AND SCIENCE IN SPORTS AND EXERCISE, 2018, 50 (12): : 2609 - 2610
  • [49] Complex Solution of Engineering Problems by Graphic Methods
    Brailov, Aleksandr Yurievich
    [J]. ICGG 2022 - PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON GEOMETRY AND GRAPHICS, 2023, 146 : 82 - 94
  • [50] Complex methods in the theory of initial value problems
    Tutschke, W
    [J]. COMPLEX METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS, 1999, 6 : 295 - 311
12345