Devid H. D. Uorren - David H. D. Warren

Devid Uorren ismli boshqa odamlar uchun qarang Devid Uorren (ajralish).

Devid H. D. Uorren
Olma materEdinburg universiteti
Ma'lumUorren mavhum mashinasi
Ilmiy martaba
InstitutlarXalqaro SRI
Quintus kompyuter tizimlari
Bristol universiteti
TezisAmaliy mantiq - uni dasturlash vositasi sifatida ishlatish va amalga oshirish  (1977)
Doktor doktoriDonald Michie
Robert Kovalski

Devid H. D. Uorren a kompyutershunos kim birinchi navbatda ishlagan mantiqiy dasturlash va xususan dasturlash tili Prolog 1970-80-yillarda. Uorren birinchi yozgan kompilyator Prolog uchun va Uorren mavhum mashinasi Prolog uchun ijro etish muhiti uning nomi bilan atalgan.

Dastlabki hayot va ta'lim

Uorren a Ph.D.[1] yilda sun'iy intellekt dan Edinburg universiteti 1977 yilda maslahatchi sifatida Robert Kovalski va (ikkinchi maslahatchi) Donald Michie.[2]

Karyera

Uorren ishlagan Sun'iy intellekt markazi da Xalqaro SRI 1980-yillarda.[3][4]

U 1983 yilda Uilyam Kornfeld, Lourens Berd, Fernando Pereyra va boshqalar bilan birgalikda Quintus Computer Systems kompaniyasini asos solgan. Kutbert Xerd Prolog kompilyatorini tijoratlashtirish uchun.[5] Kvintus sotildi Intergraf 1989 yilda korporatsiya.[6]

Shuningdek, u akademik lavozimda ishlagan Bristol universiteti Kompyuter fanlari kafedrasi.[7]

Adabiyotlar

  1. ^ Uorren, Devid H. D. (1978). "Amaliy mantiq: undan dasturlash vositasi sifatida foydalanish va amalga oshirish". hdl:1842/6648. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  2. ^ Devid H. D. Uorren da Matematikaning nasabnomasi loyihasi - (kirish 2014 yil 10-avgust)
  3. ^ "Devid XD Uorren". Sun'iy intellekt markazining bitiruvchisi. Sun'iy intellekt markazi. Olingan 26 may 2010.
  4. ^ Nils J. Nilsson (1984). "SRI Sun'iy Intellekt Markazining COMTEX Microfiche Edition texnik eslatmalariga kirish". AI jurnali. 5 (1). p. 49.
  5. ^ Sun'iy intellekt hisoboti. Sun'iy intellekt nashrlari. 1983 yil.
  6. ^ Devid E. Vaysberg (2008). "Intergraf" (PDF). Muhandislik dizayni inqilobi: muhandislik amaliyotini abadiy o'zgartirgan odamlar, kompaniyalar va kompyuter tizimlari. Olingan 26 may 2010.
  7. ^ Raina, S .; Uorren, D.H.D. (1992). "Transputer emulyatsiyasi orqali o'lchovli multiprotsessorda harakatlanish tartibi". Tizim fanlari bo'yicha Gavayi yigirma beshinchi xalqaro konferentsiyasi materiallari. IEEE. 267–276 jild.1. doi:10.1109 / HICSS.1992.183173. ISBN  0-8186-2420-5.