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 条
  • [21] Robotic Path Planning for Inspection of Complex-Shaped Objects
    Na, Minwoo
    Song, Jae-Bok
    [J]. 2020 17TH INTERNATIONAL CONFERENCE ON UBIQUITOUS ROBOTS (UR), 2020, : 7 - 11
  • [22] Grasp Planning by Human Experience on a Variety of Objects with Complex Geometry
    Liu, Chunfang
    Li, Wenliang
    Sun, Fuchun
    Zhang, Jianwei
    [J]. 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2015, : 511 - 517
  • [23] PROBLEMS IN IMPROVING METHODS OF NATIONAL ECONOMIC PLANNING
    KRYLOV, P
    CHISTIAK.M
    [J]. PROBLEMS OF ECONOMICS, 1972, 15 (04): : 21 - 40
  • [24] Wavelet methods for extracting objects from complex backgrounds
    Strickland, RN
    Hahn, HI
    [J]. PROCEEDINGS OF THE IEEE SOUTHWEST SYMPOSIUM ON IMAGE ANALYSIS AND INTERPRETATION, 1996, : 7 - 12
  • [25] SPECTRAL METHODS FOR PROBLEMS IN COMPLEX GEOMETRIES
    ORSZAG, SA
    [J]. JOURNAL OF COMPUTATIONAL PHYSICS, 1980, 37 (01) : 70 - 92
  • [26] Multiscale methods for problems with complex geometry
    Elfverson, Daniel
    Larson, Mats G.
    Malqvist, Axel
    [J]. COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2017, 321 : 103 - 123
  • [27] Causal inference for time series analysis: problems, methods and evaluation
    Raha Moraffah
    Paras Sheth
    Mansooreh Karami
    Anchit Bhattacharya
    Qianru Wang
    Anique Tahir
    Adrienne Raglin
    Huan Liu
    [J]. Knowledge and Information Systems, 2021, 63 : 3041 - 3085
  • [28] Causal inference for time series analysis: problems, methods and evaluation
    Moraffah, Raha
    Sheth, Paras
    Karami, Mansooreh
    Bhattacharya, Anchit
    Wang, Qianru
    Tahir, Anique
    Raglin, Adrienne
    Liu, Huan
    [J]. KNOWLEDGE AND INFORMATION SYSTEMS, 2021, 63 (12) : 3041 - 3085
  • [29] Regularization, Bayesian Inference, and Machine Learning Methods for Inverse Problems
    Mohammad-Djafari, Ali
    [J]. ENTROPY, 2021, 23 (12)
  • [30] A neighborhood for complex job shop scheduling problems with regular objectives
    Reinhard Bürgy
    [J]. Journal of Scheduling, 2017, 20 : 391 - 422
12345