{"type":"ScholarlyArticle","title":"Automatic Discovery of Heuristics for Nondeterministic Programs","authors":[{"name":"Salvatore J. Stolfo","slug":"salvatore-j-stolfo","given":"Salvatore J.","family":"Stolfo","affiliation":""},{"name":"Malcolm C. Harrison","slug":"malcolm-c-harrison","given":"Malcolm C.","family":"Harrison","affiliation":""}],"abstract":"This paper discusses one way to limit the cost of executing declaratively specified nondeterministic programs. The approach we take is to develop control heuristics for a family of problems from traces of sample solutions generated during a training session with a human expert. Algorithms have been developed which recognize a set of patterns in the sequence of 'knowledge applications' and which compile descriptions of these patterns in a control language, called CRAPS. The CRAPS descriptions generated are then used for guidance in solving subsequent problems. We describe an implementation of this approach and give the results of several experiments.","doi":null,"url":"https://ijcai.org/proceedings/1979/186","pdf":"https://ijcai.org/proceedings/1979/0186.pdf","markdown":"https://ijcai.org/proceedings/1979/186.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/186","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":186,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}