Rational deployment of CSP heuristics
David Tolpin, Solomon Eyal Shimony
Abstract
David Tolpin, Solomon Eyal Shimony
Abstract
Heuristics are crucial tools in decreasing search ef-fort in varied fields of AI. In order to be effective, a heuristic must be efficient to compute, as well as provide useful information to the search algorithm. However, some well-known heuristics which do well in reducing backtracking are so heavy that the gain of deploying them in a search algorithm might be outweighed by their overhead. We propose a rational metareasoning approach to decide when to deploy heuristics, using CSP back-tracking search as a case study. In particular, a value of information approach is taken to adaptive deployment of solution-count estimation heuristics for value ordering. Empirical results show that indeed the proposed mechanism successfully bal-ances the tradeoff between decreasing backtracking and heuristic computational overhead, resulting in a significant overall search time reduction. 1
OpenAlex reports 6 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Heuristics are crucial tools in decreasing search ef-fort in varied fields of AI. In order to be effective, a heuristic must be efficient to compute, as well as provide useful information to the search algorithm. However, some well-known heuristics which do well in reducing backtracking are so heavy that the gain of deploying them in a search algorithm might be outweighed by their overhead. We propose a rational metareasoning approach to decide when to deploy heuristics, using CSP back-tracking search as a case study. In particular, a value of information approach is taken to adaptive deployment of solution-count estimation heuristics for value ordering. Empirical results show that indeed the proposed mechanism successfully bal-ances the tradeoff between decreasing backtracking and heuristic computational overhead, resulting in a significant overall search time reduction. 1
Key concepts: Backtracking, Heuristics, Computer science, Overhead (engineering), Reduction (mathematics), Beam stack search, Heuristic, Mathematical optimization