{"type":"ScholarlyArticle","title":"The Use of Parallelism to Implement a Heuristic Search","authors":[{"name":"William A. Kornfeld","slug":"william-a-kornfeld","given":"William A.","family":"Kornfeld","affiliation":"MIT Artificial Intelligence Laboratory"}],"abstract":"The role of parallel proce~~ing in heuri~tic ~earth i~ eumined by mean~ nf an example (cryptarithmetic addition). A problem ~olver is con~tructed that combine~ the metaphors of con~traint propagation and hypothe~ize-and - te~t. The ~ystem i~ capable of working on many incompatible hypothe~e~ at one time. Furthermore. it is capable of allocating different amounts of processing power to running activitie~ and changing the~e allocations ~computation proceed~. It i~ empirically f<>und that the parallel algorithm is, on the average, more efficient than a corre~ponding sequential one. Implications of thi~ for problem ~olving in general are di~cussed.","doi":null,"url":"https://ijcai.org/proceedings/1981/108","pdf":"https://ijcai.org/proceedings/1981/0108.pdf","markdown":"https://ijcai.org/proceedings/1981/108.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/108","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Search","track":"Search","number":108,"pages":{"first":575,"last":579},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Davis, Randall; M~a-Rules: Rta:J!}ning About GJntro~ MIT Artificial Intelligence Laboratory memo 576, March 1980.","title":"M~a-Rules: Rta:J!}ning About GJntro~","authors":"Randall Davis","year":"1980","venue":"MIT Artificial Intelligence Laboratory memo","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Erman, L., F. Hayes-Roth, V. Lesser, D. R. Reddy, The HC'anay-11 SpC'rch-Undastanding Systtm: Integrating KnoM•It'rlgc to Resolvl' Unurtainty, ACM Computing Surveys, Volume 12. Number 2, June 1980.","title":"The HC'anay-11 SpC'rch-Undastanding Systtm: Integrating KnoM•It'rlgc to Resolvl' Unurtainty","authors":"L Erman, F Hayes-Roth, V Lesser, D R Reddy","year":"1980","venue":"ACM Computing Surveys","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Ga.<ehnig, John, PrrformanC't' MC'Dsuremrnt and Analysis of Crrtaifl SC'Drch Algorithm$, Carnegie-Mellon report CMU-CS-79-124. May 1979.","title":"PrrformanC't' MC'Dsuremrnt and Analysis of Crrtaifl SC'Drch Algorithm","authors":"Ga, John <ehnig","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Hewitt, Carl, Dt'Sign of the APIARY for Actor Systrms. Proceeding~ of the 1980 Lisp Conference, Stanford, CA, August 1980.","title":"Sign of the APIARY for Actor Systrms","authors":"Carl Hewitt","year":"1980","venue":"Proceeding~ of the 1980 Lisp Conference","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"lmai, Ma~aharu, Yuuji Yoshida. Teruo Fukumura. A Parallel Searching ScltC'mC' fo~ Multiprocessor Systems and its Application to OJmbinatoria/ Probltms, Sixth International Joint Conference on Artificial Intelligence, August 1979.","title":"A Parallel Searching ScltC'mC' fo~ Multiprocessor Systems and its Application to OJmbinatoria/ Probltms","authors":"Yuuji Ma~aharu, Teruo Yoshida, Fukumura","year":"1979","venue":"Sixth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Kornfeld, William, ETHER --A Parallel Problt'm So/ring System, Sixth International Joint Conference on Artific\\al Intelligence, Augu~t 1979.","title":"ETHER --A Parallel Problt'm So/ring System","authors":"William Kornfeld","year":"1979","venue":"Sixth International Joint Conference on Artific\\al Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Kornfeld, William, Using Paralll'/ Processing for Probll'm Solving, MIT Artificial Intelligence laborator)' memo 561, December 1979.","title":"Using Paralll'/ Processing for Probll'm Solving","authors":"William Kornfeld","year":"1979","venue":"MIT Artificial Intelligence laborator)' memo","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Kornfeld, William A., PhD thesis, in preparation, 1981.","title":null,"authors":"William A Kornfeld","year":"1981","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Newell, Alan, Herbert A. Simon, Human Problem So/ring, l•rentice Hall, I 972.","title":"Human Problem So/ring, l•rentice Hall","authors":"Alan Newell, Herbert A Simon","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Steele, Guy l., Gerald Sus~man, GJnstraints, MIT Artificial Intelligence laboratory memo 502, November 1978.","title":"MIT Artificial Intelligence laboratory memo","authors":"Guy L Steele, Gerald Sus~man, Gjnstraints","year":"1978","venue":"MIT Artificial Intelligence laboratory memo","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Steele, Guy l., Tht D~flititJfl and /mplemtntation of a Computt'r Programming Languagt • Dasrd on GJnstraints, MIT Artificial Intelligence laboratory TR-595, Augu~t 1980.","title":"Tht D~flititJfl and /mplemtntation of a Computt'r Programming Languagt • Dasrd on GJnstraints","authors":"Guy L Steele","year":"1980","venue":"MIT Artificial Intelligence laboratory","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Waltz, David, Gtntrating Stmantic DC'JCriptitJns from DraM;ngs of Scenes with SltadoM'S, PhD thesi~ Massachu~tts ln~t itute Of Technology, I 972.","title":"Gtntrating Stmantic DC'JCriptitJns from DraM;ngs of Scenes with SltadoM'S, PhD thesi~ Massachu~tts ln~t itute Of Technology","authors":"David Waltz","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Wood~. William A., Si.ortfall and Density Scoring Strategies for Spccr:h Understanding GJntrol. Proceeding~ of the Fifth lnternation Joint Conference on Artificial Intelligence, 1977.","title":"ortfall and Density Scoring Strategies for Spccr:h Understanding GJntrol","authors":"William A Wood~, Si","year":"1977","venue":"Proceeding~ of the Fifth lnternation Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}