{"type":"ScholarlyArticle","title":"Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence","authors":[{"name":"Salvatore J. Stolfo","slug":"salvatore-j-stolfo","given":"Salvatore J.","family":"Stolfo","affiliation":"Columbia University"},{"name":"Daniel P. Miranker","slug":"daniel-p-miranker","given":"Daniel P.","family":"Miranker","affiliation":"Columbia University"},{"name":"David E. Shaw","slug":"david-e-shaw","given":"David E.","family":"Shaw","affiliation":"Columbia University"}],"abstract":"As part of our research on very high pe rforman ce parall el architectures, we have been inv est igating machin ea.rc hit<' ct ur cs spec ially adapted to th e highly effici e nt implementation of a rtificia l int elligence (AJ) software. In the course of our rPsear ch we d es ign ed DADO, a highly parallel , VLSI- based, t.recst ru ct. ured ma chin e, andimpl cmPnted a high-speed algo rithm for production syste ms on a simul ato r for DADO. Subsequent research has convin ced us that DADO ca n s upp o rt many other AJ applications, including the very rapid execution of PROLOG' programs, and a large s har e of the sy mbolic processing typi ca l of co ntemporary knowledge-based sys tems . In this brief re port, we outline the hardware de~ign of a. mod e rate s iz e DADO prot oty pe , comprising 1023 pr oeessing e lement s, which is c urrently underco ns tructi on at Columbia University. W e then sketch thesoft ware base being impleme nt ed on a small 15 processing clement prototype s ystem including several app li cations writt en in Pl'Ljl'vf , a high-lev el languag e d es igned for specifying para ll el co mput at ions on DADO.","doi":null,"url":"https://ijcai.org/proceedings/1983/205","pdf":"https://ijcai.org/proceedings/1983/0205.pdf","markdown":"https://ijcai.org/proceedings/1983/205.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/205","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Systems Support","track":"Systems Support","number":205,"pages":{"first":850,"last":853},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Fahlmnn, S. E., The Has/m et Iuterconnection Scheme, T ec hni cal Report 125, Departm ent of Computer Sc ience, CarnPgi<•-Mellon U niv ersity , 1979.","title":"The Has/m et Iuterconnection Scheme","authors":"S E Fahlmnn","year":"1979","venue":"T ec hni cal Report 125","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Forgy, C. L., \" RETE: A Fast Algorithm for the Many Pa.ttern/Many Obj ect Pattern Match Prob lem\", AI 19, 1982.","title":"RETE: A Fast Algorithm for the Many Pa.ttern/Many Obj ect Pattern Match Prob lem","authors":"C L Forgy","year":"1982","venue":"AI","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Hillis , D., Th e Connection Afachine, T echni cal Report, Departm ent of Computer Science, Massachussetts Institute of T echnology, 1982.","title":"Th e Connection Afachine","authors":"D Hillis","year":"1982","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Intel Corporation, PL/M-51 Users's Guide for /h e 805 1 /Ja sed Developmen t System, Order Number 121966, 1982.","title":"PL/M-51 Users's Guide for /h e 805 1 /Ja sed Developmen t System","authors":null,"year":"1982","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Lesser , V. and D. Corkill , \" Th e application of Artificial Intelligence to cooperative di ~t ribut e d processing\", In Proceedings of th e Sixth Int erna tional Joint Con ference on Artificial Int elligence, Tokyo , J apan , 1979.","title":"Th e application of Artificial Intelligence to cooperative di ~t ribut e d processing","authors":"V Lesser, D Corkill","year":"1979","venue":"Proceedings of th e Sixth Int erna tional Joint Con ference on Artificial Int elligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Lowr ie, D., T. Layman, D. Dae r a nd J . 1\\1. Rand al, \"G IXPNIR-A Programmi ng Lan guage for nLIAC IV ', Comm. ACM, 18 3, March, 1975.","title":"G IXPNIR-A Programmi ng Lan guage for nLIAC IV","authors":"D Lowr Ie, T Layman, D Dae R A Nd, J 1\\1 Rand Al","year":"1975","venue":"Comm. ACM","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"McDermott, J. , \" Rl : The Formative Y ears\", AI Afaga z•ine 2:21-29, 1981.","title":"Rl : The Formative Y ears","authors":"J Mcdermott","year":"1981","venue":"AI Afaga z","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Nilsson, N., Fundam en tal Principles of Artificial /nl elligence, Tioga Press, M<'nlo Park , California, 1980.","title":"Fundam en tal Principles of Artificial /nl elligence","authors":"N Nilsson","year":"1980","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Shaw , D. E., S. J . Stolfo, H. Ibrah im , B. llill yrr , G. Vv' ied erhold and J. A. Andrews, \"The NON-VON Data bas<' Machine: A Drief Overvi(•w\", Databa se 8ngincering 4(2), 1981.","title":"The NON-VON Data bas<' Machine: A Drief Overvi(•w","authors":"D E Shaw, S J Stolfo, H Ibrah Im, B, G Vv, J A Andrews","year":"1981","venue":"Databa se 8ngincering","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Stolfo, S. J ., D. Mir ank er and D. E. Shaw , Programming th e DADO .Hachine: An Introduction to PPL/A f, T e<-hni cal Report, D <'partrn E> nt of Comp uter Sc ience, Co lumbia U niversity, 1982.","title":"Programming th e DADO .Hachine: An Introduction to PPL/A f, T e<-hni cal Report, D <'partrn E> nt of Comp","authors":"S J Stolfo, D Mir, D E Shaw","year":"1982","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Stolfo, S. J. a nd D. E. Shaw, \" DADO : A Tree-structured Machine Architecture for Prod uctio n Systems\", In Proceedings National Conference on Artificial Int elligence, Cn rn <'g ie-Mellon University and University of Pittsb urgh , August, 1982.","title":"DADO : A Tree-structured Machine Architecture for Prod uctio n Systems","authors":"S J Stolfo, D E Shaw","year":"1982","venue":"Proceedings National Conference on Artificial Int elligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Stolfo, S. J. and G. T. Vesoncler, ACE: An Expert Sys tem Supporting Analysis and Afunagemen t Decision Afaking, T ec hni<-a l R eport, Depart ment of Computer Science, Columbia University, 1982.","title":"ACE: An Expert Sys tem Supporting Analysis and Afunagemen t Decision Afaking","authors":"S J Stolfo, G T Vesoncler","year":"1982","venue":"T ec hni<-a l R eport","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Taylor, S., C. Maio,S. J . Stolfo and D. E. Shaw, PHOIDG on the DADO Afachine: A Parallel System for lligh-S'peed Logic Programming, T echnical Report, Departm ent of Computer Science, Columbia. University , 1983.","title":"PHOIDG on the DADO Afachine: A Parallel System for lligh-S'peed Logic Programming","authors":"S Taylor, C Maio, S J Stolfo, D E Shaw","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}