Abduction in work-planning problems in complex objects

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.

[1]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[2]  Philip T. Cox,et al.  General Diagnosis by Abductive Inference , 1987, SLP.

[3]  Alan Bundy,et al.  Truth Maintenance System , 1984 .

[4]  Hwee Tou Ng,et al.  An Efficient First-Order Horn-Clause Abduction System Based on the ATMS , 1991, AAAI.

[5]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[6]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[7]  J. Dekleer.  An assumption-based TMS , 1986 .

[8]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[9]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[10]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[11]  Antonis C. Kakas,et al.  Abduction in Logic Programming , 2002, Computational Logic: Logic Programming and Beyond.

[12]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[13]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[14]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[15]  Juan Luis Castro,et al.  A generic ATMS , 1996, Int. J. Approx. Reason..

[16]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

[17]  David A. McAllester.  A Three Valued Truth Maintenance System. , 1978 .

[18]  Rina Dechter,et al.  Structure-Driven Algorithms for Truth Maintenance , 1996, Artif. Intell..

[19]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..