1: ~oc~$ing a Reason
Rachid Yacoub, Michel Dumas, Gilles Arnaud · 1996
The ATMS, as defined by de Kleer and used in a problem solver; loses its efJiciency 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 (MS) based on the resolution principle. In this papeq new classes of clauses and new resolution strategies will be defined integrating these improvements and reducing the work done by the RMS.