Kontent qismiga oʻtish

Sun'iy hayot

ZiyoSfera, erkin ensiklopediya
Simulyatsiya qilingan «swimbot»lar to'plami

Sun'iy hayot (Artificial Life), shuningdek ALife yoki A-Life deb ham ataladi, tadqiqotchilar tabiiy hayot, uning jarayonlari va evolyutsiyasiga oid tizimlarni kompyuter modellari (computer models), robototexnika (robotics) va biokimyo (biochemistry) yordamida simulyatsiya (simulation) qilish orqali o'rganadigan tadqiqot sohasidir.[1][2] Mazkur fanga 1986-yilda amerikalik kompyuter olimi Christopher Langton tomonidan nom berilgan.[3] 1987-yilda Langton Los Alamosda (Nyu-Meksiko) ushbu soha bo'yicha birinchi konferensiyani tashkil etgan.[4] Sun'iy hayotning yondashuvlariga ko'ra uchta asosiy turi mavjud bo'lib,[5] ular quyidagicha nomlanadi: dasturiy ta'minotga asoslangan «yumshoq» (soft);[6] apparat ta'minotiga asoslangan «qattiq» (hard);[7] hamda biokimyoviy «nam» (wet) turlari. Sun'iy hayot tadqiqotchilari biologik hodisalarning jihatlarini takrorlashga urinish orqali an'anaviy biologiyani o'rganadilar.[8][9]

Umumiy tavsif

Sun'iy hayot bunday tizimlarni belgilaydigan murakkab axborotga ishlov berish jarayonlarini chuqurroq tushunish maqsadida sun'iy muhitdagi tirik tizim (living system)larning fundamental jarayonlarini o'rganadi. Bu mavzular keng ko'lamli bo'lib, ko'pincha evolyutsion dinamika, kollektiv tizimlarning emergent xususiyatlari (emergent properties), biomimikriya, shuningdek, hayot tabiatining falsafasiga oid masalalar va badiiy asarlarda hayotga o'xshash xususiyatlardan foydalanishni o'z ichiga oladi.[5]

Falsafa

Sun'iy hayotning modellashtirish falsafasi an'anaviy modellashtirishdan nafaqat «bizga ma'lum hayot»ni, balki «bo'lishi mumkin bo'lgan hayot»ni (life as it could be) ham o'rganishi bilan tubdan farq qiladi.[10]

Biologik tizimning an'anaviy modeli uning eng muhim parametrlarini qamrab olishga e'tibor qaratadi. Aksincha, sun'iy hayot modellashtirish yondashuvi, odatda, hayot asosida yotgan eng oddiy va umumiy tamoyillarni aniqlashga va ularni simulyatsiyada amalga oshirishga intiladi. So'ngra simulyatsiya yangi va turlicha hayotsimon tizimlarni tahlil qilish imkoniyatini beradi.

Vladimir Georgievich Red'ko ushbu farqni har qanday jarayonni modellashtirishga tatbiq etishni taklif qildi, bu esa «bizga ma'lum jarayonlar» va «bo'lishi mumkin bo'lgan jarayonlar» o'rtasidagi umumiy farqlanishga olib keldi.[11]

Hozirgi vaqtda hayotning umumiy qabul qilingan ta'rifi birorta ham amaldagi sun'iy hayot simulyatsiyasi yoki dasturiy ta'minotini tirik deb hisoblamaydi va ular birorta ham ekotizim (ecosystem) evolyutsion jarayonining bir qismini tashkil etmaydi. Biroq sun'iy hayotning salohiyati haqida turlicha fikrlar paydo bo'lgan:

  • Kuchli sun'iy hayot (strong alife) (qiyoslang: Kuchli SI) pozitsiyasiga ko'ra, «hayot — har qanday aniq muhitdan mavhumlashtirilishi mumkin bo'lgan jarayondir» (John von Neumann). Ta'kidlash joizki, Tom Rey o'zining Tierra dasturi kompyuterda hayotni shunchaki simulyatsiya qilmayotganini, balki uni sintez qilayotganini e'lon qilgan.[12]
  • Kuchsiz sun'iy hayot (weak alife) pozitsiyasi kimyoviy eritmadan tashqarida «hayotiy jarayon»ni yaratish imkoniyatini inkor etadi. Buning o'rniga, tadqiqotchilar biologik hodisalarning fundamental mexanizmlarini tushunish uchun hayot jarayonlarini simulyatsiya qilishga harakat qiladilar.

Dasturiy ta'minotga asoslangan («yumshoq»)

Texnikalar

Dasturga asoslangan

Further information: dasturlash o'yini

Dasturga asoslangan simulyatsiyalar «genom» tiliga ega organizmlarni o'z ichiga oladi. Bu til ko'pincha haqiqiy biologik DNKdan ko'ra Tyuring bo'yicha to'liq (Turing complete) kompyuter dasturi shaklida bo'ladi. Assembler hosilalari eng ko'p qo'llaniladigan tillar hisoblanadi. Organizimning kodi bajarilganda u «yashaydi» va odatda o'z-o'zidan ko'payish (self-replication) imkonini beruvchi turli usullar mavjud bo'ladi. Mutatsiyalar, qoida tariqasida, kodga tasodifiy o'zgartirishlar kiritish orqali amalga oshiriladi. Uyali avtomatlardan foydalanish keng tarqalgan, ammo majburiy emas. Yana bir misol sun'iy intellekt va ko'p agentli tizim (multi-agent system)/dastur bo'lishi mumkin.

Modulga asoslangan

Yorug'likni aniqlash orqali harakatlana oladigan Braytenberg apparati (Braitenberg vehicle)

Mavjudotga alohida modullar qo'shiladi. Ushbu modullar mavjudotning xulq-atvori va xususiyatlarini bevosita simulyatsiyaga kodlash orqali (masalan, A turdagi oyoq tezlikni va metabolizmni oshiradi) yoki bilvosita mavjudot modullari o'rtasidagi emergent o'zaro ta'sirlar orqali (masalan, A turdagi oyoq X chastota bilan yuqoriga va pastga harakatlanadi, bu esa harakatni yaratish uchun boshqa oyoqlar bilan o'zaro ta'sir qiladi) o'zgartiradi. Odatda, bu foydalanuvchi tomonidan yaratish va qulaylikka e'tibor beradigan simulyatorlar bo'lib, mutatsiya va evolyutsiyadan ko'ra ko'proq shu jihatlarga urg'u beradi.

Parametrga asoslangan

Organizmlar, odatda, mutatsiyaga uchraydigan turli parametrlar bilan boshqariladigan, oldindan belgilangan va qat'iy xulq-atvor bilan tuziladi. Ya'ni, har bir organizm raqamlar to'plami yoki boshqa chekli parametrlarni o'z ichiga oladi. Har bir parametr organizmning bir yoki bir nechta jihatini aniq belgilangan tarzda boshqaradi.

Neyron tarmoqqa asoslangan

Ushbu simulyatsiyalarda neyron tarmoqlar yoki ularning yaqin hosilalari yordamida o'rganadigan va o'sadigan mavjudotlar mavjud. Urg'u ko'pincha, har doim ham bo'lmasa-da, tabiiy tanlanishdan ko'ra o'rganishga beriladi.

Murakkab tizimlarni modellashtirish

Murakkab tizimlarning matematik modellari uch turga bo'linadi: qora quti (black-box) (fenomenologik), oq quti (white-box) (mexanistik, fundamental tamoyillar (first principles)ga asoslangan) va kulrang quti modeli (grey box model) (fenomenologik va mexanistik modellarning aralashmasi).[13][14] Qora quti modellarida murakkab dinamik tizimning individualga asoslangan (mexanistik) mexanizmlari yashirin qoladi.

Murakkab tizimlar uchun matematik modellar

Qora quti modellari butunlay nomexanistikdir. Ular fenomenologik bo'lib, murakkab tizimning tarkibi va ichki tuzilishini hisobga olmaydi. Modelning shaffof bo'lmagan tabiati tufayli quyi tizimlarning o'zaro ta'sirini tekshirish mumkin emas. Aksincha, murakkab dinamik tizimning oq quti modeli «shaffof devorlarga» ega va asosiy mexanizmlarni bevosita ko'rsatadi. Dinamik tizimning mikro-, mezo- va makro-darajadagi barcha hodisalari oq quti modeli evolyutsiyasining barcha bosqichlarida bevosita ko'rinadi. Ko'pgina hollarda, matematik modellashtiruvchilar murakkab dinamik tizimlarning mexanistik modellarini yarata olmaydigan og'ir qora quti matematik usullaridan foydalanadilar. Kulrang quti modellari oraliq hisoblanib, qora quti va oq quti yondashuvlarini birlashtiradi.

Yagona tur populyatsiyasi o'sishining mantiqiy deterministik individualga asoslangan uyali avtomat modeli

Murakkab tizimning oq quti modelini yaratish modellashtirish predmeti haqida a priori asosiy bilimlarning zarurligi muammosi bilan bog'liq. Deterministik mantiqiy uyali avtomatlar oq quti modeli uchun zarur, ammo yetarli shart emas. Oq quti modelining ikkinchi zaruriy sharti — o'rganilayotgan ob'ektning fizik ontologiya (ontology)si mavjudligidir. Oq quti modellashtirish fundamental tamoyillardan olingan avtomatik giper-mantiqiy xulosani anglatadi, chunki u butunlay deterministik mantiqqa va predmetning aksiomatik nazariyasiga asoslanadi. Oq quti modellashtirishning maqsadi — asosiy aksiomalardan o'rganilayotgan ob'ekt dinamikasi haqida batafsilroq, aniqroq mexanistik bilimlarni chiqarishdir. Ob'ektning ichki aksiomatik tizim (axiomatic system)ini shakllantirish zarurati oq quti turidagi uyali avtomatlar modellarini ixtiyoriy mantiqiy qoidalarga asoslangan uyali avtomatlar modellaridan farqlaydi. Agar uyali avtomatlar qoidalari predmetning fundamental tamoyillaridan kelib chiqib shakllantirilmagan bo'lsa, u holda bunday model real muammoga nisbatan zaif aloqador bo'lishi mumkin.[14]

Yagona cheklangan resurs uchun turlararo raqobatning mantiqiy deterministik individualga asoslangan uyali avtomat modeli

Mashhur simulyatorlar

Bu sun'iy hayot va raqamli organizm (digital organism) simulyatorlari ro'yxatidir:

Mashhur simulyatorlar ro'yxati
Nomi Asosi Boshlangan Tugallangan
Polyworld neyron tarmoq 1990 davom etmoqda
Tierra rivojlanuvchi kod 1991 2004
Avida rivojlanuvchi kod 1993 davom etmoqda
TechnoSphere modullar 1995
Framsticks rivojlanuvchi kod 1996 davom etmoqda
Creatures neyron tarmoq, simulyatsiya qilingan biokimyo va genetika 1996 2001
3D Virtual Creature Evolution neyron tarmoq 2008 NA
EcoSim Noaniq kognitiv xarita 2009 davom etmoqda
OpenWorm Geppetto 2011 davom etmoqda
Lenia uzluksiz uyali avtomatlar 2019 davom etmoqda

Apparat ta'minotiga asoslangan («qattiq»)

Apparat ta'minotiga asoslangan sun'iy hayot asosan robotlardan, ya'ni vazifalarni mustaqil bajara oladigan avtomatik boshqariladigan mashina (machine)lardan iborat.

Biokimyoviy asoslangan («nam»)

Biokimyoviy asoslangan hayot sintetik biologiya (synthetic biology) sohasida o'rganiladi. U sintetik DNK (synthetic DNA) yaratish kabi tadqiqotlarni o'z ichiga oladi. «Nam» (wet) atamasi «wetware» atamasining kengaytmasidir. «Nam» sun'iy hayot yaratishga qaratilgan harakatlar tirik Mycoplasma laboratorium bakteriyalaridan minimal hujayralarni loyihalashtirishga hamda noldan jonsiz biokimyoviy hujayrasimon tizimlarni qurishga qaratilgan.

2019-yil may oyida tadqiqotchilar hayotga qodir sintetik (ehtimol, sun'iy) hayot shaklini yaratishda yangi bosqich haqida xabar berishdi: 20 ta aminokislota (amino acid)ni kodlash uchun bakterial genomdagi 64 ta kodon (codon)ning tabiiy sonini 59 tagacha qisqartirish orqali Escherichia coli bakteriyasining varianti yaratildi.[15][16]

2020-yilda Sam Kriegman va Douglas Blackiston sun'iy intellekt yordamida yaratilgan biologik robot haqida xabar berishdi.[17]

Ochiq muammolar

Hayot jonsiz tabiatdan qanday paydo bo'ladi?[18][19]
  • Molekulyar proto-organizmni in vitro yaratish.
  • In silico sun'iy kimyoda hayotga o'tishga erishish.
  • Tubdan yangi tirik organizatsiyalar mavjud bo'lishi mumkinligini aniqlash.
  • Bir hujayrali organizm (unicellular organism)ning butun hayot aylanishini simulyatsiya qilish.
  • Tirik tizimlarda qoidalar va belgilar fizik dinamikadan qanday paydo bo'lishini tushuntirish.
Tirik tizimlarning salohiyati va chegaralari qanday?
  • Hayot evolyutsiyasi (evolution of life)ning cheksiz jarayonida nima muqarrar ekanligini aniqlash.
  • Maxsus javob tizimlaridan umumiy tizimlarga evolyutsion o'tish uchun minimal shartlarni aniqlash.
  • Barcha miqyoslarda dinamik iyerarxiyalarni sintez qilish uchun rasmiy asos yaratish.
  • Organizmlar va ekotizimlarni manipulyatsiya qilishning evolyutsion oqibatlarini bashorat qilish darajasini aniqlash.
  • Rivojlanayotgan tizimlar uchun axborotga ishlov berish (information processing), axborot oqimi va axborot yaratish nazariyasini ishlab chiqish.
Hayot ong, mashinalar va madaniyat bilan qanday bog'liq?
  • Sun'iy tirik tizimda intellekt va ongning paydo bo'lishini namoyish etish.
  • Mashinalarning hayotning navbatdagi asosiy evolyutsion o'tishiga ta'sirini baholash.
  • Madaniy va biologik evolyutsiya o'rtasidagi o'zaro ta'sirning miqdoriy modelini taqdim etish.
  • Sun'iy hayot uchun axloqiy tamoyillarni belgilash.

Aloqador mavzular

  1. Agentga asoslangan modellashtirish (agent-based modeling) sun'iy hayotda va boshqa sohalarda tizimlardagi emerjentlikni o'rganish uchun qo'llaniladi.
  2. Sun'iy intellekt, odatda, yuqoridan pastga (top-down) yondashuvidan foydalanadi, sun'iy hayot esa asosan pastdan yuqoriga (bottom-up) ishlaydi.[20]
  3. Sun'iy kimyo (artificial chemistry) sun'iy hayot hamjamiyatida kimyoviy reaksiyalar jarayonlarini mavhumlashtirish usuli sifatida boshlangan.
  4. Evolyutsion algoritmlar — bu optimallashtirish muammolariga tatbiq etilgan kuchsiz sun'iy hayot tamoyilining amaliy qo'llanilishidir. Sun'iy hayot texnikalaridan olingan yoki ularga juda o'xshash ko'plab optimallashtirish algoritmlari yaratilgan. Asosiy farq — agentning yaroqliligini (fitness) uning oziq-ovqat topish, ko'payish yoki o'limdan qochish qobiliyati bilan emas, balki muammoni hal qilish qobiliyati bilan aniq belgilashda yotadi. Quyida sun'iy hayot bilan chambarchas bog'liq va unda qo'llaniladigan evolyutsion algoritmlar ro'yxati keltirilgan:
  5. Ko'p agentli tizim (multi-agent system) — bu muhitda o'zaro ta'sir qiluvchi bir nechta aqlli agentlardan tashkil topgan kompyuterlashtirilgan tizimdir.
  6. Evolyutsion san'at (evolutionary art) yangi san'at shakllarini yaratish uchun sun'iy hayot uslub va metodlaridan foydalanadi.
  7. Evolyutsion musiqa (evolutionary music) o'xshash texnikalardan foydalanadi, ammo ularni tasviriy san'at o'rniga musiqaga tatbiq etadi.
  8. Abiogenez va hayotning kelib chiqishi masalalarida ham ba'zan sun'iy hayot metodologiyalaridan foydalaniladi.
  9. Kvant sun'iy hayoti (quantum artificial life) sun'iy hayot tizimlariga kvant algoritmlarini qo'llaydi.

Tarixi

Asosiy maqola: Sun'iy hayot tarixi

Tanqid

Sun'iy hayot bahsli tarixga ega. John Maynard Smith 1994-yilda sun'iy hayot bo'yicha ayrim ishlarni «faktlarsiz fan» (fact-free science) sifatida tanqid qilgan.[21] Mario Bunge kuchli sun'iy hayot g'oyalarini kompyutatsionalizm (computationalism)ga qarshi o'zining kengroq tanqidi doirasida tanqid qildi. Uning yozishicha, kuchli sun'iy hayot tarafdorlari simulyatsiya va simulyatsiya qilinayotgan jarayon o'rtasidagi farqni xatolik bilan yo'q qilib yubormoqda. Uning kuchsiz sun'iy hayot dasturiga nisbatan bunday e'tirozlari bo'lmagan.[22]

Manbalar

  1. ↑ „Dictionary.com definition“. Qaraldi: 2007-yil 19-yanvar.
  2. ↑ Bedau, Mark A. „Artificial life“, . The Cambridge Handbook of Artificial Intelligence. Cambridge University Press, 2014 — 296-315-bet. DOI:10.1017/CBO9781139046855.019. ISBN 9781139046855. 
  3. ↑ The MIT Encyclopedia of the Cognitive Sciences, The MIT Press, p.37. ISBN 978-0-262-73144-7
  4. ↑ „The Game Industry's Dr. Frankenstein“. Next Generation. № 35. Imagine Media. November 1997. 10-bet.
  5. ↑ 5,0 5,1 Bedau, Mark A. (November 2003). "Artificial life: organization, adaptation and complexity from the bottom up". Trends in Cognitive Sciences 7 (11): 505–512. doi:10.1016/j.tics.2003.09.010. PMID 14585444. http://www.reed.edu/~mab/publications/papers/BedauTICS03.pdf. Qaraldi: 2007-01-19. Sun'iy hayot]]
  6. ↑ Maciej Komosinski and Andrew Adamatzky. Artificial Life Models in Software. New York: Springer, 2009. ISBN 978-1-84882-284-9. 
  7. ↑ Andrew Adamatzky and Maciej Komosinski. Artificial Life Models in Hardware. New York: Springer, 2009. ISBN 978-1-84882-529-1. 
  8. ↑ Langton, Christopher „What is Artificial Life?“. 2007-yil 17-yanvarda asl nusxadan arxivlangan. Qaraldi: 2007-yil 19-yanvar.
  9. ↑ Aguilar, W., Santamaría-Bonfil, G., Froese, T., and Gershenson, C. (2014). The past, present, and future of artificial life. Frontiers in Robotics and AI, 1(8). https://dx.doi.org/10.3389/frobt.2014.00008
  10. ↑ Qarang: Langton, C. G. 1992. Artificial Life (Wayback Machine saytida March 11, 2007, sanasida arxivlangan). Addison-Wesley. ., 1-bo'lim
  11. ↑ Qarang: Red'ko, V. G. 1999. Mathematical Modeling of Evolution. in: F. Heylighen, C. Joslyn and V. Turchin (editors): Principia Cybernetica Web (Principia Cybernetica, Brussels). Sun'iy hayotni kosmik nuqtayi nazardan modellashtirishning ahamiyati haqida, shuningdek, qarang: Vidal, C. 2008.The Future of Scientific Simulations: from Artificial Life to Artificial Cosmogenesis. In Death And Anti-Death, ed. Charles Tandy, 6: Thirty Years After Kurt Gödel (1906–1978) p. 285-318. Ria University Press.)
  12. ↑ Ray, Thomas (1991). Taylor, C. C.; Farmer, J. D.; Rasmussen, S. eds. "An approach to the synthesis of life" (en). Artificial Life II, Santa Fe Institute Studies in the Sciences of Complexity XI: 371–408. Archived from the original on 2015-07-11. https://web.archive.org/web/20150711051305/http://life.ou.edu/pubs/alife2/tierra.tex. Qaraldi: 24 January 2016. "The intent of this work is to synthesize rather than simulate life." Sun'iy hayot]]
  13. ↑ Kalmykov, Lev V.; Kalmykov, Vyacheslav L. (2015), „A Solution to the Biodiversity Paradox by Logical Deterministic Cellular Automata“, Acta Biotheoretica, 63 (2): 1–19, doi:10.1007/s10441-015-9257-9, PMID 25980478, S2CID 2941481
  14. ↑ 14,0 14,1 Kalmykov, Lev V.; Kalmykov, Vyacheslav L. (2015), „A white-box model of S-shaped and double S-shaped single-species population growth“, PeerJ, 3:e948: e948, doi:10.7717/peerj.948, PMC 4451025, PMID 26038717
  15. ↑ Zimmer, Carl. „Scientists Created Bacteria With a Synthetic Genome. Is This Artificial Life? – In a milestone for synthetic biology, colonies of E. coli thrive with DNA constructed from scratch by humans, not nature.“. The New York Times (2019-yil 15-may). Qaraldi: 2019-yil 16-may.
  16. ↑ Fredens, Julius (15 May 2019). "Total synthesis of Escherichia coli with a recoded genome". Nature 569 (7757): 514–518. doi:10.1038/s41586-019-1192-5. PMID 31092918. PMC 7039709. //www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pmcentrez&artid=7039709. 
  17. ↑ „Meet the Xenobots, Virtual Creatures Brought to Life (Published 2020)“ (en-US) (2020-yil 3-aprel). Qaraldi: 2025-yil 30-oktyabr.
  18. ↑ „Libarynth“. Qaraldi: 2015-yil 11-may.
  19. ↑ „Caltech“. Qaraldi: 2015-yil 11-may.
  20. ↑ „AI Beyond Computer Games“. 2008-yil 1-iyulda asl nusxadan arxivlangan. Qaraldi: 2008-yil 4-iyul.
  21. ↑ Horgan, J. „From Complexity to Perplexity“. Scientific American (1995).
  22. ↑ Kaldis, Byron (2019), „Emergence, Systems and Technophilosophy“, in Matthews, Michael (muh.), Mario Bunge: A Centenary Festschrift, Springer Nature Switzerland AG, 760-bet

Tashqi havolalar

"https://ziyosfera.uz/index.php?title=Sun%27iy_hayot&oldid=796692" dan olindi