Adrian Uoker (kompyuter olimi) - Adrian Walker (computer scientist)

Adrian Devid Uoker AQShning kompyuter bilimdoni, Angliya poytaxti Londonda tug'ilgan.

Ta'lim

Adrian Uoker ishtirok etdi Dartington Hall maktabi, Angliyadagi eksperimental maktab-internat, u erda darslarga qatnash ixtiyoriy edi. U a Bakalavr darajasi yilda Elektrotexnika da Sheffild universiteti (u erda u badiiy jamiyatni boshqargan va she'riyat jurnalini tahrir qilgan) va magistr darajasi Tizim muhandisligi[1]dan Surrey universiteti. Keyinchalik doktorlik dissertatsiyasini oldi Kompyuter fanlari[2]dan Nyu-York shtat universiteti.

Karyera

U Nyu-Jersidagi Rutgers universitetida assistent professor bo'lgan,[3] keyin Texnik xodimlar a'zosi Bell laboratoriyalari. U ko'chib o'tdi IBM Almaden tadqiqot markazi tadqiqot shtati a'zosi sifatida Kaliforniyada[4] keyin IBM-ga Tomas J. Vatson tadqiqot markazi Yorktown NY-da Printsiplar menejeri va Ilovalar ning Mantiqiy dasturlash.[5][6]17 yil IBMda ishlaganidan keyin u o'z kompaniyasini tuzdi va u erda Internet Business Logic-da ishlaydi,[7] Ijtimoiy bilimlarni egallash va bajariladigan ingliz tilida foydalanish tizimi.

Tanlangan asar: Uokerning dastlabki ishi[8][9]rasmiylashtirilgan biologik tizimlarda barqaror namunalar va taniqli kishilar o'rtasida yangi yozishmalar o'rnatdi Xomskiy ierarxiyasi tillar - muntazam, kontekstsiz va kontekstga sezgir. U grammatikaga asoslangan tadqiqotlarni davom ettirdi[10]qanday qilib ko'rsatib Bayes teoremasi a ga mos kelish uchun ishlatilishi mumkin stoxastik muntazam grammatika ma'lumotlar to'plamiga, natijada induktiv xulosa chiqarishda foydalanish mumkin yashirin Markov modellari. Uoker keyingi ko'rsatdi[11][12][13]ma'lum amaliy taxminlarga ko'ra, hisoblash mumkin semantik to'plamlari sillogizm - ochiq qoidalar lug'at, asosan ochiq sintaksis Ingliz tili, ingliz tilidagi savollarga javob beradigan tarzda ma'lumotlar bazalari. Bu ko'plab hisoblashlarda qilingan og'ir taxminni yumshatadi tabiiy til tushunish tizimlari, ya'ni foydali darajadagi tushunchaga ega bo'lish uchun so'z boyligini cheklash kerak mantiqiy nazariya ning bilim yilda ishlab chiqilgan[14][15]uch xil semantikani - (a) ma'lumotlarni birlashtirgan Internetdagi tizimda (7-ma'lumot, quyida), xuddi SQL yoki Resurs ta'rifi doirasi, (b) xulosa va (c) ingliz tili, tarmoqdagi ma'lumotlar bazalari bo'yicha savollarga javob berish va natijalarini tushuntirish gipermatnli Ingliz tili. Buning uchun zarur bo'lgan fan bilimlari (masalan, neft sanoati yoki energetik mustaqillik va boshqalar) haqida ma'lumot olish mumkin ijtimoiy tarmoq uslubi, terish orqali bajariladigan Ingliz tiliga brauzerlar. Bu Twitter va Facebook singari ingliz tilida yozilgan bilimlarni o'qish mumkin bo'lgan, ammo kompyuter dasturi sifatida bajarib bo'lmaydigan boshqa ijtimoiy tarmoqlardan farq qiladi.

Adabiyotlar

  1. ^ "Arxivlangan nusxa". Arxivlandi asl nusxasi 2011 yil 27 iyunda. Olingan 16 iyul 2011.CS1 maint: nom sifatida arxivlangan nusxa (havola)
  2. ^ Rasmiy grammatikalar va biologik tizimlarning barqarorligi. Nomzodlik dissertatsiyasi. Texnik hisobot № 85, Nyu-York shtat universiteti, informatika kafedrasi, 1974 y.
  3. ^ Rutgers Universitetida sun'iy intellekt va biotibbiyot bo'yicha tadqiqot manbai
  4. ^ R *: me'morchilik haqida umumiy ma'lumot
  5. ^ Adrian Uoker - ACM muallifining profil sahifasi
  6. ^ Bilim tizimlari va prologlari: Ekspert, ma'lumotlar bazasi va tabiiy tillar tizimini ishlab chiqish, kitob, ikkinchi nashr, Addison-Uesli, 1990, (M. Makkord, J. Sova va V. Uilson bilan birgalikda).
  7. ^ Ochiq so'z birikmalaridagi ingliz tilida ish yuritish qoidalari bo'yicha viki. Oq qog'oz, Reinjiniring MChJ. Google orqali topish mumkin, yoki "Arxivlangan nusxa" (PDF). Arxivlandi asl nusxasi (PDF) 2012 yil 27 martda. Olingan 30 iyun 2011.CS1 maint: nom sifatida arxivlangan nusxa (havola)
  8. ^ Rasmiy grammatikalar va biologik tizimlarning barqarorligi. Ph.D. Tezis. Texnik hisobot № 85, Nyu-York shtat universiteti, informatika kafedrasi, 1974 y.
  9. ^ Rasmiy grammatikalar va biologik tizimlarning tiklanish qobiliyati. Kompyuter va tizim fanlari jurnali 11-jild, 2-son, 1975 yil oktyabr.
  10. ^ Stoxastik muntazam grammatikalarning xulosasi to'g'risida (A Van der Mude bilan birga). Axborot va nazorat, 38-jild, 3-son, 1978 yil sentyabr.
  11. ^ Sillog: ma'lumotlarga asoslangan ma'lumotlarni boshqarish tizimi. Hisobot № 34, Nyu-York universiteti, informatika kafedrasi, 1981 y.
  12. ^ Odamlarga yo'naltirilgan dasturiy ta'minot texnologiyasi va undan atrof-muhitni muhofaza qilishda foydalanish. (Terri Krueger, Jorj Kurian, Anil Nair, Gustaf Neyman, Ulrix Neumerkel, Stefan Nusser, Peter Reintjes, Endryu Teylor va Dafne Tszoar bilan). Proc. Ma'lumotlar bazasi va ekspert tizimlari bo'yicha 6-xalqaro konferentsiya va seminar, 1995 yil sentyabr.
  13. ^ Semantika va Internet: elektron hukumatning W3C dan tashqari ba'zi bir rivojlanayotgan texnologiyalarning ta'siri. 2004 yil 14 sentyabr, 35-sonli hamkorlikdagi ekspeditsiya seminarining taqdimoti: Ishlab chiqarishda axborotdan oqilona foydalanish va elektron hukumat uchun natijalar bo'yicha milliy muloqotni tashkil qilish uchun dizayn ustaxonasi. Google orqali topish mumkin.
  14. ^ Deklarativ bilimlar nazariyasiga, (K. Apt va X. Bler bilan birga). In: deduktiv ma'lumotlar bazalari asoslari va mantiqiy dasturlash, J. Minker (Ed.), Morgan Kaufmann 1988.
  15. ^ Backchain takrorlash: Amaliy xulosalar usuli bo'yicha, sodda tarzda tugatilishini, ovozini va to'liqligini isbotlash uchun. Avtomatlashtirilgan fikrlash jurnali, 11: 1–22, 1993 y.

Tashqi havolalar