{"type":"ScholarlyArticle","title":"A Formalization of Explanation-Based Macro-operator Learning","authors":[{"name":"Prasad Tadepalli","slug":"prasad-tadepalli","given":"Prasad","family":"Tadepalli","affiliation":""}],"abstract":"In spite of the popularity of Explanation-Based Learning (EBL), its theoretical basis is not well-understood. Using a generalization of Probably Approximately Correct (PAC) learning to problem solving domains, this paper formalizes two forms of Explanation-Based Learning of macro-operators and proves the sufficient conditions for their success. These two forms of EBL, called \"Macro Caching\" and \"Serial Parsing,\" respectively exhibit two distinct sources of power or \"bias\" : the sparseness of the solution space and the decomposability of the problem-space. The analysis shows that exponential speedup can be achieved when either of these biases is suitable for a domain. Somewhat surprisingly, it also shows that computing the preconditions of the macro-operators is not necessary to obtain these speedups. The theoretical results are confirmed by experiments in the domain of Eight Puzzle. Our work suggests that the best way to address the utility problem in EBL is to implement a bias which exploits the problem-space structure of the set of domains that one is interested in learning.","doi":null,"url":"https://ijcai.org/proceedings/1991/90","pdf":"https://ijcai.org/proceedings/1991/0090.pdf","markdown":"https://ijcai.org/proceedings/1991/90.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/90","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning Be Knowledge Acquisition","track":"Learning Be Knowledge Acquisition","number":90,"pages":{"first":616,"last":621},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}