CINXE.COM

Oral-History:Bertram Raphael - Engineering and Technology History Wiki

<!DOCTYPE html> <html class="client-nojs" lang="en" dir="ltr"> <head><script type="text/javascript" src="/_static/js/bundle-playback.js?v=HxkREWBo" charset="utf-8"></script> <script type="text/javascript" src="/_static/js/wombat.js?v=txqj7nKC" charset="utf-8"></script> <script>window.RufflePlayer=window.RufflePlayer||{};window.RufflePlayer.config={"autoplay":"on","unmuteOverlay":"hidden"};</script> <script type="text/javascript" src="/_static/js/ruffle/ruffle.js"></script> <script type="text/javascript"> __wm.init("https://web.archive.org/web"); __wm.wombat("http://ethw.org/Oral-History:Bertram_Raphael","20210430034124","https://web.archive.org/","web","/_static/", "1619754084"); </script> <link rel="stylesheet" type="text/css" href="/_static/css/banner-styles.css?v=S1zqJCYt" /> <link rel="stylesheet" type="text/css" href="/_static/css/iconochive.css?v=3PDvdIFv" /> <!-- End Wayback Rewrite JS Include --> <meta charset="UTF-8"/> <title>Oral-History:Bertram Raphael - Engineering and Technology History Wiki</title> <script>document.documentElement.className="client-js";RLCONF={"wgBreakFrames":!1,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"YIt8ZDxfVIS2WVomlXZ7WgAAAAc","wgCSPNonce":!1,"wgCanonicalNamespace":"Oral-History","wgCanonicalSpecialPageName":!1,"wgNamespaceNumber":108,"wgPageName":"Oral-History:Bertram_Raphael","wgTitle":"Bertram Raphael","wgCurRevisionId":183454,"wgRevisionId":183454,"wgArticleId":7181,"wgIsArticle":!0,"wgIsRedirect":!1,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["People and organizations","Engineers","Government","Inventors","Research and development labs","Scientists","Universities","Engineering and society","Military applications","Automation","Automation applications","Control systems","Robots","Robot programming", "Computing and electronics","Computational and artificial intelligence","Cooperative systems","Decision support systems","Computation theory","Context awareness","Formal languages","News"],"wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Oral-History:Bertram_Raphael","wgRelevantArticleId":7181,"wgIsProbablyEditable":!1,"wgRelevantPageIsProbablyEditable":!1,"wgRestrictionEdit":["sysop"],"wgRestrictionMove":["sysop"],"wgULSAcceptLanguageList":[],"wgULSCurrentAutonym":"English","wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgPageFormsTargetName":null,"wgPageFormsAutocompleteValues":[],"wgPageFormsAutocompleteOnAllChars":!1,"wgPageFormsFieldProperties":[],"wgPageFormsCargoFields":[],"wgPageFormsDependentFields":[],"wgPageFormsCalendarValues":[],"wgPageFormsCalendarParams":[],"wgPageFormsCalendarHTML":null,"wgPageFormsGridValues":[],"wgPageFormsGridParams":[],"wgPageFormsContLangYes":null, "wgPageFormsContLangNo":null,"wgPageFormsContLangMonths":[],"wgPageFormsHeightForMinimizingInstances":800,"wgPageFormsShowOnSelect":[],"wgPageFormsScriptPath":"/w/extensions/PageForms","edgValues":null,"wgPageFormsEDSettings":null,"wgAmericanDates":!1,"egMapsScriptPath":"/w/extensions/Maps/","egMapsDebugJS":!1,"egMapsAvailableServices":["leaflet","googlemaps3"],"egMapsLeafletLayersApiKeys":{"MapBox":"","MapQuestOpen":"","Thunderforest":"","GeoportailFrance":""},"wgMjSize":100,"wgULSPosition":"personal","wgEditSubmitButtonLabelPublish":!1};RLSTATE={"site.styles":"ready","noscript":"ready","user.styles":"ready","user":"ready","user.options":"loading","mediawiki.toc.styles":"ready","mediawiki.skinning.content":"ready","zzz.ext.bootstrap.styles":"ready","ext.uls.pt":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.smw.style":"ready","ext.smw.tooltip.styles":"ready"};RLPAGEMODULES=["ext.MjCDN","ext.MjCDN.mobile","ext.wfSoundManager2Button","ext.smw.style", "ext.smw.tooltips","smw.entityexaminer","site","mediawiki.page.startup","mediawiki.page.ready","mediawiki.toc","ext.uls.interface","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.ethw","ext.bootstrap.scripts"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.implement("user.options@1hzgi",function($,jQuery,require,module){/*@nomin*/mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); });});</script> <link rel="stylesheet" href="/web/20210430034124cs_/http://ethw.org/w/load.php?lang=en&amp;modules=ext.smw.style%7Cext.smw.tooltip.styles&amp;only=styles&amp;skin=chameleon"/> <link rel="stylesheet" href="/web/20210430034124cs_/http://ethw.org/w/load.php?lang=en&amp;modules=ext.uls.pt%7Cext.visualEditor.desktopArticleTarget.noscript%7Cmediawiki.skinning.content%7Cmediawiki.toc.styles%7Czzz.ext.bootstrap.styles&amp;only=styles&amp;skin=chameleon"/> <script async="" src="/web/20210430034124js_/http://ethw.org/w/load.php?lang=en&amp;modules=startup&amp;only=scripts&amp;raw=1&amp;skin=chameleon"></script> <style>#mw-indicator-mw-helplink {display:none;}</style> <meta name="ResourceLoaderDynamicStyles" content=""/> <link rel="stylesheet" href="/web/20210430034124cs_/http://ethw.org/w/load.php?lang=en&amp;modules=site.styles&amp;only=styles&amp;skin=chameleon"/> <meta name="generator" content="MediaWiki 1.35.1"/> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"/> <link rel="alternate" type="application/rdf+xml" title="Oral-History:Bertram Raphael" href="/web/20210430034124/http://ethw.org/w/index.php?title=Special:ExportRDF/Oral-History:Bertram_Raphael&amp;xmlmime=rdf"/> <link rel="shortcut icon" href="/web/20210430034124im_/http://ethw.org/w/favicon.ico"/> <link rel="search" type="application/opensearchdescription+xml" href="/web/20210430034124/http://ethw.org/w/opensearch_desc.php" title="ETHW (en)"/> <link rel="EditURI" type="application/rsd+xml" href="https://ethw.org/w/api.php?action=rsd"/> <!--[if lt IE 9]><script src="/w/resources/lib/html5shiv/html5shiv.js"></script><![endif]--> </head> <body class="mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-108 ns-subject page-Oral-History_Bertram_Raphael rootpage-Oral-History_Bertram_Raphael layout-navhead_ethw skin-chameleon action-view"> <!-- navigation bar --> <nav class="p-navbar collapsible" role="navigation" id="mw-navigation"> <!-- logo and main page link --> <div id="p-logo" class="navbar-brand p-logo" role="banner"> <a href="/web/20210430034124/http://ethw.org/Main_Page" title="Visit the main page"><img src="/web/20210430034124im_/http://ethw.org/w/logo.png" alt="ETHW"/></a> </div> <button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#gq1mdx8m4r"></button> <div class="collapse navbar-collapse gq1mdx8m4r" id="gq1mdx8m4r"> <div class="navbar-nav"> <!-- Go --> <div class="nav-item dropdown"> <a href="#" class="nav-link dropdown-toggle" data-toggle="dropdown" data-boundary="viewport">Go</a> <div class="dropdown-menu p-Go" id="p-Go"> <div id="n-Browse-by-Subject"><a href="/web/20210430034124/http://ethw.org/ETHW:Subject_browse" class="nav-link n-Browse-by-Subject">Browse by Subject</a></div> <div id="n-Encyclopedia"><a href="/web/20210430034124/http://ethw.org/Encyclopedia" class="nav-link n-Encyclopedia">Encyclopedia</a></div> <div id="n-Oral-Histories"><a href="/web/20210430034124/http://ethw.org/Oral-History:List_of_all_Oral_Histories" class="nav-link n-Oral-Histories">Oral Histories</a></div> <div id="n-First-Hand-Histories"><a href="/web/20210430034124/http://ethw.org/First-Hand:List_of_First_Hand_Histories" class="nav-link n-First-Hand-Histories">First Hand Histories</a></div> <div id="n-Landmarks.2FMilestones"><a href="/web/20210430034124/http://ethw.org/Landmarks" class="nav-link n-Landmarks.2FMilestones">Landmarks/Milestones</a></div> <div id="n-Archives"><a href="/web/20210430034124/http://ethw.org/Archives:Archival_Collections" class="nav-link n-Archives">Archives</a></div> <div id="n-Education"><a href="/web/20210430034124/http://ethw.org/ETHW:About-Education" class="nav-link n-Education">Education</a></div> <div id="n-Random-page"><a href="/web/20210430034124/http://ethw.org/Special:Random" class="nav-link n-Random-page">Random page</a></div> <div id="n-Special-pages"><a href="/web/20210430034124/http://ethw.org/Special:SpecialPages" class="nav-link n-Special-pages">Special pages</a></div> <div id="n-Recent-changes"><a href="/web/20210430034124/http://ethw.org/Special:RecentChanges" class="nav-link n-Recent-changes">Recent changes</a></div> <div id="n-New-pages"><a href="/web/20210430034124/http://ethw.org/Special:NewPages" class="nav-link n-New-pages">New pages</a></div> </div> </div> <!-- User assistance --> <div class="nav-item dropdown"> <a href="#" class="nav-link dropdown-toggle" data-toggle="dropdown" data-boundary="viewport">User assistance</a> <div class="dropdown-menu p-User assistance" id="p-User assistance"> <div id="n-help"><a href="/web/20210430034124/http://ethw.org/Help:Contents" title="The place to find out" class="nav-link n-help">Help</a></div> <div id="n-Contact-us"><a href="/web/20210430034124/http://ethw.org/Special:Contact" class="nav-link n-Contact-us">Contact us</a></div> </div> </div> <!-- toolbox --> <div class="nav-item p-tb-dropdown"> <a href="#" class="nav-link dropdown-toggle p-tb-toggle" data-toggle="dropdown" data-boundary="viewport">Tools</a> <div class="dropdown-menu"> <div id="t-whatlinkshere" class="nav-item"><a href="/web/20210430034124/http://ethw.org/Special:WhatLinksHere/Oral-History:Bertram_Raphael" title="A list of all wiki pages that link here [j]" accesskey="j" class="nav-link t-whatlinkshere">What links here</a></div> <div id="t-recentchangeslinked" class="nav-item"><a href="/web/20210430034124/http://ethw.org/Special:RecentChangesLinked/Oral-History:Bertram_Raphael" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k" class="nav-link t-recentchangeslinked">Related changes</a></div> <div id="t-specialpages" class="nav-item"><a href="/web/20210430034124/http://ethw.org/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q" class="nav-link t-specialpages">Special pages</a></div> <div id="t-print" class="nav-item"><a href="javascript:print();" rel="alternate" title="Printable version of this page [p]" accesskey="p" class="nav-link t-print">Printable version</a></div> <div id="t-permalink" class="nav-item"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;oldid=183454" title="Permanent link to this revision of the page" class="nav-link t-permalink">Permanent link</a></div> <div id="t-info" class="nav-item"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;action=info" title="More information about this page" class="nav-link t-info">Page information</a></div> <div id="t-smwbrowselink" class="nav-item"><a href="/web/20210430034124/http://ethw.org/Special:Browse/:Oral-2DHistory:Bertram-5FRaphael" rel="search" class="nav-link t-smwbrowselink">Browse properties</a></div> <div id="t-smwbrowselink" class="nav-item"><a href="/web/20210430034124/http://ethw.org/Special:Browse/:Oral-2DHistory:Bertram-5FRaphael" rel="search" class="nav-link t-smwbrowselink">Browse properties</a></div> </div> </div> </div> <div class="navbar-nav right"> <!-- page tools --> <div class="navbar-tools navbar-nav flex-row"> <div class="navbar-tool dropdown"> <a data-toggle="dropdown" data-boundary="viewport" class="navbar-more-tools" href="#" title="Page tools"></a> <!-- Content navigation --> <div class="flex-row navbar-pagetools dropdown-menu p-contentnavigation" id="p-contentnavigation"> <!-- namespaces --> <div id="ca-talk" class="new"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Oral-History_talk:Bertram_Raphael&amp;action=edit&amp;redlink=1" rel="discussion" title="Discussion about the content page (page does not exist) [t]" accesskey="t" class="new ca-talk">Discussion</a></div> <!-- views --> <div id="ca-viewsource"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;action=edit" title="This page is protected. You can view its source [e]" accesskey="e" class="ca-viewsource">View source</a></div> <div id="ca-history"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;action=history" title="Past revisions of this page [h]" accesskey="h" class="ca-history">History</a></div> </div> </div> </div> <!-- search form --> <div id="p-search" class="p-search order-first order-cmln-0 navbar-form" role="search"> <form id="searchform" class="mw-search" action="/web/20210430034124/http://ethw.org/w/index.php"> <input type="hidden" name="title" value=" Special:Search"/> <div class="input-group"> <input name="search" placeholder="Search ETHW" title="Search ETHW [f]" accesskey="f" id="searchInput" class="form-control"/> <div class="input-group-append"> <button value="Go" id="searchGoButton" name="go" type="submit" class="search-btn searchGoButton" aria-label="Go to page" title="Go to a page with this exact name if it exists"></button> </div> </div> </form> </div> <!-- personal tools --> <div class="navbar-tools navbar-nav"> <div class="navbar-tool dropdown"> <a class="navbar-usernotloggedin" href="#" data-toggle="dropdown" data-boundary="viewport" title="You are not logged in."> </a> <div class="p-personal-tools dropdown-menu"> <div id="pt-uls" class="active"><a href="#" class="uls-trigger pt-uls">English</a></div> <div id="pt-login"><a href="/web/20210430034124/http://ethw.org/w/index.php?title=Special:UserLogin&amp;returnto=Oral-History%3ABertram+Raphael" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o" class="pt-login">Log in</a></div> <div id="pt-createaccount"><a href="/web/20210430034124/http://ethw.org/Special:RequestAccount" title="You are encouraged to create an account and log in; however, it is not mandatory" class="pt-createaccount">Request account</a></div> </div> </div> </div> </div> </div> </nav> <div class="flex-fill container"> <div class="row"> <div class="col"> </div> </div> <div class="row"> <div class="col"> <!-- start the content area --> <div id="content" class="mw-body content"><a id="top" class="top"></a> <div id="mw-indicators" class="mw-indicators"> <div id="mw-indicator-smw-entity-examiner" class="mw-indicator mw-indicator-smw-entity-examiner"><div class="smw-entity-examiner smw-indicator-vertical-bar-loader" data-subject="Bertram_Raphael#108##" data-dir="ltr" data-uselang="" title="Running an examiner in the background"></div></div> </div> <div class="contentHeader"> <!-- title of the page --> <h1 id="firstHeading" class="firstHeading">Oral-History:Bertram Raphael</h1> <!-- tagline; usually goes something like "From WikiName" primary purpose of this seems to be for printing to identify the source of the content --> <div id="siteSub" class="siteSub">From ETHW</div><div id="jump-to-nav" class="mw-jump jump-to-nav">Jump to:<a href="#mw-navigation">navigation</a>, <a href="#p-search">search</a></div> </div> <div id="bodyContent" class="bodyContent"> <!-- body text --> <div id="mw-content-text" lang="en" dir="ltr" class="mw-content-ltr"><div class="mw-parser-output"><div id="toc" class="toc" role="navigation" aria-labelledby="mw-toc-heading"><input type="checkbox" role="button" id="toctogglecheckbox" class="toctogglecheckbox" style="display:none"/><div class="toctitle" lang="en" dir="ltr"><h2 id="mw-toc-heading">Contents</h2><span class="toctogglespan"><label class="toctogglelabel" for="toctogglecheckbox"></label></span></div> <ul> <li class="toclevel-1 tocsection-1"><a href="#About_Bertram_Raphael"><span class="tocnumber">1</span> <span class="toctext">About Bertram Raphael</span></a></li> <li class="toclevel-1 tocsection-2"><a href="#About_the_Interview"><span class="tocnumber">2</span> <span class="toctext">About the Interview</span></a></li> <li class="toclevel-1 tocsection-3"><a href="#Copyright_Statement"><span class="tocnumber">3</span> <span class="toctext">Copyright Statement</span></a></li> <li class="toclevel-1 tocsection-4"><a href="#Interview"><span class="tocnumber">4</span> <span class="toctext">Interview</span></a> <ul> <li class="toclevel-2 tocsection-5"><a href="#NSF_Support_for_Shakey"><span class="tocnumber">4.1</span> <span class="toctext">NSF Support for Shakey</span></a></li> <li class="toclevel-2 tocsection-6"><a href="#Motivations_for_Shakey_Project"><span class="tocnumber">4.2</span> <span class="toctext">Motivations for Shakey Project</span></a></li> <li class="toclevel-2 tocsection-7"><a href="#DOD_and_DARPA_Support_for_Shakey"><span class="tocnumber">4.3</span> <span class="toctext">DOD and DARPA Support for Shakey</span></a></li> <li class="toclevel-2 tocsection-8"><a href="#Work_Contrasted_with_MIT_.26_Johns_Hopkins.27"><span class="tocnumber">4.4</span> <span class="toctext">Work Contrasted with MIT &amp; Johns Hopkins'</span></a></li> <li class="toclevel-2 tocsection-9"><a href="#Automatic_Theorem_Proving_and_Prolog"><span class="tocnumber">4.5</span> <span class="toctext">Automatic Theorem Proving and Prolog</span></a></li> <li class="toclevel-2 tocsection-10"><a href="#End_of_Shakey"><span class="tocnumber">4.6</span> <span class="toctext">End of Shakey</span></a></li> <li class="toclevel-2 tocsection-11"><a href="#Man-Machine_Systems_and_Groupware"><span class="tocnumber">4.7</span> <span class="toctext">Man-Machine Systems and Groupware</span></a></li> <li class="toclevel-2 tocsection-12"><a href="#Level_of_NSF_Support"><span class="tocnumber">4.8</span> <span class="toctext">Level of NSF Support</span></a></li> <li class="toclevel-2 tocsection-13"><a href="#Teamwork_and_Consensus_at_SRI"><span class="tocnumber">4.9</span> <span class="toctext">Teamwork and Consensus at SRI</span></a></li> </ul> </li> </ul> </div> <h2><span class="mw-headline" id="About_Bertram_Raphael">About Bertram Raphael</span></h2> <p>Bertram Raphael was born in 1936 in New York City and is known for his contributions to artificial intelligence. He received his bachelor's degree in physics from the Rensselaer Polytechnic Institute in 1957 and his Ph.D. in mathematics from MIT in 1964, where he was a student of [Marvin Minsky]]. He directed the Artificial Intelligence Center at SRI International from 1970 to 1973. He invented the A* Search Algorithm, contributed to the development of Shakey the Robot, co-founded the <i>Journal of Artificial Intelligence</i>, and authored <i>The Thinking Computer: Mind Inside Matter</i> (1976). </p><p>The interview concentrates on the funding for the Shakey Artificial Intelligence Project through the NSF, the Department of Defense and DARPA. Raphael describes the motivation for creating Shakey as an integrated robotic system, the differences between SRI's approach and that of MIT and Johns Hopkins, and further projects involving man-machine interactions and groupware. </p> <h2><span class="mw-headline" id="About_the_Interview">About the Interview</span></h2> <p>BERTRAM RAPHAEL: An Interview Conducted by Andrew Goldstein, IEEE History Center, July 25, 1991 </p><p>Interview #113 for the IEEE History Center, The Institute of Electrical and Electronics Engineers, Inc. </p> <h2><span class="mw-headline" id="Copyright_Statement">Copyright Statement</span></h2> <p>This manuscript is being made available for research purposes only. All literary rights in the manuscript, including the right to publish, are reserved to the IEEE History Center. No part of the manuscript may be quoted for publication without the written permission of the Director of IEEE History Center. </p><p>Request for permission to quote for publication should be addressed to the IEEE History Center Oral History Program, IEEE History Center, 445 Hoes Lane, Piscataway, NJ 08854 USA or ieee-history@ieee.org. It should include identification of the specific passages to be quoted, anticipated use of the passages, and identification of the user. </p><p>It is recommended that this oral history be cited as follows: </p><p>Bertram Raphael, an oral history conducted in 1991 by Andrew Goldstein, IEEE History Center, Piscataway, NJ, USA. </p> <h2><span class="mw-headline" id="Interview">Interview</span></h2> <p>INTERVIEW: Dr. Bertram Raphael </p><p>INTERVIEWER: Andrew Goldstein </p><p>DATE: July 25, 1991 </p><p>PLACE: Telephone Interview </p> <h3><span class="mw-headline" id="NSF_Support_for_Shakey">NSF Support for Shakey</span></h3> <p><b>Goldstein:</b> </p><p>I think I described to you the purpose of our project. In this large study of the National Science Foundation and their role in computer science, we want to write about some of the research work that the foundation has supported. So what I'd like to do in this conservation is talk about your work, what led you to it, the nature of the work itself, and what some of its consequences have been. Let me tell you that I was looking through your book, <i>The Thinking Computer</i>, and I saw the descriptions you wrote of what was going on at SRI (Stanford Research Institute). How involved were you in the Shakey Artificial Intelligence Project? </p><p><b>Raphael:</b> </p><p>I was the Director of the Shakey Project and head of the Artificial Intelligence Lab for awhile. </p><p><b>Goldstein:</b> </p><p>What dates? </p><p><b>Raphael:</b> </p><p>It must have been about 1967 or 1968. I was Project Leader in 1970 and 1971. I was head of the AI Lab probably from 1972 to 1974. I was one of the three or four key people in the project from the beginning. </p><p><b>Goldstein:</b> </p><p>From our examination of the NSF Award, I see that you are receiving money from the National Science Foundation between 1971 and 1975. Is that accurate? </p><p><b>Raphael:</b> </p><p>Sounds right. </p><p><b>Goldstein:</b> </p><p>What were those awards for? </p><p><b>Raphael:</b> </p><p>Do you have the titles of those? </p><p><b>Goldstein:</b> </p><p>Yes. </p><p><b>Raphael:</b> </p><p>I do not remember. We were receiving money from NSF, the Office of Naval Research and the Defense Advanced Research Projects Agency, and they were all for different components of related projects, so I do not remember exactly which was which. </p><p><b>Goldstein:</b> </p><p>I see that in 1971 the NSF grant was for automatic theorem proving. That was a two-year grant. And then in 1973 you received two separate grants. One was $60,000 over one year for equipment needs for artificial intelligence. </p><p>Another one was for machine perception that was $39,000 for two years. </p><p><b>Raphael:</b> </p><p>Those are each different subjects. I can tell you a little about each of them. </p><p><b>Goldstein:</b> </p><p>Okay, go ahead. </p><p><b>Raphael:</b> </p> <p><br/> </p><dl><dt>Audio File</dt> <dd>MP3 Audio<br/><a href="https://web.archive.org/web/20210430034124/https://ethw.org/w/images/d/d1/113_-_bertram_-_clip_1.mp3" title="Play" class="sm2_button">Play</a> (<span style="color:#888;">113_-_bertram_-_clip_1.mp3</span>)<p class="mw-empty-elt"></p></dd></dl><p> The automatic theorem proving was work on essentially machine reasoning. I think that was probably the project that lead to, or supported the development of what was called QA3 and QA4. Demonstration "question answering" programs showing how classical Logic Predicate Calculus could be used by a computer automatically and applied to everyday reasoning, its problems, and some of the results. The approaches that were taken there I would think are parts of the roots of the "Prologue" programming language, and some of what is currently called logic programming. The equipment needs probably were supplementing the Shakey Project. Shakey was a robot controlled by a computer in the days before microcomputers. And it was operated by a combination of minis. It was a Digital Equipment Corp. PDP-10. We did most of the computing on the PDP-10 in the back room, and there was a PDP-11 or another front-end computer, and there were various devices to get sensory data into those machines. I believe that NSF provided support for some of the hardware glue, the custom interfaces, and ad hoc ways we had to tie together the different machines to get them talking to each other and to the sensors and motors. One of the main areas of our work was how to get a computer to see. Enabling the robot to understand its environment through a visual sensor was one area of focus. Another was looking at aerial photographs, or interpreting scenes of real world pictures taken through the window. We developed a number of algorithms. We started with work from the MIT Lincoln Labs, Larry Roberts early work on vision, and looked at analyzing areas and regions rather than just lines and edges. The key issue that ran through the whole project was how do you relate formal computer analysis to the semantics of the real everyday world? Our machine perception work continued and evolved over many years at SRI and at Stanford and spin-offs. Some of the people in the group went to Schlumberger and had a major project there in their analysis of oil-well data and other kinds of real world information, like pattern-recognition programs. <b>Goldstein:</b> Who were some of the key collaborators? <b>Raphael:</b> Peter Hart and Marty Tenenbaum (who recently is the co-founder of a new company in Palo Alto, California). Tenenbaum was head of machine intelligence and perception work at Schlumberger Labs for many years. Hart was a founder of SYNtelligence. Recently, he moved on to Ricoh. <b>Goldstein:</b> You said that the NSF was supplying funds for the hardware glue. Were the grants that you requested that specific, or was there general support for this project? Would you turn to the NSF for some particular need and then to the ONR for some other need? <b>Raphael:</b> At that time you had to be fairly specific as to what piece of the project was going to result from the particular piece of funding. Nobody wanted to put a little bit of money into a big pot and not have a recognizable result of what was done with their money. <b>Goldstein:</b> So your budgets had to be specific? <b>Raphael:</b> Yes. <b>Goldstein:</b> How did you come to turn to the NSF for the mechanical glue for this hardware? Why did you turn to the NSF? <b>Raphael:</b> Now I am speculating. I really do not remember the particular grants. But the NSF was the place to go when you could not get funded anyplace else. The Defense Department generally wanted the proposal tied to some specific outcome or demonstration or result. The NSF was willing to provide funds for equipment needs and such to support the experimental environment to facilitate getting results in other areas. I expect it was easier to get money from the Dept. of Defense for developing a camera or a pattern-recognition algorithm for understanding a certain type of picture, as for communications interface hardware. That was a prerequisite for the actual applications. </p><h3><span class="mw-headline" id="Motivations_for_Shakey_Project">Motivations for Shakey Project</span></h3> <p><b>Goldstein:</b> </p><p>How did the Shakey Project get started? Did you find yourself at SRI with Hart and just begin to consider things you could do? Or was it an outside initiative? </p><p><b>Raphael:</b> </p><p>That is a good question. That is going way back now. I was at SRI as a consultant in 1964 and then full time in 1965, after I received my Ph.D. in Artificial Intelligence, List Processing, and Problem Solving using high level programming approaches at the Massachusetts Institute of Technology in 1964. I taught a course in the "LISP" programming language and symbol manipulation in a short summer course at the University of California, Los Angeles in 1964, and a couple of the key people from SRI were there, including Charlie Rosen, who was head of the Learning Machine Group at SRI, at that point in pattern recognition. He was intrigued by the possibility of combining some of this higher level problem solving software with the more basic pattern recognition analysis of lines and dots on the screen. And he had already been thinking about robots; first as the possible application for pattern recognition in factories in the real world. </p><p>It was at that time a very futuristic use of computers. A robot operating in the real world has to do more than react to the sensory data. It has to make some decisions, and LISP and similar programming techniques could be the basis of that kind of capability. So Rosen hired me and I joined the group at SRI, and we thought up how to combine the work the SRI group was already doing in pattern recognition and pattern classification. They were sponsored by the Army Signal Corps at that point to do photo analysis, with their interest in how to extend that to machines and possible non-military applications, and in more basic Artificial Intelligence work. And SRI had another lab that we could work closely with that had a lot of mechanical expertise and mechanical engineering people that could actually build the machine to experiment with. Charlie and I and Dick Duda were in the group at that point, and John Munson, and Nils Nilsson, who is currently chairman of the Computer Science Department at Stanford. Nilsson is one of the key people in the group. </p><p>We got together and dreamed up the idea of a complete robot project. As I mention in my book there was some early work going on in Robotics at Johns Hopkins and a couple of other places. But Stanford and MIT and the main research labs were trying to do high quality vision or high quality manipulation in mechanical arm control. And we thought that, if you have all of the components to build on each other and to coordinate to work toward a more general intelligence, then maybe you do not have to be as good at seeing or as good at sensing touch or controlling motion. </p><p><b>Goldstein:</b> </p><p>Were there industrial applications in mind? When you say that for industrial applications, the robot would have to do more than simple pattern recognition. Depending on the application, that may or may not be true. But it seems like Shakey was given capabilities that were not necessarily essential for an industrial function. </p><p><b>Raphael:</b> </p><p>My guess is that Rosen had industrial applications in the back of his mind from the beginning, but what we really talked about was more basic research. Whether it was military or industrial applications, the issue was how do you integrate visual or physical sensing with manipulation affecting the environment and integrate all that with automated decision making. How big of a machine do you need? How complex is the program going to be? </p><p><b>Goldstein:</b> </p><p>How simple its instructions could be, whether they would be in English and how vague they could be? </p><p><b>Raphael:</b> </p><p>How are people going to communicate with the system? We thought the time was ripe. One interesting thing that happened about then was the SRI group working in pattern recognition and picture analysis had spent three or four years developing a machine with specialized hardware to do the picture processing. And just about the time I was joining the group, or within a year thereafter, they were able to simulate that whole machine on the newest Digital Equipment Corp. computer that they had gotten. And the simulation was not only much easier to change and experiment with, but it actually ran a little faster and was a lot more reliable than the hardware that they had been building. That is what triggered the thought that, "Gee, we do not have to build special-purpose machines anymore. The computers have reached the point where we can do the algorithms to operate all the sensors and integrate everything." </p><p><b>Goldstein:</b> </p><p>When did you say that was developed? Because I can remember you writing in your book that a computer simulation of robots often overlooks certain physical factors, and indeed you do need to build robots. </p><p><b>Raphael:</b> </p><p>Right. You need to do both. We need the real interaction to find out what are the errors and what kind of information can you get from the real world data. You need the machine to be fast enough and easy enough to program to use, so it can do simulations in the sense that the machine needs to do "what if" experiments in order to decide which way to roll the wheels or which way to reach out its arm. The machine should be thinking ahead, which is a simulation item. Anyway, about 1967 or 1968, we felt the machines had reached the point where they could do the integration and the simulations as well as control the hardware. </p><p>The other proposal went to the Defense Department, who had the most money at that point. And this was a big project; we were looking for about $300,000 to $500,000 a year to get started in order to put some funding into each of all of the different components that were needed. We needed to pull together pattern recognition and high level programmers and communications people and mechanical engineers. I went to Washington with Rosen, talked to a number of people and to Ruth Davis, who was then an undersecretary assistant in the Defense Department. She went back and reached into a file cabinet and said yes, she has two or three hundred thousand dollars eligible for this kind of work and would like to get it started. And that was one of the first projects funded by what became the Defense Advanced Research Projects Agency. </p> <h3><span class="mw-headline" id="DOD_and_DARPA_Support_for_Shakey">DOD and DARPA Support for Shakey</span></h3> <p><b>Goldstein:</b> </p><p>So the Defense Department and then later DARPA was the principle funder? </p><p><b>Raphael:</b> </p><p>Yes. The Office of Naval Research funded a lot of the vision, the pattern recognition side of it. We went to NSF for the longer range, more theoretical kinds of things, like the theorem proving and reasoning part. As you mentioned a couple of years later the NSF had a special program of hardware funding, for supporting the equipment needed as a basis for a variety of different computer research projects. </p><p><b>Goldstein:</b> </p><p>Their facilities program was quite active. </p><p><b>Raphael:</b> </p><p>That is probably what this sixty thousand-dollar equipment needs project tried to tap into. </p><p><b>Goldstein:</b> </p><p>Can you recall the sort of equipment you were after from NSF? </p><p><b>Raphael:</b> </p><p>No, I cannot. </p><p><b>Goldstein:</b> </p><p>Did you discuss the potential military applications of this work with the Department of Defense and the ONR? </p><p><b>Raphael:</b> </p><p>They were not requiring that. We were amused some years later when we had Shakey rolling around the laboratory and saw a demonstration, and there were some military people that came through, and a General asked, "Can you mount a 36 inch bayonet on it?" The people we were working with in the funding offices, like Ruth Davis and later Larry Roberts and Marv Dennicoff at the ONR, who is now with "Thinking Machines," were quite long-sighted. They were interested in building the basic computer science capability for the country, rather than trying to make any particular weapons. </p><p><b>Goldstein:</b> </p><p>Did you have discussions that were as detailed with the NSF when you applied for NSF money as you did with DOD? For instance, you say you went over to the Department of Defense and talked with them about what you wanted to do. Was it similar with NSF? </p><p><b>Raphael:</b> </p><p>Yes. The standard procedure for the SRI people looking for grants, and I think it was the most effective way of getting government grants, was to spend a week in Washington and visit the contract monitors and try to talk to the people who allocate the budgets. Once Congress has put money into some budget, there are a couple of layers of bureaucrats that make the decisions as to who gets how much. And we try to get to know the people making those decisions and convince them that we were better qualified or likely to produce more interesting results with the money than the competitors for that money. </p> <h3><span id="Work_Contrasted_with_MIT_&amp;_Johns_Hopkins'"></span><span class="mw-headline" id="Work_Contrasted_with_MIT_.26_Johns_Hopkins.27">Work Contrasted with MIT &amp; Johns Hopkins'</span></h3> <p><b>Goldstein:</b> </p><p>In what essential ways did the work of your group differ from the group at MIT or Johns Hopkins? Did you have any approaches that were unique to your effort? </p><p><b>Raphael:</b> </p><p>Number one was the idea of going for overall integrated performance rather than highly tuned specialized performance. Vision projects, and what was called the robotic projects that evolved at both Stanford and MIT, were really aimed at high performance precision control of mechanisms. I think we were paying more attention to our stated goal. Suppose you do not have that good of a mechanism, you do not have that good of a camera, you do not have that big of computer, but you really want them to all to work together. What kind of underlying logical structure is needed? </p><p><b>Goldstein:</b> </p><p>As a result, was the MIT work or Stanford work more focused on hardware and mechanical design, mechanical engineering? Or was it the computer control of those? </p><p><b>Raphael:</b> </p><p>Although there were other projects in those places that were specific software projects also, but in each of the universities — A university AI lab typically consists of many separate master's and Ph.D. theses, each of which is a one-person effort, and we had ten or fifteen people who could collaborate with the constraint that what they do has to fit together with what everyone else does. They are a team effort coordinating the different components. </p> <h3><span class="mw-headline" id="Automatic_Theorem_Proving_and_Prolog">Automatic Theorem Proving and Prolog</span></h3> <p><b>Goldstein:</b> </p><p>You say that your work in automatic theorem proving was a precursor to Prolog. What's the genealogy there? </p><p><b>Raphael:</b> </p><p>It would follow the work. We had a couple of young new computer scientists that he had hired right out of Carnegie and Stanford. One is named Cordell Green, who developed the QA 3 system, and subsequently went on to found a company called The Kestrel Institute. He is probably today doing some of the leading work in the country on how to get computers to prove mathematical theorems. Bob Yates was a mathematician working with us. Green and Yates and I attended a lot of the early meetings that involved the American and the British Artificial Intelligence communities on logic programming, or theorem proving by computer. A lot of exchange of ideas. I think you would find the papers on QA 3 and QA 4 cited by Kowalsky, one of the originators of Prolog, and others in that area. </p> <h3><span class="mw-headline" id="End_of_Shakey">End of Shakey</span></h3> <p><b>Goldstein:</b> </p><p>In the mid 1970s you (and tell me if I understand this correctly), after a successful computer simulation of the sort of systems you were actually building, you decided to abandon the robots. </p><p><b>Raphael:</b> </p><p>The DARPA decided. There was a very trying period in which we were directed by the DARPA to get much more applied. And if we wanted that level of DARPA funding we had to really work on weapons systems or military equipment maintenance, something more specific and highly targeted than the early work. As I said in the early days, the DARPA seemed to see its charter as building the computer science competence of the country, and by 1971 or 1972 they were shifting; they were being directed by Congress, I guess, to show specific results with the military applications. </p><p><b>Goldstein:</b> </p><p>What did you begin working on? Did you preserve the level of the DARPA funding? </p><p><b>Raphael:</b> </p><p>No, I think it dropped some and it shifted probably into the vision projects, and the machine perception rather than robotics area. And we went full bore into industrial robotics. We started a project jointly funded by five to ten companies interested in assembly line robots. And that became largely a project of the commercial side of SRI with a little bit of DOD support for some components of it. I think the ONR continued to contribute to the machine vision part of it. </p><p><b>Goldstein:</b> </p><p>Did that work benefit from the knowledge you accumulated working on Shakey, or was that a different line? </p><p><b>Raphael:</b> </p><p>No, it was very much a direct descendent. </p><p><b>Goldstein:</b> </p><p>What companies were you involved with? </p><p><b>Raphael:</b> </p><p>Unimation Inc. was involved. At one point I believe Ford was a sponsor. I do not remember. I think that was about the time I was moving out of that area. </p><p><b>Goldstein:</b> </p><p>What happens? Do they do research on a system, develop it, and then if it is successful, it is purchased by an industrial client? </p><p><b>Raphael:</b> </p><p>They do a little more, but basically they do research on algorithms and sensory equipment and the conclusion of the research is usually a paper, maybe some hardware designs, that then belongs jointly or goes back to all of the sponsors of that research. </p><p><b>Goldstein:</b> </p><p>So it would be unlikely to find, say, two auto manufacturers sponsoring the same research, because then there would be disputes about the ownership of the results? </p><p><b>Raphael:</b> </p><p>Not necessarily. I think there have been a lot of changes on how technical work is protected. At least originally the idea was that they were sponsoring work at a university, except that the results would not be published openly. It was to be given equally to all of the sponsors and they would each use it in different ways. </p><p><b>Goldstein:</b> </p><p>And you say you got out of that. What did you take up? </p> <h3><span class="mw-headline" id="Man-Machine_Systems_and_Groupware">Man-Machine Systems and Groupware</span></h3> <p><b>Raphael:</b> </p><p>I moved into a management job at SRI involved with man-machine systems. There were some problems in a laboratory that had previously been run by Doug Engelbart, the inventor of the mouse, doing experiments in man-computer, human-computer interaction group, what is now being called groupware: how you get a group of people to collaborate with a common database in a computer and share information and ideas. It was a project that had been going on parallel to the Shakey Artificial Intelligence Project, but was not paying its way in SRI, meaning it was not meeting SRI's financial needs. It was not getting enough sponsorship to the level of investments. And I had a one to two year job to manage that group and figure out how to fix it from SRI's point of view. The result of that was we sold the laboratory to Timeshare Incorporated with all of their ideas. And that has gone on and has continued, as Timeshare is now owned by McDonnell-Douglas. </p><p><b>Goldstein:</b> </p><p>So Timeshare was responsible for funding it? </p><p><b>Raphael:</b> </p><p>They bought the rights to all of the past developments of that group and hired most of the people in it, including Engelbart. He ended up developing it and making it a commercial product that they sold to a number of companies. </p><p><b>Goldstein:</b> </p><p>Did your work on Shakey and the automatic theorem proving inject a new perspective into the work of this group? </p><p><b>Raphael:</b> </p><p>I do not think anything Shakey had to do was relevant. I think the approach, the effectiveness at getting sponsorship helped some. I thought some of those folks made some contacts for them with sponsoring agencies to help over the transition until they sold the project. My perception was that they had made some basic errors. They were trying to do both fundamental research and applications. They were getting funding from the ONR and then the NSF and also from industry, with the idea that these two kinds of work would complement each other and the theoretical work would be applied to the business needs, and the business people would put some real world constraints and goals in place for the theoretical work. And what actually had happened was that the two sides were competing, or hurting each other, and the fact that there was this theoretical government sponsored work going on and the bugs were not being fixed in the real practical system they were trying to build. They were not paying enough attention to the customers if they wanted to make it a commercial success. And they could not really build a commercial system and do basic research on the same platform at the same time. And so we worked on defining the project a little better, and splitting it up so that there was a real practical application system of groupware and human-computer interaction software could be sold. </p> <h3><span class="mw-headline" id="Level_of_NSF_Support">Level of NSF Support</span></h3> <p><b>Goldstein:</b> </p><p>You said before that DARPA the military sponsors of research got a little more pragmatic in the mid 1970s. They wanted more concrete results. Would you say the same of the NSF? How did their support of artificial intelligence as a research effort hold up during the 1970s? </p><p><b>Raphael:</b> </p><p>To my knowledge it held up pretty well. It stayed pretty uniform. But it always had been a very small part of the whole research picture. </p><p><b>Goldstein:</b> </p><p>Compared to the military? </p><p><b>Raphael:</b> </p><p>Yes. </p><p><b>Goldstein:</b> </p><p>Did they rise up to fill in the gap left by contracting military funding then? </p><p><b>Raphael:</b> </p><p>No. </p><p><b>Goldstein:</b> </p><p>Just a steady level. </p><p><b>Raphael:</b> </p><p>Yes, with a little bit of an increase in the more applied sides. They did some funding for applications of computer science separate from development of the basic science. </p><p><b>Goldstein:</b> </p><p>Can you think of any really strong work in the 1970s that they were involved in supporting, whether it was your own or someone else's? </p><p><b>Raphael:</b> </p><p>Not really. </p> <h3><span class="mw-headline" id="Teamwork_and_Consensus_at_SRI">Teamwork and Consensus at SRI</span></h3> <p><b>Goldstein:</b> </p><p>Did you have any comments you want to make? Some highlights of your research career that you would like to elaborate on? </p><p><b>Raphael:</b> </p><p>I think the key thing was the teamwork. The thing that was great about the SRI environment, was that it was not a matter of an individual researcher, and maybe his or her couple of students getting support and then doing something on their own, which is the way that the university research community is generally structured. Rather, there was a team of quite a number of quite excellent computer scientists that work together on bigger projects. And the collaboration with Nilsson, Duda, Hart and Tenenbaum. </p><p><b>Goldstein:</b> </p><p>Were you as the director responsible for getting the grants from the NSF, say, and for that reason you were the principle investigator? Or did each of the people involved in the project seek funding independently? </p><p><b>Raphael:</b> </p><p>Everybody did. Not independently, but we would coordinate it, and we would have meetings and decide by consensus how much effort we wanted to do in each technical area, and who was the best qualified person to lead that. Each of the senior scientists in the group would head proposal efforts and promotions. And it was almost a joke that I was the director of the group. Rosen was the head of the lab before me. And in probably my third year there as a young researcher, he called me in for annual review and asked me if I ever thought about managing and I said, "Sure, some day." And a couple of days later he called me back and said, "It's all set, we're trading jobs!" Really, the members of the group were all so strong both technically and with respect to each other that it was run by consensus, and the manager was just the person whose name went on some of the papers for coordination of SRI's administrative needs. But in terms of really directing the research, it was pretty even collaboration. </p><p><b>Goldstein:</b> </p><p>And the support that you received from the NSF may not be limited to the amount that you as a PI (Principal Investigator) were getting? Is that right? I mean, someone else in the group may have been funded by the NSF for joint work? </p><p><b>Raphael:</b> </p><p>Sure. There were times when we would have had two or three NSF grants. It might have been that I was PI or Cordell Green was PI on a theorem proving grant, and Marty Tenenbaum was on some aspect of machine perception, and Rosen or a mechanical engineer might have been on equipment foundation. </p><p><b>Goldstein:</b> </p><p>Goodbye. </p><p><b>Raphael:</b> </p><p>Bye. </p> <!-- NewPP limit report Cached time: 20210430034125 Cache expiry: 86400 Dynamic content: false Complications: [] [SMW] In‐text annotation parser time: 0 seconds CPU time usage: 0.036 seconds Real time usage: 0.041 seconds Preprocessor visited node count: 54/1000000 Post‐expand include size: 124/2097152 bytes Template argument size: 61/2097152 bytes Highest expansion depth: 4/40 Expensive parser function count: 0/100 Unstrip recursion depth: 0/20 Unstrip post‐expand size: 108/5000000 bytes --> <!-- Transclusion expansion time report (%,ms,calls,template) 100.00% 4.623 1 Template:Audio 100.00% 4.623 1 -total --> <!-- Saved in parser cache with key mediawiki:pcache:idhash:7181-0!canonical and timestamp 20210430034125 and revision id 183454 --> </div></div><div class="printfooter"> Retrieved from "<a dir="ltr" href="https://web.archive.org/web/20210430034124/https://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;oldid=183454">https://ethw.org/w/index.php?title=Oral-History:Bertram_Raphael&amp;oldid=183454</a>"</div> <!-- end body text --> <!-- data blocks which should go somewhere after the body text, but not before the catlinks block--> </div> <!-- category links --> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/web/20210430034124/http://ethw.org/Special:Categories" title="Special:Categories">Categories</a>: <ul><li><a href="/web/20210430034124/http://ethw.org/Category:People_and_organizations" title="Category:People and organizations">People and organizations</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Engineers" title="Category:Engineers">Engineers</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Government" title="Category:Government">Government</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Inventors" title="Category:Inventors">Inventors</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Research_and_development_labs" title="Category:Research and development labs">Research and development labs</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Scientists" title="Category:Scientists">Scientists</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Universities" title="Category:Universities">Universities</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Engineering_and_society" title="Category:Engineering and society">Engineering and society</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Military_applications" title="Category:Military applications">Military applications</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Automation" title="Category:Automation">Automation</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Automation_applications" title="Category:Automation applications">Automation applications</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Control_systems" title="Category:Control systems">Control systems</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Robots" title="Category:Robots">Robots</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Robot_programming" title="Category:Robot programming">Robot programming</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Computing_and_electronics" title="Category:Computing and electronics">Computing and electronics</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Computational_and_artificial_intelligence" title="Category:Computational and artificial intelligence">Computational and artificial intelligence</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Cooperative_systems" title="Category:Cooperative systems">Cooperative systems</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Decision_support_systems" title="Category:Decision support systems">Decision support systems</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Computation_theory" title="Category:Computation theory">Computation theory</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Context_awareness" title="Category:Context awareness">Context awareness</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:Formal_languages" title="Category:Formal languages">Formal languages</a></li><li><a href="/web/20210430034124/http://ethw.org/Category:News" title="Category:News">News</a></li></ul></div></div> </div> </div> </div> </div> <div class="mb-2 mt-4 container-fluid"> <div class="row"> <div class="col"> <!-- navigation bar --> <nav class="p-navbar not-collapsible small mb-2" role="navigation" id="mw-navigation-gq1mdx8mhk"> <div class="navbar-nav"> </div> </nav> </div> </div> <div class="row"> <div class="col"> <!-- footer links --> <div id="footer-info" class="footer-info"> <!-- info --> <div> This page was last edited on 26 January 2021, at 19:06.</div> </div> <!-- places --> <div id="footer-places" class="footer-places"> <div><a href="/web/20210430034124/http://ethw.org/ETHW:About" title="ETHW:About">About ETHW</a></div> <div><a href="/web/20210430034124/http://ethw.org/ETHW:Policies" title="ETHW:Policies">Policies and disclaimers</a></div> </div> </div> <div class="col"> <!-- footer icons --> <div id="footer-icons" class="justify-content-end footer-icons"> <!-- poweredby --> <div><a href="https://web.archive.org/web/20210430034124/https://www.mediawiki.org/" target="_blank"><img src="/web/20210430034124im_/http://ethw.org/w/resources/assets/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" srcset="/web/20210430034124im_/http://ethw.org/w/resources/assets/poweredby_mediawiki_132x47.png 1.5x, /web/20210430034124im_/http://ethw.org/w/resources/assets/poweredby_mediawiki_176x62.png 2x" width="88" height="31" loading="lazy"/></a></div> <div><a href="https://web.archive.org/web/20210430034124/https://www.semantic-mediawiki.org/wiki/Semantic_MediaWiki" target="_blank"><img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFgAAAAfCAMAAABUFvrSAAACJVBMVEXe3t62trbLy8vGxsbAwMDX19e6urqsrKxHcEzQ0NC2tratra2oqKixsbHd3eDFxcXe3t7U1NTa2trX19fQ0NDV1dWNjY2dnZ2UlJSUlJTS0tKUlJSWlpbR0dGenp79/f38/Pz+/v7t7e3v7+/u7u7s7Oz19fX29vb6+vr7+/vz8/Pz8/P4+fnw8PD39/gWTq/09PX6+vktX7b/sg8XT7F6mc/f5OwhVrNvkMthhsfT2+j7rQ/M1eZqjcmFotPs7e9Cb722xuFResK/zOObstnu7/Grvd3M1+mNqNY6aLoaUbEaUbZWfsTk6fE2Zrnp7O8bTq0kWLQuYcpcg8Xh5/Byk83a4eukud1/nM+6yeQkWcGwwuDxnRQyYrigttvI0+gpW7XGyttLdsBni8geVLo0Z9XlkCPb4u+QqtcfVLLo7PNHcr73phFGX6HsmBnpkxg6bNwnXcbX3er19vnr7/SVrdhuhLl+j70vVqY6Xqv0oxJVcbQhV76DjKTz9ffQ2evE0OZAbbzu7/PS1uFufrDnrGgpSZjy8/SQnMFddrKuekXSiCsgTKRaaZHejy9yang3VptNaqspWbnmliy3j2/m6OzT3e7x8fL4+v3p6uwaN2re0cifqLiLiZWYhYGYb0xXYn+5g0xwiMKYpc2BcHZmW2srRXpGWIhecKfilz4+WID2+PyosMywqbGqss1aVnLZq33p1sGklZqrp7dkfr7CpY9yg59Ud6QZAAAAH3RSTlPfBN/f39/f2wDf39vV3/7N2rrEz5D5c8ONuHaPuXXDImoxqwAABO1JREFUSMe1kQdz01gQgBXaBS4w9OtHwMFSdPKTUNxkW+61xN2Je4tLHJNOGukkAUINJTzaUIbO9fr7TpLtS44DZiC5b6Sn3dW+TysJaWz4cv9eZFPZu/+bhkakYR88WqP59u3vjxzdDCT7GpCD4qNH3sEGzOhB5MCR/4PmA8j25uZ33t0A23lxff5hZTIzOrz2Ph8qK936l7i1tT7hk8DAoHNsbeLWKjPdQcZ+qvX9tHMNXca1XBDXHtL6x2Bh0HWtuXUo8oTgC1gVpcdsdpew92PUYtjwzFq+E9mJYfXxx1x5l2/l5Vhy0DW6TuyQCZcR2hnswXJM0h+203471u5WKMIE5mDpspIIO8sZTMZiIbczY6+JCaI+/sJZ38qjP28+nQjkx/mcqGJ26rW3iKg/fYphCL1jNk5WbqXI0nBnu00RJ2j9bNRp6MmFS0SYIXLuUlQ5w22qizHr5MTyy2u/3XxVvHHlwtWVa/xTCQIIlEaMzrgswzA5P9BrAciYASqNoiNdjL8b0GYAHN3AGAEgzPSQc9UtYCeyBQAMO2G9PhhzXfp9qdifSCT6Lj788QQnrvWEuNPI2um0LW0D+m4A6E4AnIZOeq7ksQuJvi6eUXRW+8EWXsxNPhkYGJiSXr7Rd1qtVp9MXHkgIurzAkdFxjrj7cmKbN4K5v8RGxT2sJMTpwBflNHhUJgBdoUylzy3TuwIDBRi0hf9p9VtbW3qk30X7q2Je1IybZq7mLVWFKTSADXPoqi9AzVorda0kKTS6KkRbSgaR1GT1h5CObYiW1GU27yc5z6F9Fn/yTYedeLi9AIA6AbgxGIxAMPZcZeUHH9cFavVfY97FaNA/DbazRZVV89/61at2BTlg1JXiFtrYoBmRyd7p6/UP0XxaSDmy4pt0jmuh8qx6wQ2MmRz18TaJCUWO9xisUVhMMsoZZDiGHLLuXUbso2iatP/1HvhYu3n3bh6Pe/LUjZSj1NUJ8lSlNwahRRlMRjmyFDICikVn8+SacomdbZTVj+0mQSxweS1WqpiHK/Ncubs858f9idOJ/qKS1cv+RbFuIbMmHEvTbO4QeF25CxyD62nSbmJ1MUzRrpiwR0RPBJMpnCGxWVGXBn8TkarNGQHjuPrxOeWY4GY9FmxWHy19Gvv+ayYF6f8oYi7i8U93bjFkYokvbhWEFu8Og2ZxrUe3NMpc3vLhqqYpVV4XbwDQkpgoVwYKOR9N5d+eXB5vJevQA0pD7oVqi4WOj16vX6EYSA08WKvyeOZJw1cQ6rsnXOa/RYoM0Kls0zLuVoHhHAHL8YFXkwVCoE8uXhvMVCY8mW5Ci8eKkcgJ9azOl0UajNDFiUpj5JeloEqTgwd/iCUJP0sFMSejkpO96b4zl1fPuYiyd6Vs4GBmHSsJoYmLy/WeBTlis5rlJYrgjhe1s+XOXGEtHJOMl4VB2EHLauKdyG7JBLIc//uslRKkhOrcGJqyiU9z5UkOpVOwiGXSyQizRAfqlRc7Y5KJFnV6FReiWSV7xAWeQd/SOSq6qY18eVHq4vjlyazEJ73ScmJPVxJVKdF9MFwYpFIEL+ehvDOcSH8YXRsAa4XfwS7kd0tLfw7Sp7fl7xJywbYjTTVotfTb+849lEcb0K+2lMN/5o+tons+Rxp+PrQ8U3n0BcNSGPj4W+bPuX5ZLNo+uxwY+PfoLJHX1KXgyMAAAAASUVORK5CYII=" alt="Powered by Semantic MediaWiki" class="smw-footer" width="88" height="31" loading="lazy"/></a></div> </div> </div> </div> </div> <script>(RLQ=window.RLQ||[]).push(function(){mw.log.warn("This page is using the deprecated ResourceLoader module \"mediawiki.skinning.content\".\nYour default skin ResourceLoader class should use ResourceLoaderSkinModule::class");mw.config.set({"wgPageParseReport":{"smw":{"limitreport-intext-parsertime":0},"limitreport":{"cputime":"0.036","walltime":"0.041","ppvisitednodes":{"value":54,"limit":1000000},"postexpandincludesize":{"value":124,"limit":2097152},"templateargumentsize":{"value":61,"limit":2097152},"expansiondepth":{"value":4,"limit":40},"expensivefunctioncount":{"value":0,"limit":100},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":108,"limit":5000000},"timingprofile":["100.00% 4.623 1 Template:Audio","100.00% 4.623 1 -total"]},"cachereport":{"timestamp":"20210430034125","ttl":86400,"transientcontent":false}}});});</script> <script> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//web.archive.org/web/20210430034124/http://www.google-analytics.com/analytics.js','ga'); ga('create', 'UA-22814006-1', 'auto'); ga('set', 'anonymizeIp', true); ga('send', 'pageview'); </script> <script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgBackendResponseTime":143});});</script></body> </html><!-- FILE ARCHIVED ON 03:41:24 Apr 30, 2021 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 19:18:16 Nov 23, 2024. JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). --> <!-- playback timings (ms): captures_list: 0.599 exclusion.robots: 0.033 exclusion.robots.policy: 0.02 esindex: 0.011 cdx.remote: 12.926 LoadShardBlock: 253.708 (3) PetaboxLoader3.datanode: 108.724 (4) load_resource: 191.238 -->

Pages: 1 2 3 4 5 6 7 8 9 10