Abstract:
The description of assumption-based truth maintenance systems (ATMS) and basic concepts for dealing with ATMS are given. The abductive inference algorithm AAA is developed. The heuristic method for that algorithm is proposed 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 Systembased Abduction Algorithm.