Woody Bledsoe

  • Woodrow Wilson „Woody“ Bledsoe (* 12. November

    1921 bei Maysville, Oklahoma; † 4. Oktober 1995) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Künstlicher Intelligenz, Automatischem Beweisen und Mustererkennung befasste.

 Nach seiner Promotion schlug er Lehrangebote an Universitäten aus und ging zur Sandia Corporation in Albuquerque (den späteren Sandia National Laboratories), wo er als Mathematiker bzw. Systemanalytiker an Geheimforschung in Zusammenhang mit der Wasserstoffbombe wirkte (er war 1956 beim Test einer Wasserstoffbombe auf dem Eniwetok Atoll). Ebenfalls bei Sandia wandte er sich der Mustererkennung zu, damals für die Erkennung geschriebener oder gedruckter Buchstaben. Mit seinem Sandia-Kollegen Iben Browning entwickelte er die 1959 veröffentlichte[2] Bledsoe-Browning N-Tupel-Methode. Der Lern-Algorithmus zur Buchstabenerkennung war an ein Gitter von N Photozellen angepasst, die zufällig zu Paaren verbunden waren und jeweils 1 Bit Information repräsentierten. In der Folgezeit arbeitete er ständig an Verbesserungen des Algorithmus. Er verließ Sandia und gründete mit Iben Browning und Lloyd Lockingen (beide von Sandia) 1960 eine eigene Firma Panoramic Research Inc. (PRI) in Palo Alto, die weiter an diesen Problemen mit Aufträgen des Verteidigungsministeriums und verschiedenen Geheimdiensten (aber auch zum Beispiel für eine Zeitung) arbeitete.
Bledsoe hatte in dieser Zeit Kontakte zu vielen Pionieren der Künstlichen Intelligenz in den USA (Marvin Minsky, John McCarthy, Saul Amarel, Hans Joachim Bremermann). Mit Bremermann experimentierte er Anfang der 1960er Jahre an Genetischen Algorithmen und Evolutionären Algorithmen  In dieser Zeit entwickelte er auch mit Bremermann Ideen über den Einfluss der Quantenmechanik auf Speicherkapazität und -zugriffszeit in Computern.  1964/65 unternahm er geheime Arbeiten zur Gesichtserkennung (mit Helen Chan und Charles Bisson) für einen Geheimdienst (Vergleich mit in einer großen Datenbank gespeicherten Fotos, wobei damals noch ein menschlicher Operator Fixpunkte auf den Bildern festlegte). Nachdem Bledsoe PRI 1966 verließ wurde das Projekt von Peter Hart am Stanford Research Institute fortgesetzt.

 

  •  The Model Method in Facial Recognition. Technical Report PRI 15, Panoramic Research, Inc., Palo Alto 1964
  • Some Results on Multicategory Pattern Recognition, J.ACM, Band 13, 1966, S. 304–316
  • Splitting and Reduction Heuristics in Automatic Theorem Proving, Artif. Intell., Band 2, 1971, S. 55–77.
  • A New Method for Proving Certain Presburger Formulas, Proc. IJCAI 1975, S. 15–21.
  • Non-Resolution Theorem Proving, Artificial Intelligence, Band 9, 1977, S. 1–35.
  • mit Michael Ballantyne:. Automatic Proofs and Theorems in Analysis Using Non-standard Techniques. Journal of the ACM, Band 24, 1977, Nr. 3
  • mit Michael Ballantyne: On Generating and Using Examples in Proof Discovery. Machine Intelligence, Band 10, 1982
  • mit Kenneth Kunen, Robert E. Shostak: Completeness Results for Inequality Provers, Artif. Intell., Band 27, 1985, S. 255–288.
  • I Had a Dream: AAAI Presidential Address, 19. August 1985. AI Magazine, 1985

 

 Künstliche Intelligenz:

 

 

  Der Text ist unter der Lizenz „Creative Commons Attribution/Share Alike“ verfügbar; Quelldaten und -Text: Wikipedia

 

ThemenAdresse
Wissenschaft,WIRTSCHAFT, Verkehr , Umwelt ...gedankennetz.de/
Populärwissenschaft auf youtube, Weltraumbilder, Marsbilder, Weltraumteleskope Missionen Bemannte Raumflügeguentinator.de/
Camping, Brotrezepte, Hacks
Hobbymusiker,Survival
hobbyrat.de/
Comedy und Satire auf youtube, Mediatheken, ....humorfan.de
Künstliche Intelligenzki-living.de/
Kurzreisen, Wochenende, Urlaubsreisen, Zugreisen, Trainblogger, Spaziergänge, Zugblog,zugtrip.de
Serien und Filme
Serien mit Humor und Dramatikdramedy-serien.de/
SF Serien: sf-serien.de/
Sitcoms, Comedyseriensitcomserien.de/
Serien deutsche Produktionserien-aus- deutschland.de/
Filme deutsche Produktiond-film.de/
phantasy ist ein Kofferwort aus Phantastik und Fantasyserienphantasy.de/
Filmkomödienfilmcomedy.de/
Dramaserien, Krimisserienweb.de/