Bir vaqtning oʻzida mantiqiy dasturlash

1982 yilda ICOTga tashrifi chogʻida Ehud Shapiro mantiqiy dasturlash va parallel dasturlashni birlashtirgan yangi dasturlash tili boʻlgan Concurrent Prologni ixtiro qildi. Concurrent Prolog – bu jarayonga yoʻnaltirilgan til boʻlib, uning asosiy boshqaruv mexanizmlari sifatida maʼlumotlar oqimini sinxronlashtirish va himoyalangan buyruqlar noaniqligini oʻzida mujassam etgan. Shapiro ICOT Texnik hisoboti 003 [7] deb belgilangan Hisobotda tilni tasvirlab berdi, u Prologda yozilgan Concurrent Prolog tarjimonini taqdim etdi. Shapironing Concurrent Prolog boʻyicha ishi FGCS yoʻnalishini Prologni parallel amalga oshirishga qaratishdan loyiha uchun dasturiy taʼminot asosi sifatida parallel mantiqiy dasturlashga eʼtiborni oʻzgartirishga ilhomlantirdi. [3] Shuningdek, u Ueda tomonidan ishlab chiqilgan Guarded Horn Clauses (GHC) mantiqiy dasturlash tilini ilhomlantirdi, bu KL1 ning asosi boʻlgan, nihoyat FGCS loyihasi tomonidan asosiy dasturlash tili sifatida ishlab chiqilgan va amalga oshirilgan dasturlash tili.
FGCS loyihasi va uning topilmalari bir vaqtda mantiqiy dasturlash sohasining rivojlanishiga katta hissa qoʻshdi. Loyiha kelajagi yapon tadqiqotchilarining yangi avlodini yaratdi.
Tijorat muvaffaqiyatsizligi
Oxir-oqibat beshta ishlaydigan Parallel Inference Machines (PIM) ishlab chiqarildi: PIM/m, PIM/p, PIM/i, PIM/k, PIM/c. Loyiha, shuningdek, Kappa parallel maʼlumotlar bazasini boshqarish tizimi, HELIC-II huquqiy asoslash tizimi va MGTP avtomatlashtirilgan teoremasi, va bioinformatika ilovalari kabi ushbu tizimlarda ishlash uchun ilovalarni ishlab chiqardi.
FGCS loyihasi Lisp mashinasi kompaniyalari va fikrlash mashinalari kabi sabablarga koʻra tijorat magʻlub boʻldi. Yuqori parallel kompyuter arxitekturasi oxir-oqibat kamroq ixtisoslashgan apparatlar (misol uchun, Sun ish stantsiyalari va Intel x86 mashinalari) tezligidan oshib ketdi.
Asosiy toʻsiq parallel kompyuter arxitekturasi oʻrtasidagi koʻprik sifatida bir vaqtning oʻzida mantiqiy dasturlashni tanlash va AI ilovalari uchun bilimlarni namoyish qilish va toʻsiqlarni yengib oʻtish tili sifatida mantiqdan foydalanish edi. Bu hech qachon yaqqol sodir boʻlmagan; bir qancha tillar ishlab chiqilgan boʻlib, ularning barchasi oʻziga xos kamchiliklarga ega. Misol uchun, mantiqiy dasturlashning bir vaqtning oʻzida cheklangan tanlov xususiyati tillarning mantiqiy semantikasiga xalaqit berdi. Loyiha shuni koʻrsatdiki, mantiqiy dasturlashning afzalliklari qatʼiy tanlovni qoʻllash orqali asosan inkor etilgan.
Yana bir toʻsiq shundaki, mavjud protsessor unumdorligi 1980-yillarda mutaxassislar sezgan muammolarni zudlik bilan yengib oʻtdi va paralel hisoblashning qiymati, u muddati ichida faqat maqbul holatlarda foydalanilgani boʻlgan vaqtgacha kamayib ketti. Loyihaning amal qilish muddati davomida quvvati ortib borayotgan bir qator ish stansiyalari ishlab chiqilgan va qurilgan boʻlsa-da, ular tez orada tijoratda mavjud boʻlgan „yaxshi“ qurilmalardan oʻzlarini ortda qoldirdilar.
Loyiha, shuningdek, tashqi innovatsiyalarni oʻz ichiga olmadi. Ishlash muddati davomida grafik interfeyslar kompyuterlarda asosiy oqimga aylandi; Internet mahalliy saqlangan maʼlumotlar bazalarini tarqatishga imkon berdi; va hatto oddiy tadqiqot loyihalari ham maʼlumotlarni qazib olish boʻyicha yaxshiroq real natijalarni taqdim etdi.
FGCS ish stantsiyalari umumiy maqsadli tizimlar ularni almashtirishi va ulardan ustun turishi mumkin boʻlgan bozorda jozibador emas edi. Bu Lisp mashinalari bozoriga parallel boʻlib, CLIPS kabi qoidalarga asoslangan tizimlar umumiy maqsadli kompyuterlarda ishlashi mumkin, bu esa qimmat Lisp mashinalarini keraksiz qiladi.
XULOSA
Xulosa qilib aytganda, Beshinchi avlod loyihasi inqilobiy boʻlib, kelajakdagi tadqiqot yoʻnalishlarini kutgan baʼzi asosiy tadqiqotlarni amalga oshirdi. Koʻplab maqolalar va patentlar nashr etildi. MITI qoʻmita tuzdi, u FGCS loyihasining ishlashini hisoblashda katta hissa qoʻshgan, xususan, parallel ishlov berish dasturiy taʼminotidagi toʻsiqlarni bartaraf etish va katta bilim bazalari asosida aqlli interaktiv ishlov berishni amalga oshirishni baholadi. Biroq, qoʻmita loyihani oqlash uchun qattiq noxolis edi, shuning uchun bu haqiqiy natijalarni oshirib yuboradi.
Beshinchi avlod loyihasida koʻrilgan koʻplab mavzular hozirgi texnologiyalarda qayta qisqartirib yoritilmoqda, chunki 1980-yillarda koʻzda tutilgan apparat cheklovlariga vanihoyat 2000-yillarda erishildi. Protsessorlarning soat tezligi 3-5 ga oʻta boshlaganda Gigagerts diapazoni, protsessor quvvatining tarqalishi va boshqa muammolar muhimroq boʻldi. Sanoatning har doim ham tezroq yagona protsessor tizimlarini ishlab chiqarish qobiliyati (Tranzistorlar sonini davriy ikki baravar oshirish toʻgʻrisidagi Mur qonuni bilan bogʻliq) tahdid qila boshladi.
Erta 21-asrda parallel hisoblashning koʻplab turlari, masalan, past darajadagi koʻp yadroli arxitektura va yuqori bosqichda massiv parallel ishlov berish kengaya boshladi. Oddiy isteʼmolchi mashinalar va oʻyin konsollari Intel Core, AMD K10 va Cell kabi parallel protsessorlarga ega boʻla boshladi. Nvidia va AMD kabi grafik karta kompaniyalari CUDA va OpenCL kabi yirik parallel tizimlarni joriy qila boshlashdi.
Biroq, bu yangi texnologiyalar FGCS tadqiqotlariga iqtibos keltirmaydi. FGCS ushbu oʻzgarishlarni sezilarli darajada osonlashtirish uchun ishlatilganmi yoki yoʻqmi bu mevhum. FGCS ning hisoblash sanoatiga sezilarli taʼsiri bilinmagan.
Foydalanilgan adabiyotlar
J. Marshall Unger, The Fifth Generation Fallacy (New York: Oxford University Press, 1987)
Shapiro, Ehud Y. (1983). "The fifth generation project — a trip report". Communications of the ACM 26 (9): 637–641.
Hendler, James (1 March 2008). "Avoiding Another AI Winter". IEEE Intelligent Systems 23 (2): 2–4. doi:10.1109/MIS.2008.20. Archived from the original on 12 February 2012.
|