15. The method of claim 14 wherein the adjusted search strategy includes preferentially evaluating decisions having higher previously successful decision frequencies.
14. The method of claim 1 wherein the answer set programming language solver utilizes a search strategy to search a decision tree, and wherein the search strategy is adjusted responsive to the historical decision database.