Abduction in work-planning problems in complex objects

Authors:
V. N. Vagin;K. Yu. Khotimchuk
Affiliations:
Moscow Power Institute, Moscow, Russia 111250;Moscow Power Institute, Moscow, Russia 111250
Venue:
Scientific and Technical Information Processing
Year:
2012

Citing 10
Cited 0

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
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Assumption-based truth maintenance systems (ATMSs) and basic concepts of operating these systems are described. An ATM-based abduction algorithm (AAA) is developed. A heuristic method for this algorithm is proposed. The experimental results of power-maintenance scheduling justified the algorithm's efficiency.