Resolution strategies for focusing a reason maintenance system

The ATMS, as defined by de Kleer and used in a problem solver loses its efficiency due to the exponential complexity of its algorithm. Improvement works are proposed: a) computing only labels of interesting data; b) computing only some environments characterized by a focus. We propose to control a problem solver coupling a deduction system and a reason maintenance system (RIMS) based on the resolution principle. In this paper, new classes of clauses and new resolution strategies will be defined integrating these improvements and reducing the work done by the RMS.