{"type":"ScholarlyArticle","title":"Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods","authors":[{"name":"Sridhar Mahadevan","slug":"sridhar-mahadevan","given":"Sridhar","family":"Mahadevan","affiliation":""}],"abstract":"A major impediment to the develo pment of high-performance knowledge-based systems arises from the prohibitive effort involved in equipping these systems with a sufficient set of problem-solving methods . Thus , one imp o rtant research problem in Machine Learning has been the st udy of techniques for inferring problem-solving methods from e xampl es. Although a number of techniques for learning problem-s olving methods have been described in th e literature , all of them assume a .tate-apace model of problem-solving. In this paper we describe a new te chnique for learning problem-reduction meth ods, Verification-Based Learning (VBL) , which extends the earlier techniques to the problem-reduction formulation of pr oblem- solving . We illustrate the VBL technique with examples drawn from circuit design and symbolic integration.","doi":null,"url":"https://ijcai.org/proceedings/1985/119","pdf":"https://ijcai.org/proceedings/1985/0119.pdf","markdown":"https://ijcai.org/proceedings/1985/119.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/119","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning and Acquisition","track":"Learning and Acquisition","number":119,"pages":{"first":616,"last":622},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}