Paper Info
Title
Resolution Strategies for Focusing a Reason Maintenance System
Abstract
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 (RMS) 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.
Year
DOI
Venue
1996
10.1109/TAI.1996.560471
ICTAI
Keywords
Field
DocType
improvement work,de kleer,exponential complexity,reason maintenance system,deduction system,problem solver,new resolution strategy,new class,resolution strategies,resolution principle,problem solver coupling,computational complexity
Coupling,Computer science,Propositional calculus,Theoretical computer science,Artificial intelligence,Exponential complexity,Reason maintenance,Solver,Machine learning,Truth maintenance,Computational complexity theory
Conference
ISSN
ISBN
Citations 
1082-3409
0-8186-7686-8
0
PageRank 
References 
Authors
0.34
4
3
Name
Order
Citations
PageRank
Rachid Yacoub100.34
Michel Dumas200.34
Gilles Arnaud300.68