{"type":"ScholarlyArticle","title":"Understanding and Automating Algorithm Design","authors":[{"name":"Elaine Kant","slug":"elaine-kant","given":"Elaine","family":"Kant","affiliation":"Schiumberger-Deli Research Old Quarry Road Ridgefield , Connecticut 06877-4108"}],"abstract":"Algorithm design is achallenging intellectual activity that provides a rich source of Observation and a test domain for a theory of problem-solving behavior. This paper describes a model of the algorithm design process based on Observations of human design. The adaptation of that model to automation in the DESIGNER system helps us understand human design better, and the automation process helps validate the model. lssues discussed include the problern spaces used for design , the loci of knowledge and problem-solving power, and the relationship to other methods of algorithm design and to automatic programming as a whole.","doi":null,"url":"https://ijcai.org/proceedings/1985/249","pdf":"https://ijcai.org/proceedings/1985/0249.pdf","markdown":"https://ijcai.org/proceedings/1985/249.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/249","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":"General","track":"General","number":249,"pages":{"first":1243,"last":1252},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Adelson , B. and Soloway, E. A Model of Software Design. ln The Nature of Expertise , Chi , Glaserand Farr, Eds., Lawrence Erlbaum Associates, in preparation .","title":"A Model of Software Design. ln The Nature of Expertise","authors":"B Adelson, E Soloway","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Barstow, D. R. \" A Perspective on Automatie Programming.\" The Al Magaz ine 5, 1 (Spring 1984) .","title":"A Perspective on Automatie Programming","authors":"D R Barstow","year":"1984","venue":"The Al Magaz ine","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Barstow, D. R. The Roles of Knowledge and Deduction in Algorithm Design .. ln Biermann . A. W. (editor). Ed .. Automatie Prog ram Co nstruetion Teehniqu es. McMillan , 1984. Chap . 10, pp. 201 -222 .","title":"The Roles of Knowledge and Deduction in Algorithm Design","authors":"D R Barstow","year":"1984","venue":"Automatie Prog ram Co nstruetion Teehniqu es","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Bibel. W. and Horning, K. M. LOPS -A SystemBasedon a Strategical Approach to Program Synthesis. Proceedings of the E. Kant 1253 International Workshop on Program Construction , France. September, 1980.","title":"LOPS -A SystemBasedon a Strategical Approach to Program Synthesis","authors":"W Bibel, K M Horning","year":"1980","venue":"Proceedings of the E. Kant 1253 International Workshop on Program Construction","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Biermann , A. W. (Ed.) . Au toma tie Prog ram Co nstruction Te ehn iqu es. McMillan , 1984.","title":"Au toma tie Prog ram Co nstruction Te ehn iqu es","authors":"A W Biermann","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Chandrasekaran , 8. and Radi cc hi . S (Ed .). Compu ter Program Tes ting . North -Holland . 198 1","title":"Compu ter Program Tes ting","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Cohen , D. A Forward lnference En gine to Aid in Understanding Specifications . Pro ceedings of AAAI -84. 1984.","title":"A Forward lnference En gine to Aid in Understanding Specifications","authors":"D Cohen","year":"1984","venue":"Pro ceedings of AAAI -84","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Ericsson , K.A. and Simon . H. A. \"Verbal Reports as Data.\" Ps yehologieal Re view 87, 3 (May 1980) . 215-251.","title":"Verbal Reports as Data","authors":"K A Ericsson, H A Simon","year":"1980","venue":"Ps yehologieal Re view","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Feather, M. S. \"A System for Assisting Program Transformation .\" ACM Transac tions on Prog ramm ing Lang uages and Systems 4 , 1 (1982) , 1-20.","title":"A System for Assisting Program Transformation","authors":"M S Feather","year":"1982","venue":"ACM Transac tions on Prog ramm ing Lang uages and Systems","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Green , C. , Luckham . D., Balzer, R. , Cheatham , T., and Rich . C. Report on a Knowledge-Based Software Assistant. Tech . Rept. RADC-TR-83-195, Kestrellnstitute, August, 1983.","title":"Report on a Knowledge-Based Software Assistant","authors":"C Green, D Luckham, R Balzer, T Cheatham, Rich C","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Gries, D. The Seienee of Programrn ing. Springer-Verlag , 1981.","title":"The Seienee of Programrn ing","authors":"D Gries","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Jeffries, R., Turner, A. A., and Polson , P. G. The Processes lnvolved in Designing Software. ln Cognitive Skills and Their Aequisition, John R. Anderson , Ed ., Lawrence Erlbaum Associates. 1981 . ch . 8.","title":"The Processes lnvolved in Designing Software","authors":"R Jeffries, A A Turner, P G Polson","year":"1981","venue":"ln Cognitive Skills and Their Aequisition","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Kant, E. and Barstow, D. R. The Refinement Paradigm : The Interaction of Coding and Efficiency Knowledge in Program Synthesis. ln lntera eti ve Programm ing En viro nments, Barstow, D. R., Shrobe, H. E., and Sandewall, E .. Eds., McGraw-Hill , 1984, pp. 487 -513.","title":"The Refinement Paradigm : The Interaction of Coding and Efficiency Knowledge in Program Synthesis. ln lntera eti ve Programm ing En viro nments","authors":"E Kant, D R Barstow","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Kant, E. Effieieney in Program Synthesis. UMI Research Press, 1981 .","title":"Effieieney in Program Synthesis","authors":"E Kant","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Kant, E. and Newell , A. Naive Algorithm Design Techniques: A Case Study. Proceedings of the European Conference on Artificiallntelligence, Orsay, France, July, 1982.","title":"Naive Algorithm Design Techniques: A Case Study","authors":"E Kant, A Newell","year":"1982","venue":"Proceedings of the European Conference on Artificiallntelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Kant, E. and Newell , A. \"Problem Solving Techniques for the Design of Algorithms.\" Information Proeessing and Man agem ent 20, 1-2 (Spring 1984).","title":"Problem Solving Techniques for the Design of Algorithms","authors":"E Kant, A Newell","year":"1984","venue":"Information Proeessing and Man agem ent","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Kant . E. and Newell, A. An Automatie Algorithm Designer: An lnitiallmplementation. Proceedings of AAAI -83, 1983.","title":"An Automatie Algorithm Designer: An lnitiallmplementation","authors":"Kant E Newell, A","year":"1983","venue":"Proceedings of AAAI -83","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"Laird , J. E. Universal Subgoaling. Tech . Rept. CMU - CS-84-129, Carnegie-Mellon University, Computer Science Department, May, 1984.","title":"Universal Subgoaling","authors":"J E Laird","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"Lee, D. T., and Preparata, F. P. \"Computational Geometry -- A Survey.\" IEEE Transae tions on Compute rs C-33, 12 (December 1984).","title":"Computational Geometry --A Survey","authors":"D T Lee, F P Preparata","year":"1984","venue":"IEEE Transae tions on Compute rs C-33","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"Newell , A. and Simon , H. Hu m an Problem So lving. Prentice- Hall , 1972.","title":"m an Problem So lving","authors":"A Newell, H Simon, Hu","year":"1972","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"Partsch , H. and Steinbruggen , R. \" Program Transformation Systems.\" Cornputing Surveys 15, 3 (September 1983).","title":"Program Transformation Systems","authors":"H Partsch, R Steinbruggen","year":"1983","venue":"Cornputing Surveys","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"Polya, G .. Ho w to Salve lt. Doubleday-Anchor, 1957.","title":"Ho w to Salve lt","authors":"G Polya","year":"1957","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"Rich , C., and Shrobe, H. Initial Report on a Lisp Programmer's Apprenttce. ln lnteractive Programm ing Environm ents, Barstow, D. R .. Shrobe, H. E. , and Sandewall , E .. Eds. , McGraw-Hill , 1984. pp . 443-463.","title":"Initial Report on a Lisp Programmer's Apprenttce","authors":"C Rich, H Shrobe","year":"1984","venue":"ln lnteractive Programm ing Environm ents","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"Shapiro, E. Y. An Algorithm that ln fers Th eories lrom Facts. Proceedings of IJCAI -81 . 1981 . pp . 446-45 1.","title":"An Algorithm that ln fers Th eories lrom Facts","authors":"E Y Shapiro","year":"1981","venue":"Proceedings of IJCAI -81","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"Smith , D. R. Top -Down Synthesis of Simple D_ivide and Conquer Algorithms. Tech . Rept. NPS52-82-0 11 , Naval Postgraduale School , November. 1982.","title":"Top -Down Synthesis of Simple D_ivide and Conquer Algorithms","authors":"D R Smith","year":"1982","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"Steier. D. M. and Kant, E. Symbolic Execution in Algorithrn Design. Proceedings of the Ninth International Joint Conference on Artificallntelligence , Los Angeles, CA, August, 1985.","title":"Symbolic Execution in Algorithrn Design","authors":"D M Steier, E Kant","year":"1985","venue":"Proceedings of the Ninth International Joint Conference on Artificallntelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}