Abductive inference methods in problems of job planning in complex objects

Authors:
V. N. Vagin;K. Ju. Khotimchuk
Affiliations:
Moscow Power Institute (Technical University), Moscow, Russia 111250;Moscow Power Institute (Technical University), Moscow, Russia 111250
Venue:
Journal of Computer and Systems Sciences International
Year:
2010

Citing 12
Cited 1

An assumption-based TMS

Artificial Intelligence
Extending the ATMS

Artificial Intelligence
Problem solving with the ATMS

Artificial Intelligence
Interpretation as abduction

Artificial Intelligence - Special volume on natural language processing
Building problem solvers

Building problem solvers
Structure-driven algorithms for truth maintenance

Artificial Intelligence
AI approaches to abduction

Handbook of defeasible reasoning and uncertainty management systems
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A knowledge-level account of abduction

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Found ations of assumption-based truth maintenance systems: preliminary report

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Truth maintenance

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
An efficient first-order horn-clause abduction system based on the ATMS

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

Logical method for predicting situation development based on abductive inference

Journal of Computer and Systems Sciences International

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.