📄 http:^^www.cs.utexas.edu^users^ml^speedup.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:56:31 GMT
Content-Type: text/html
Content-Length: 11451
Last-Modified: Wednesday, 28-Aug-96 17:38:15 GMT
<title>Speedup Learning</title><h1>Speedup Learning/Learning for Planning</h1>To view a paper, click on the open book image. <br> <br><ol><! ===========================================================================><a name="scope-msl-96.ps.Z"</a><b><li> Integrating EBL and ILP to Acquire Control Rules for Planning<br></b>Tara A. Estlin and Raymond J. Mooney<br><cite>Proceedings of the Third International Workshop onMulti-Strategy Learning</cite>, pp. 271-279, Harpers Ferry, WV, May1996. (MSL-96).<p><blockquote>Most approaches to learning control information in planning systemsuse explanation-based learning to generate control rules.Unfortunately, EBL alone often produces overly complex rules thatactually decrease planning efficiency. This paper presents a novellearning approach for control knowledge acquisition that integratesexplanation-based learning with techniques from inductive logicprogramming. EBL is used to constrain an inductive search forselection heuristics that help a planner choose between competing planrefinements. SCOPE is one of the few systems to address learningcontrol information in the newer partial-order planners.Specifically, SCOPE learns domain-specific control rules for a versionof the UCPOP planning algorithm. The resulting system is shown toproduce significant speedup in two different planning domains.</blockquote><!WA0><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/scope-msl-96.ps.Z"><!WA1><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="scope-aaai-96.ps.Z"</a><b><li>Multi-Strategy Learning of Search Control for Partial-OrderPlanning<br></b>Tara A. Estlin and Raymond J. Mooney<br><cite>Proceedings of the Thirteenth National Conference on Aritificial Intelligence</cite>,pp. 843-848, Portland, OR, August, 1996. (AAAI-96)<p><blockquote>Most research in planning and learning has involved linear,state-based planners. This paper presents SCOPE, a system for learningsearch-control rules that improve the performance of a partial-orderplanner. SCOPE integrates explanation-based and inductive learningtechniques to acquire control rules for a partial-order planner.Learned rules are in the form of selection heuristics that help theplanner choose between competing plan refinements. Specifically,SCOPE learns domain-specific control rules for a version of the UCPOPplanning algorithm. The resulting system is shown to producesignificant speedup in two different planning domains.</blockquote><!WA2><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/scope-aaai-96.ps.Z"><!WA3><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="scope-proposal-96.ps.Z"</a><b><li> Integrating Explanation-Based and Inductive Learning Techniquesto Acquire Search-Control for Planning<br></b>Tara A. Estlin<br>Ph.D. proposal, Department of Computer Sciences, University of Texasat Austin, 1996. <p><blockquote>Planning systems have become an important tool for automatinga wide variety of tasks. Control knowledge guides a planner to findsolutions quickly and is crucial for efficient planning in mostdomains. Machine learning techniques enable a planning system to automatically acquire domain-specific search-control knowledge fordifferent applications. Past approaches to learning controlinformation have usually employed explanation-based learning(EBL) to generate control rules. Unfortunately, EBL alone oftenproduces overly complex rules that actually decrease rather thanimprove overall planning efficiency. This paper presents a novellearning approach for control knowledge acquisition that integratesexplanation-based learning with techniques from inductive logicprogramming. In our learning system SCOPE, EBL is used to constrainan inductive search for control heuristics that help a planner choosebetween competing plan refinements. SCOPE is one of the few systemsto address learning control information for newer, partial-orderplanners. Specifically, this proposal describes how SCOPE learnsdomain-specific control rules for the UCPOP planning algorithm. Theresulting system is shown to produce significant speedup in twodifferent planning domains, and to be more effective than a pure EBLapproach. <p>Future research will be performed in three main areas. First, SCOPE'slearning algorithm will be extended to include additional techniquessuch as constructive induction and rule utility analysis. Second,SCOPE will be more thoroughly tested; several real-world planningdomains have been identified as possible testbeds, and more in-depthcomparisons will be drawn between SCOPE and other competingapproaches. Third, SCOPE will be implemented in a different planningsystem in order to test its portability to other planning algorithms.This work should demonstrate that machine-learning techniques can be apowerful tool in the quest for tractable real-world planning.<p></blockquote><!WA4><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/scope-proposal-96.ps.Z"><!WA5><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="dolphin-ewsp-95.ps.Z" </a><b> <li> Hybrid Learning of Search Control for Partial-Order Planning <br> </b>Tara A. Estlin and Raymond J. Mooney <br><cite>New Directions in AI Planning</cite>, M. Ghallab and A. Milani, Eds,IOS Press, 1996, pp. 129-140. <p> <blockquote>This paper presents results on applying a version of the DOLPHINsearch-control learning system to speed up a partial-order planner.DOLPHIN integrates explanation-based and inductive learning techniquesto acquire effective clause-selection rules for Prolog programs. Aversion of the UCPOP partial-order planning algorithm has beenimplemented as a Prolog program and DOLPHIN used to automaticallylearn domain-specific search control rules that help eliminatebacktracking. The resulting system is shown to produce significantspeedup in several planning domains.</blockquote><!WA6><a href="http://www.cs.utexas.edu/users/ml/ftp/papers/dolphin-ewsp-95.ps.Z"><!WA7><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="ilp-ebl-sigart-94.ps.Z" </a><b> <li> Integrating ILP and EBL </b> <br> Raymond J. Mooney and John M. Zelle <br> <cite> SIGART Bulletin</cite>, Volume 5, number 1, Jan. 1994, pp 12-21. <p><blockquote>This paper presents a review of recent work that integrates methods fromInductive Logic Programming (ILP) and Explanation-Based Learning (EBL). ILPand EBL methods have complementary strengths and weaknesses and a number ofrecent projects have effectively combined them into systems with betterperformance than either of the individual approaches. In particular, integratedsystems have been developed for guiding induction with prior knowledge(ML-SMART, FOCL, GRENDEL) refining imperfect domain theories(FORTE, AUDREY, Rx), and learning effective search-controlknowledge (AxA-EBL, DOLPHIN).</blockquote><!WA8><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/ilp-ebl-sigart-94.ps.Z"><!WA9><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="dolphin-chill-proposal-93.ps.Z" </a><b> <li> Learning Search-Control Heuristics for Logic Programs:Applications to Speedup Learning and Language Acquisition </b> <br>John M. Zelle <br> Ph.D. proposal, Department of Computer Sciences, University of Texasat Austin, 1993. <p><blockquote>This paper presents a general framework, learning search-control heuristics forlogic programs, which can be used to improve both the efficiency and accuracyof knowledge-based systems expressed as definite-clause logic programs. Theapproach combines techniques of explanation-based learning and recent advancesin inductive logic programming to learn clause-selection heuristics that guideprogram execution. Two specific applications of this framework are detailed:dynamic optimization of Prolog programs (improving efficiency) and naturallanguage acquisition (improving accuracy). In the area of programoptimization, a prototype system, DOLPHIN, is able to transform someintractable specifications into polynomial-time algorithms, and outperformscompeting approaches in several benchmark speedup domains. A prototypelanguage acquisition system, CHILL, is also described. It is capable ofautomatically acquiring semantic grammars, which uniformly incorprate syntacticand semantic constraints to parse sentences into case-role representations.Initial experiments show that this approach is able to construct accurateparsers which generalize well to novel sentences and significantly outperformprevious approaches to learning case-role mapping based on connectionisttechniques. Planned extensions of the general framework and the specificapplications as well as plans for further evaluation are also discussed.</blockquote><!WA10><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/dolphin-chill-proposal-93.ps.Z"><!WA11><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="dolphin-ijcai-93.ps.Z" </a><b> <li> Combining FOIL and EBG to Speed-Up Logic Programs </b> <br> John M. Zelle and Raymond J. Mooney <br> <cite> Proceedings of the Thirteenth International Joint Conference on ArtificialIntelligence</cite>, pp. 1106-111, Chambery, France, 1993. (IJCAI-93) <p><blockquote>This paper presents an algorithm that combines traditional EBLtechniques and recent developments in inductive logic programming tolearn effective clause selection rules for Prolog programs. Whenthese control rules are incorporated into the original program,significant speed-up may be achieved. The algorithm is shown to be animprovement over competing EBL approaches in several domains.Additionally, the algorithm is capable of automatically transformingsome intractable algorithms into ones that run in polynomial time.</blockquote><!WA12><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/dolphin-ijcai-93.ps.Z"><!WA13><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><a name="dolphin-mlw-92.ps.Z" </a> <b> <li> Speeding-up Logic Programs by Combining EBG and FOIL </b> <br> John M. Zelle and Raymond J. Mooney <br> <cite> Proceedings of the 1992 Machine Learning Workshop on KnowledgeCompilation and Speedup Learning</cite>, Aberdeen Scotland, July 1992. <p><blockquote>This paper presents an algorithm that combines traditional EBLtechniques and recent developments in inductive logic programming tolearn effective clause selection rules for Prolog programs. When thesecontrol rules are incorporated into the original program, significantspeed-up may be achieved. The algorithm produces not only EBL-likespeed up of problem solvers, but is capable of automaticallytransforming some intractable algorithms into ones that run inpolynomial time.</blockquote><!WA14><a href="file://ftp.cs.utexas.edu/pub/mooney/papers/dolphin-mlw-92.ps.Z"><!WA15><img align=top src="http://www.cs.utexas.edu/users/ml/paper.xbm"></a><p><! ===========================================================================><hr><address><!WA16><a href="http://www.cs.utexas.edu/users/estlin/">estlin@cs.utexas.edu</a></address>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -