Sun’iy intellekt fanidan
217-17- gurux talabasi
Alimboyev Suhrobning
1-on da yozgan varianti
|
|
Variant nomeri va savollari
1 . Robototexnika soxasi qachondan boshlab rivojlana boshladi(misol)
2 . Birinchi tartibli predikatlar. Ular bilan ishlash jarayoni qoidalari
3 . Ekspert tizimidagi qantashuvchilarga ta’rif bering(ekspert, instrumental vosita, ETning o’zi, Bilimlar muxandisi, BB, foydalanuvchi
4 . Mantiq termini qaysi 3 ta fanni o’z ichiga oladi(tarifini keltirib tushuntiring)
|
Javobler.
Robototexnika tarixi qadimgi dunyoda boshlangan. Zamonaviy kontseptsiya sanoat inqilobi boshlanishi bilan ishlab chiqila boshlandi, bu murakkab mexanikadan foydalanishga va keyinchalik elektr energiyasini joriy qilishga imkon berdi. Bu kichik ixcham motorlar bilan ishlaydigan mashinalarni kuchaytirishga imkon berdi. 20-asrning boshlarida gumanoid mashina tushunchasi ishlab chiqildi. Bugungi kunda insonga yaqin odamlarning fikri va harakatlanish qobiliyatiga ega robotlarni nazarda tutish mumkin.
Zamonaviy robotlarning dastlabki ishlatilishi sanoat robotlari sifatida ishlab chiqarish vazifalarini bajarishga qodir bo'lgan oddiy statsionar mashinalar sifatida ishlab chiqarishda inson yordamiga ehtiyoj sezmaydigan ishlab chiqarishga imkon berdi. Sun'iy intellektdan foydalangan holda raqamli boshqariladigan sanoat robotlari va robotlar 2000 yildan beri ishlab chiqarilgan.
Sun'iy xizmatchilar va sheriklarning tushunchalari, hech bo'lmaganda qadimgi Kadmus afsonalaridan kelib chiqqan bo'lib, u ajdaho tishlarini sepib, Galateya haykali hayotga kirgan askarlarga va Pigmalionga aylangan. Ko'plab qadimiy mifologiyalar tarkibiga sun'iy odamlar, masalan, oltindan yunon xudosi Gefest (Rimlarga Vulkan) tomonidan qurilgan gaplashuvchi mexanik xizmatkorlar, yahudiy afsonasining gil golemlari va Norse afsonasining gil gigantlari kiradi.
Yunon mifologiyasida Gefestus o'z kuchlari ostida harakatlanadigan utilitar uch oyoqli jadvallarni va Kritni himoya qiladigan bronza odam Talosni yaratdi. Oxir oqibat Talos qo'rg'oshinning bitta tomiriga chaqmoq urgan Medeya tomonidan yo'q qilindi. Oltin junni olish uchun Jeyson, shuningdek, bronza tuyoqli ikkita o't o'chiradigan buqani bo'ysundirishi kerak edi; va Kadmus singari u ajdarning tishlarini askarlarga sepdi.
Qadimgi Misrda xudolik haykallari tosh, metall yoki yog'ochdan qilingan. Haykallar jonlantirilgan va diniy marosimlarda muhim rol o'ynagan. Ularda ular vakili bo'lgan ilohiyotdan kelib chiqqan holda, ruh (a kꜣ) borligiga ishonishgan. Misrning yangi qirolligida, miloddan avvalgi XVI asrdan miloddan avvalgi XI asrgacha qadimgi misrliklar tez-tez maslahat olish uchun ushbu haykallarga murojaat qilishgan. Haykallar boshning harakati bilan javob berishadi. Misr ilmiga ko'ra, fir'avn Xatshepsut Amun haykali bilan maslahatlashgandan so'ng o'z otryadini "Tutatqi tutatqi mamlakati" ga jo'natgan
Buddist olim Daoxuan (eramizning 596-667 yy.) Muqaddas yozuvlarni o'qiydigan metallardan yasalgan gumanoid avtomatlarning tasvirini afsonaviy soat joylashtirilgan. Budda Shakyamuni vafot etganida "qimmatbaho metall odamlar" yig'ladilar. Gumanoid avtomatizatsiya, shuningdek, O'rta Osiyo madaniy qahramoni Qirol Gesar dostonida ham mavjud.
Afsonaviy duradgor Lu Ban va faylasuf Mozi haqidagi xitoyliklarning dastlabki bilimlari hayvonlar va jinlarning mexanik taqlidlarini tasvirlab bergan. Xudoga o'xshash avtomatlarning ta'siri Liezi-da muhokama qilingan, daoistik matnlar to'plami klassikaga aylangan. 5-bobda Chjou qiroli Mu G'arb bo'ylab sayohat qilmoqda va usta Yandan "Siz nima qila olasiz?" qirol sudiga sun'iy odam taqdim etiladi. Avtomatlashtirishni odamnikidan farq qilmaydigan va qirol va uning atrofidagilar uchun turli xil fokuslarni amalga oshirgan. Ammo qirol aftidan avtomatizatsiya ishtirok etgan xonimlar bilan noz-karashma qilishni boshlaganda va avtomatlashtirishni ijro etish bilan tahdid qilganida, u g'azablanib ketdi. Shunday qilib, usta avtomatizatsiyani kesib, sun'iy odamning ichki ishlarini ochib berdi. Podshoh hayratga tushadi va turli xil organik tarkibiy qismlarni olib tashlash orqali avtomatlashtirishning funktsional bog'liqligiga tajribalar o'tkazadi. Podshoh hayratda qoldi: "U holda inson mahorati Yaratguvchi singari ko'p narsaga erishishi mumkinmi?" avtomatizatsiyani musodara qildi. Xuddi shunday ertakni hind buddistlari Jataka yaqinidagi zamonaviy ertaklarda ham uchratish mumkin, ammo bu erda avtomatizatsiya murakkabligi usta Yannikiga to'g'ri kelmaydi. Buddaviylik eramizga kirib kelguniga qadar xitoylik faylasuflar tashqi ko'rinish va haqiqat o'rtasidagi farqni jiddiy ko'rib chiqmadilar. Liezi buddistlik falsafasini rad etadi va insonning ijodiy kuchlarini Yaratganning kuchiga qiyoslaydi.
1900-yillar
1900 yildan boshlab L. Frank Baum "Oz" turkumidagi bolalar kitoblariga zamonaviy texnologiyalarni kiritdi. Ozning ajoyib sehrgarida (1900) Baum kiberg Tin Vudman haqida, uning odamning oyoqlari, boshi va tanasini yovuz bolta uzib bo'lgandan keyin tunuka ustasi bilan almashtirganini aytdi. Ozma Oz (1907) da Baum mis tishli odamni tasvirlab beradi, u doimiy ravishda o'ralib turishi va noo'rin paytlarda yugurishi kerak. "O'zining yamoqchi qizi" (1913) da sehrgarning xotini itoatkor xizmatkorni tikadi, ammo sehrgar tomonidan aqlning o'rnini bosuvchi patchwork qiziga haddan tashqari dozada aql beriladi.
1910-yillar
Birinchi Jahon urushida masofadan boshqarish qurollari ishlatilgan, Nikola Teslaning ishiga asoslanib, u radio orqali masofadan boshqariladigan elektr qayig'ini yaratgan. [43]
1920-yillar
"Robot" atamasi birinchi marta chexiyalik Karel Chapek tomonidan 1921 yilda nashr etilgan spektaklda ishlatilgan. R.U.R. (Rossumning Universal Robotlari) satira edi, robotlar ishlab chiqarilgan biologik mavjudotlar edi, ular barcha yoqimsiz qo'l mehnatlarini bajarar edilar. Ekapekning so'zlariga ko'ra, bu so'zni ukasi Yozef robota so'zidan yaratgan, chex tilida corvee degan ma'noni anglatadi va slovak tilida ish yoki mehnat. (Karel ekapek Slovakiyadagi Trenčianske Teplice-da bo'lganida, uning asari ustida ishlagan, u erda otasi tibbiyot shifokori bo'lib ishlagan.) R.U.R spektakli "avtomat" so'zining keng tarqalgan o'rnini bosgan. Biroq, 1950 yillarga qadar "robot" filmlar, radio va televidenie dasturlarida "robit" [tushuntirish kerak] deb talaffuz qilingan edi: misollar 1959 yil 15 noyabrda birinchi namoyish qilingan "Alacakaranlık Zonası" teleserialining "Yolg'iz" epizodi va "X Minus One" ilmiy-fantastik radio dasturi.
Westinghouse Electric Corporation 1926 yilda Televox-ni qurdi; Bu turli xil qurilmalarga ulangan karton kesma bo'lib, foydalanuvchilar uni o'chirib yoqishlari mumkin edi. 1927 yilda Fritz Langning Metropolisi chiqdi; Maschinenmensch ("mashina-odam"), "Parodiya", "Futura", "Robotrix" yoki "Mariya taqlidchisi" (nemis aktrisasi Brigit Xelm o'ynagan) ginoidli gumanoid robot, birinchi robot bo'ldi filmda tasvirlangan.
Eng mashhur yapon robot avtomati 1927 yilda jamoatchilikka taqdim qilingan. Gakutensoku diplomatik rolga ega bo'lishi kerak edi. Siqilgan havo ta'sirida u suyuq yozishi va ko'z qovoqlarini ko'tarishi mumkin edi. Ko'pgina robotlar kompyuterlar tomonidan boshqariladigan servomekanizmlar paydo bo'lishidan oldin, yirik firmalarning jamoatchilik bilan aloqalari uchun yaratilgan. Bular asosan 18-asr avtomatlari singari bir nechta stuntlarni bajaradigan mashinalar edi. 1928 yilda birinchi gumanoid robotlardan biri Londondagi Model Engineers Society yillik ko'rgazmasida namoyish etildi. W. H. Richards tomonidan ixtiro qilingan robot - Erik deb nomlangan - o'n bitta elektromagnit va 12 voltli quvvat manbai bilan ishlaydigan bitta motorli alyuminiy zirh kostyumidan iborat. Robot qo'llari va boshlarini harakatga keltira olardi va masofadan boshqarish pulti yoki ovozli boshqaruv yordamida boshqarilishi mumkin edi.
1930-yillar
Sanoat robotlarining dastlabki dizaynlari Qo'shma Shtatlarda ishlab chiqarila boshlandi. Ushbu manipulyatorlarda tortishish, itarish, bosish va ko'tarish kabi inson harakatlarini takrorlash uchun odamning elkasi-bilagi kinetikasi asosida bo'g'inlar mavjud edi. Harakatlarni shisha va kalitlarni dasturlash orqali boshqarish mumkin edi. 1938 yilda Villard V. Pollard oltita o'qni harakatga keltiruvchi elektron tekshirgichlar, pnevmatik tsilindr va dvigatellar bilan "Pozitsiyani boshqarish apparati" uchun bunday qo'l uchun birinchi patent arizasini topshirdi. Ammo barabanning katta xotirasi dasturlashni vaqt talab qiladigan va qiyinlashtirgan.
1939 yilda Butunjahon ko'rgazmasida Elektro nomi bilan tanilgan odamsimon robot paydo bo'ldi. Balandligi 2,1 m va og'irligi 265 funt (120 kg) bo'lgan ovozli buyruq bilan yurib, 700 ga yaqin so'zlarni gapira oladigan (78 rpm tezlikli ovoz yozish moslamasidan foydalangan holda), sigaret chekadigan, sharlarni portlatgan va boshini va qo'llarini harakatga keltirgan. . Korpus alyuminiy teri bilan qoplangan temir tishli kamar va motor skeletidan iborat edi.
1939 yilda Konrad Zuse birinchi robotlashtiriladigan gumanoid mashinani qurish uchun poydevor qo'yib, birinchi dasturlashtiriladigan elektromexanik kompyuterni yaratdi. Ikkilik mantiqning elektr kalitlariga paraktik qo'llanilishini Klod Shannon ko'rsatgan, ammo uning kalkulyatori dasturlashtirilmadi.
Predikat tushunchasi. Mantiq algebrasida mulohazalar faqatgina chin yoki yolg‘on qiymat qabul qilishi nuqtai nazaridan qaralib, mulohazalarning strukturasiga ham, hattoki, mazmuniga ham e’tibor berilmaydi. Ammo fanda va amaliyotda mulohazalarning strukturasi va mazmunidan kelib chiqadigan xulosalardan (natijalardan) foydalaniladi. Masalan, «Har qanday romb parallelogrammdir; ABCD – romb; demak, ABCD – parallelogramm». Asos (shart) va xulosa mulohazalar mantiqining elementar mulohazalari bo‘ladi va ularni bu mantiq nuqtai nazaridan bo‘linmas, bir butun deb va ularning ichki strukturasini hisobga olmasdan qaraladi. Shunday qilib, mantiq algebrasi mantiqning muhim qismi bo‘lishiga qaramasdan, ko‘pgina fikrlarni tahlil qilishga qodir (yetarli) emas. Shuning uchun ham mulohazalar mantiqini kengaytirish masalasi vujudga keldi, ya’ni elementar mulohazalarning ichki strukturasini ham tadqiq eta oladigan mantiqiy sistemani yaratish muammosi paydo bo‘ldi. Bunday sistema mulohazalar mantiqini o‘zining bir qismi sifatida butunlay o‘z ichiga oladigan predikatlar mantiqidir. Predikatlar mantiqi an’anaviy formal mantiq singari elementar mulohazani subyekt va predikat qismlarga bo‘ladi. Subyekt – bu mulohazada biror narsa haqida nimadir tasdiqlaydi; predikat – bu subyektni tasdiqlash. Masalan, «5 – tub son» mulohazada «5» – subyekt, «tub son» – predikat. Bu mulohazada «5» «tub son bo‘lish» xususiyatiga ega ekanligi tasdiqlanadi. Agar keltirilgan mulohazada ma’lum 5 sonini natural sonlar to‘plamidagi x o‘zgaruvchi bilan almashtirsak, u holda « x – tub son» ko‘rinishidagi mulohaza formasiga (shakliga) ega bo‘lamiz. x o‘zgaruvchining ba’zi qiymatlari (masalan, x =13, x =3, x =19) uchun bu forma chin mulohazalar va x o‘zgaruvchining boshqa qiymatlari (masalan, x =10, x =20) uchun bu forma yolg‘on mulohazalar beradi. Ravshanki, bu forma bir ( x ) argumentli funksiyani aniqlaydi va bu funksiyaning aniqlanish sohasi natural sonlar to‘plami ( N ) hamda qiymatlar sohasi {1, 0} to‘plam bo‘ladi.
t a ’ r i f. M to‘plamda aniqlangan va {1, 0} to‘plamdan qiymat qabul qiluvchi bir argumentli Ρ(x) funksiya bir joyli (bir o‘rinli) predikat deb ataladi. M to‘plamni Ρ(x) predikatning aniqlanish sohasi deb aytamiz. Ρ(x) predikat chin qiymat qabul qiluvchi hamma x M elementlar to‘plamiga Ρ(x) predikatning chinlik to‘plami deb ataladi, ya’ni Ρ(x) predikatning chinlik to‘plami I {x : xM,P(x) 1} P to‘plamdir.
t a ’ r i f. Agar M to‘plamda aniqlangan Ρ(x) predikat uchun IP M ( IP ) bo‘lsa, u aynan chin (aynan yolg‘on) predikat deb ataladi. Endi ko‘p joyli predikat tushunchasini o‘rganamiz. Ko‘p joyli predikat predmetlar orasidagi munosabatni aniqlaydi. «Kichik» munosabati ikki predmet orasidagi binar munosabatni ifodalaydi1 . « x y » (bu yerda x, yZ ) binar munosabat ikki argumentli Ρ(x, y) funksiyani ifodalaydi. Bu funksiya Z Z to‘plamda aniqlangan va qiymatlar sohasi {1, 0} to‘plam bo‘ladi.
t a ’ r i f. M M1 M2 to‘plamda aniqlangan va {1, 0} to‘plamdan qiymat oluvchi ikki argumentli Ρ(x, y) funksiya ikki joyli predikat deb ataladi. Predikatlar ustida mantiqiy amallar Predikatlar ham mulohazalar singari faqatgina chin yoki yolg‘on (1 yoki 0) qiymat qabul qilganliklari tufayli ular ustida mulohazalar mantiqidagi hamma mantiqiy amallarni bajarish mumkin. Bir joyli predikatlar misolida mulohazalar mantiqidagi mantiqiy amallarning predikatlarga tatbiq etilishini ko‘raylik.
4 t a ’ r i f. Berilgan M to‘plamda aniqlangan Ρ(x) va Q(x) predikatlarning kon’yunksiyasi deb, faqat va faqat x M qiymatlarda aniqlangan hamda Ρ(x) va Q(x) lar bir vaqtda chin qiymat qabul qilgandagina chin qiymat qabul qilib, qolgan barcha hollarda yolg‘on qiymat qabul qiluvchi yangi predikatga aytiladi va u Ρ(x)Q(x) kabi belgilanadi.
t a ’ r i f. Berilgan M to‘plamda aniqlangan Ρ(x) va Q(x) predikatlarning diz’yunksiyasi deb, faqat va faqatgina x M qiymatlarda aniqlangan hamda Ρ(x) va Q(x) predikatlar yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan barcha hollarda chin qiymat qabul qiluvchi yangi predikatga aytiladi va u Ρ(x)Q(x) kabi belgilanadi. Ρ(x)Q(x) predikatning chinlik sohasi P Q I I to‘plamdan iborat bo‘ladi.
t a ’ r i f. Agar hamma x M qiymatlarda Ρ(x) predikat chin qiymat qabul qilganda yolg‘on qiymat va x M ning barcha qiymatlarida Ρ(x) predikat yolg‘on qiymat qabul qilganda chin qiymat qabul qiluvchi predikatga Ρ(x) predikatning inkori deb ataladi va u Ρ(x) kabi belgilanadi. Bu ta’rifdan P P CIP I M \ I kelib chiqadi.
t a ’ r i f. Faqat va faqatgina x M lar uchun bir vaqtda Ρ(x) chin qiymat va Q(x) yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan hamma hollarda chin qiymat qabul qiladigan Ρ(x) Q(x) predikat Ρ(x) va Q(x) predikatlarning implikasiyasi deb ataladi. Har bir tayinlangan x M uchun Ρ(x) Q(x) Ρ(x)Q(x) teng kuchlilik to‘g‘ri bo‘lganligidan P Q P Q P Q I I I CI I o‘rinlidir.
|
EKSPERT TIZIMLARI
Zamonaviy jamiyatda tobora o‘sib borayotgan axborot oqimi, axborot texnologiyalarining turli-tumanligi, kompyuterda yechiladigan masalalarning murakkablashuvi
ushbu texnologiyalardan foydalanuvchining oldiga bir qator vazifalarni qo‘ydi. Kerakli variantlarni tanlash va qaror qabul qilish ishlarini insondan EHMga o‘tkazish masalasi yuzaga keladi. Bu vazifani yechish yo‘llaridan biri bu ekspert tizimlarini yaratish va foydalanish sanaladi. Ekspert o‘zidan kelib chiqib sharoitni tahlil etadi va
nisbatan foydali axborotni aniqlab oladi, chorasiz yo‘llardan voz kechgan holda qaror qabul qilishning eng maqbul yo‘llarini vujudga keltiradi.
Ekspert tizimida ma’lum bir predmet sohasini ifodalaydigan bilimlar bazasidan foydalaniladi.
Ekspert tizimi — bu ayrim mavzu sohalarida bilimlarni to‘plash va qo‘llash, uyushtirish usullari
hamda vositalari majmuidir. Ekspert tizimi mutaxassislarning yuqori sifatli tajribasiga suyangan holda qarorni tanlash chog‘ida muqobil variantlar ko‘pligi uchun yanada yuqori samaraga erishadi.
Strategiyani tuzish paytida yangi omillarni baholab, ularning ta’sirini tahlil etadi.
Ekspert tizimlari sun’iy intellektdan foydalanishga asoslangan.
Sun’iy intellekt deganda aqliy xatti-harakatlarga nisbatan kompyuter tizimining qobiliyati
tushuniladi. Ko‘pincha bunda inson fikrlashi bilan bog‘liq qobiliyat anglanadi.
Ekspert tizimlarini axborot tizimlari sinfi sifatida ko‘rib chiqish mumkin. U foydalanuvchining roziligidan qat’iy nazar ma’lumotlarni tahlil va tahrir eta oluvchi, qarorni tahlil etib qabul qiladigan,
tahliliy-tasnifiy vazifalarni bajara oladigan ma’lumotlar va bilimlar bazasiga ega.
Jumladan, ekspert tizimlari keladigan axborotlarni guruhlarga bo‘lib tashlay oladi, xulosa chiqaradi, identifikatsiyalaydi,
tashxis qo‘yadi, bashoratlashga o‘rgatadi, sharhlab beradi va hokazo.
Ekspert tizimining boshqa axborot tizimlaridan afzalliklari quyidagicha:
• yaqin davrlargacha EHMda yechish qiyin yoki umuman yechib bo‘lmaydigan deb sanaluvchi
murakkab masalalarning yangi sinfini yechish, optimallashtirish va (yoki) bahosini olish imkoniyati;
•
dasturchi bo‘lmagan foydalanuvchiga (eng oxiridagi foydalanuvchilar) o‘z tilida suhbat yuritish va kompyuterdan samarali foydalanish uchun axborotni vizualizatsiyalash usullarini qo‘llash imkoniyatini ta’minlash;
•
yanada ishonchli va malakali xulosa chiqarish yoki qaror qabul qilish uchun ekspert tizimini mustaqil o‘rganish, bilimlardan foydalanish qoidalari, ma’lumotlar, bilimlarning to‘planishi;
• foydalanuvchi axborot yo‘qligi tufayli yoki axborotning haddan ziyod rang-barangligi, yoki hatto
kompyuter yordamida ham odatdagi qarorni qabul qilishning cho‘zilib ketilishi tufayli yecha olmaydigan savollar yoki muammolarni hal etish;
• takomillashgan asboblar va ushbu tizimdagi foydalanuvchi mutaxassisning shaxsiy tajribasidan foydalanish hisobiga yakka tartibdagi ixtisoslashgan ekspert tizimlarini yaratish imkoniyati;
• ekspert tizimining asosi qaror qabul qilish jarayonini shakllantirish maqsadida tuzilgan bilimlar
majmui (bilimlar bazasi) sanaladi.
Bilimlar bazasi — bu ayrim predmet sohalari murakkab vazifalar yechimini topish uchun tahlil va
xulosalarni yuzaga keltiruvchi model, qoida, omillar (ma’lumotlar) majmuidir.
Axborot ta’minotining alohida yaxlit strukturasi ko‘rinishida yaqqol ko‘zga tashlangan va tashkil
etilgan predmet sohasi haqidagi bilim boshqa bilim turlaridan, masalan, umumiy bilimdan ajratib turadi.
Bilimlar bazasi asosiy ekspert tizimi sanaladi. Bilimlar fikrlash va vazifalarni hal etish usuliga imkon beruvchi aniq ko‘rinishda ifodalanadi va qaror qabul qilishni soddalashtirishga ko‘maklashadi. Ekspert tizimining asosligini ta’minlovchi bilimlar bazasi tashkilotning bo‘linmalaridagi mutaxassislar bilimini, tajribasini o‘zida mujassamlashtiradi va institutsional bilimlarni (ixtisoslashganlar majmuini, yangilanayotgan strategiyalar, qarorlar uslublari) ifodalaydi.
Bilim va qoidalarni turli aspektlarda ko‘rib chiqish mumkin:
•
chuqur va yuzaki;
•
sifat va miqdoriy;
•
taxminiy (noaniq) va aniq;
•
muayyan va umumiy;
•
tavsifiy va ko‘rsatma (yo‘l-yo‘riq) beruvchi.
•
Foydalanuvchilar bilim bazasini samarali boshqaruv qarorlarini olish uchun qo‘llashlari mumkin.
Ekspert — bu muayyan predmet sohasida samarali yechim topa oluvchi mutaxassis.
Bilimlarni o‘zlashtirish bloki ma’lumotlar bazasining to‘planishini, bilim va ma’lumotlar
modifikatsiyasi bosqichini aks ettiradi. Bilimlar bazasining fikrlash darajasidagi yuqori sifatli tajribadan foydalanish imkoniyatini aks ettiradi.
Mantiqiy xulosalar bloki qoidalarni faktlar bilan qiyoslagan holda xulosalar mantiqini yuzaga keltiradi. Unchalik ishonchli bo‘lmagan ma’lumotlar bilan ishlash chog‘ida noaniq mantiq, zaif ishonch yuzaga keladi.
Tushuntirish (izohlash) bloki foydalanuvchining texnologiyada bilimlar bazasidan foydalanish ketma-ketligini aks ettiradi va «nima uchun?» degan savolga javob beruvchi xulosaga keladi.
Hozirgi vaqtda bilimlar bazasining joriy etilishi kasbiy bilimlarning to‘planish sur’ati bilan
belgilanadi.
Kasbiy faoliyatning shakllantiruvchi, ya’ni EHM bazasida avtomatlashtiradigan qismi — bu inson
tomonidan to‘plangan bilimlarning uncha katta bo‘lmagan qismidir. To‘plangan bilimlarning kattagina qatlamini yakka tartibda yig‘iladigan bilimlar tashkil etadi.
Bilimlarni strukturalashtirish yoki rasmiylashtirish bilimlarni taqdim etishning turli usullariga
asoslangan. Zamonaviy axborot tizimlarida eng ko‘p faktlar va qoidalar usulidan foydalaniladi. Ular ayrim predmet sohalaridagi jarayonlarni bayon etishning tabiiy usulini bayon etadi.
Qoidalar odatda tavsiya, ko‘rsatma, strategiyalarni taqdim etishning formal (rasmiyatchilik)
usulini ta’minlaydi. Ular agar predmet bilimlari biror sohadagi masalani yechish bo‘yicha to‘plangan amaliy tasavvurlardan paydo bo‘lgandagina to‘g‘ri keladi. Qoidalar ko‘pincha «Agar bu...» xilidagi
tasdiq ko‘rinishda ifodalanadi. Bilimlar bazasida predmet sohasini bayon etish ma’lumotlarni tashkil etish va taqdim etish, vazifalarni shakllantirish, qayta shakllantirish va yechish usullarini ishlab
chiqishni nazarda tutadi. Predmet sohasi tushunchasi (obyektlari) ramzlar yordamida tasavvur qilinadi.
Masalan, bu ramz bank tizimi uchun mijoz, jamg‘arma vositasi, operatsiya, vazifa va shu kabilar
bo‘lishi mumkin. Tushunchalarni manipulyatsiya qilish uchun munosabatlar aniqlanadi, turli
strategiyalar (mantiqiy yoki tajriba natijasida olingan) qo‘llaniladi. Bilimlarni taqdim etish, ularni tarkiblashtirish tushunchalarni, murakkab, oddiy bo‘lmagan vazifalarni nazarda tutadi. Shuning uchun qoidalar ham bilimlar bazasida murakkab yoki ko‘p miqdorda va hajmda bo‘ladi.
Ekspert tizimlari shunday ishlab chiqiladiki, bunda yechim tanlash mantiqini asoslash va o‘rgatish
hisobga olinadi. Ko‘pgina ekspert tizimlarida tushuntirish (izohlash) mexanizmi bo‘ladi. Mazkur mexanizm qanday qilib tizim ushbu qarorga kelganini tushuntirish uchun zarur bo‘lgan bilimlardan foydalanadi. Bunda ekspert tizimini qo‘llash, undan foydalanish va harakat chegarasini aniqlash juda
muhimdir.
Axborot texnologiyasining ekspert tizimida foydalaniladigan asosiy komponentlari (tarkibiy
qismlari) quyidagilar: foydalanuvchining interfeysi, bilimlar bazasi, interpretator, tizimni yaratish moduli.
4. Mantiq fanining predmeti va ahamiyati.
Mantiq arabcha so’zdan olingan bo’lib “so’z”, “fikr”, “aql” ma'nosini anglatadi. Mantiq atamasi o’rta asrlarda Markaziy Osiyo va Yaqin Shrqda qo’llanilgan. Mantiq yunoncha “logika” atamasiga mos keladi. Logika “logos” so’zidan olingan bo’lib “so’z”, “fikr”, “nutq”, “aql” ma'nolarini anglatadi. Logikaga fan sifatida mil.av. IV asrda Aristotel asos solgan.
Kundalik muomalada mantiq atamasi turli o’rinda biz tomonimizdan ko’p qo’llaniladi. Masalan: “fikrlar mantig’i”, “gap mantig’i”, “hatti-harakat mantig’i”, “narsalar mantig’i”, “voqealar mantig’i” kabi jumlalar biz tomonimizdan fikrimizni ifodalashda qo’llaniladi.
Hozirgi davrda mantiq tushunchasi turli ma'nolarni anglatadi.
Birinchidan, bu so’z ob'ektiv olamdagi narsa va hodisalar rivojlanishi va o’zgarishidagi qonuniyatni anglatadi. Bu ob'ektiv mantiq deb ataladi. Ob'ektiv mantiq insonga bog’liq bo’lmagan holda mavjud bo’lgan moddiy olamni tashkil etuvchi narsalar, hodisalar, jarayonlar taraqqiyotidagi zaruriy qonuniyat, aloqa, munosabatlarni ifodalaydi. Shu sababli u “narsalar mantig’i” deb ham ataladi.
Ikkinchidan, mantiq fikrlar aloqadorligi va taraqqiyotidagi muhim qonuniyatlarni anglatadi. Bu qonuniyatlar sub'ektiv mantiq deb ataladi. Sub'ektiv mantiq bilan ob'ektiv mantiq uzviy bog’liqdir. Chunki ob'ektiv borliqdagi narsa va hodisalar hamda ular o’rtasidagi munosabat va aloqadorlik inson tafakkurida in'ikos etadi.
Uchinchidan, mantiq deb tafakkur shakllari, usullari va qonunlarini o’rganuvchi fanga aytiladi. Biz o’rganayotgan bu fan formal mantiq deyiladi. Formal mantiq tadqiqot uslubiga k o’ra an'anaviy mantiq (Aristotel mantig’i) va XIX asrning ikkinchi yarmidan boshlab mantiq fanida sun'iy (formallashgan) tildan foydalanuvchi matematik metodlar keng qo’llanila boshlanishi asosida shakllangan matematik mantiq (zamonaviy mantiq) sohalariga bo’linadi. Fan-texnika taraqqiyoti hamda matematik mantiq metodlarining ilmiy tadqiqotlarda keng qo’llanilishi sababli bu yo’nalish an'anaviy mantiqdan farqlash uchun ham zamonaviy mantiq ham deb nomlanadi.
Ilmiy bilishda formal mantiq bilan bir qatorda nemis faylasufi Gegel tomonidan asos solingan dialektik mantiq ham keng qo’llaniladi. Dialektik mantiq hodisalar o’zaro aloqadorligi, o’zgarishi va taraqqiyotini tadqiq etishda ob'ektivlik, tarixiylik va mantiqiylikning yaxlitligi, abstraktlikdan konkretlikga o’tishdan foydalanadi.
Mantiq bilish jarayoni bilan uzviy bog’liqdir. Chunki mantiq fanini o’rganish ob'ektini tafakkur tashkil etadi.
Bilish – bilim olish maqsadida vaqelikni inson ongida in'ikos etish jarayonidir. U hissiy organlar va tafakkur yordamida amalga oshadi. Hissiy bilishning uchta asosiy bosqichi mavjud: sezgi, idrok va tasavvur. Sezgi (ko’rish, eshitish, ta'm bilish, hid bilish, teri orqali sezish) – predmetlarning biror-bir tashqi xususiyatini (rang, shakl, tovush, harorat) aks ettiruvchi hissiy bilish bosqichidir. Sezgilar yordamida qabul qilingan signallarni sintezi natijasida predmetlarning yaxlit obrazi in'ikosi idrokdir. Tasavvur avval idrok etilgan predmetlar yaxlit obrazini miyada qayta tiklanishi hisoblanadi. Idrok sezgilar vositasida hosil qilinsa, tasavvur xotirada saqlangan predmetlar obrazini qayta tiklanishidir.
Hissiy bilish yordamida biz alohida predmetlar va ularning xususiyatlari haqida bilim olamiz. Biroq inson borliqni anglash jarayonida alohida predmetlar haqidagi bilimlarni umumlashtirishga, jarayonlar sababini aniqlashga, ularning mohiyatiga kirib borishga, tabiat va jamiyat, qonunlarini ochishga harakat qiladi. Bu borliqni tushuncha, hukm va xulosa chiqarishda ifodalovchi tafakkur yordamida amalga oshiriladi.
Demak, tafakkur hissiy bilish natijasi bo’lgan aqliy bilish bosqichidir. Tafakkur o’z navbatida tushuncha, hukm va xulosa chiqarishni o’z ichiga oladi. Tafakkurning o’ziga xos xususiyatlari qo’yidagilardan iborat.
1.Tafakkur borliqni umumlashgan obrazlarda ifodalaydi. Hissiy bilishdan farqli o’laroq tafakkur predmetlardagi umumiy takrorlanuvchi, muhim jihatlarni ajratib ifodalaydi. Masalan, hayvonlarning tana tuzilishiga qarab biz ularni ma'lum tiplarga yoki kishilarni kasbiga ko’ra o’qituvchi, injener, vrach, tadbirkor yoki boshqalariga ajratamiz.
2.Tafakkur borliqni bilvosita ifodalaydi. Hissiy bilish bizning sezgi organlarimizga bevosita ta'sir qiluvchi predmetlar haqida bilim beradi. Tafakkur yordamida esa biz predmetlar haqida bevosita emas, balki bilvosita, ya'ni boshqa bilimlar orqali bilim olamiz. Masalan, qish fasli yaqinlashi bilan havo sovushini bilamiz. Mavjud bilimlar asosida hosil qilingan yangi bilim xulosaviy bo’ladi. Xulosa chiqarish orqali yangi bilimni xosil qilish insonning bilish faoliyatida keng qo’llaniladi. Mantiq fani xulosaviy bilim xosil qilish usullari, xulosa chiqarish qoidalarini o’rganadi.
3.Tafakkur til bilan uzviy bog’liq. Inson miyasida xosil bo’lgan har qanday fikr til yordamida so’z va gap shaklida moddiy ko’rinish oladi. Til yordamida kishilar o’z fikrlarini uzatadi va yangi bilimlarga ega bo’ladi.
4.Tafakkur – voqelikni faol in'ikosi jarayonidir. Faollik bilish jarayonini butunligicha xarakterlaydi. Umumlashtirish, taqqoslash, mavhumlashtirish kabi fikriy usullarni qo’llab inson voqelikdagi narsalar haqidagi bilimlarni shakllantiradi hamda ularni nafaqat tabiiy til belgilari, balki zamonaviy fanda muhim rol o’ynaydigan formallashgan til belgilari vositasida ham ifodalaydi.
Demak, yuqoridagilar tafakkurga xos bo’lgan muhim jihatlar hisoblanadi. Tafakkur predmet va hodisalardagi konkret jihatlardan uzoqlashib, bir turga kiruvchi ko’pgina predmetlarni umumlashtirib, ularning muhim jixatlarini ochib beradi.
Bilish jarayonida hissiy bilish va tafakkur uzviy bog’liqdir. Hissiy bilish yordamida qo’lga kiritilgan bilimlar tafakkurni shakllantiradi. Har qanday fikr o’z mazmuni va shakliga ega. Fikrning mazmuni deganda unda ifodalangan predmetlar, ularning xususiyat va munosabatlari tushuniladi. Tafakkurda mazmun tushuncha, hukm va xulosa chiqarishda bo’ladi. Tafakkur shakllari keyingi mavzularda atroflicha o’rganiladi. Biz bu o’rinda ularga qisqacha xarakteristika berib o’tamiz. Alohida predmetlar yoki ularning yig’indisi turli mazmuniga ko’ra tushuncha shaklida fikr qilinadi. Masalan, “inson” tushunchasi o’z mazmuniga ong va tafakkur, mehnat qilish qobiliyati, nutqga ega ijtimoiy mavjudotni oladi. Turli xil mazmunga ega tushunchalar bir xil shaklga ega bo’ladi. Tafakkurning hukm shaklida predmetlar o’rtasidagi munosabat va ularni belgilari ifodalanadi. Bu aloqa va munosabatlar tasdiqlanadi yoki inkor qilinadi. Masalan, “qalam o’quv qurolidir”, “qalam” va “o’quv quroli” tushunchalarining aloqadorligi tasdiqlanmoqda. Hukmda tushunchalar munosabatini mantiqiy bog’lovchi ifodalaydi. Hukmlarning umumiy sxemasi: S-P dir va S-P emas shaklida bo’ladi. Shunday qilib hukm tasdiq yoki inkor shaklida tushunchalar aloqadorligini ifodalash usulidir.
Xulosa chiqarishda esa bir yoki bir necha hukmlardan (asos) yangi hukm (xulosa) hosil qilinadi. Bir xil shakldagi xulosa chiqarishda xulosa bir xil usulda hosil qilinadi. Masalan, “talaba o’quvchidir” va “o’qituvchilar bilim olish bilan shug’ullanadi” degan hukmlardan “Talaba bilim olish bilan shug’ullanadi” degan xulosa chiqaramiz. Xulosa chiqarish asos hukmlarning mazmunan mantiqiy aloqadorligiga asoslanadi. Mazmunan mantiqiy aloqadorlikga ega bo’lmagan hukmlardan xulosa chiqarib bo’lmaydi. Shunday qilib barcha tafakkur shakllariga xos bo’lgan jihat fikr elementlaridagi aloqadorlikdir – tushunchada belgilar, hukmda tushunchalar, xulosa chiqarishda hukmlar. Tafakkurda fikr mazmuni va shakli uzviy aloqadorlikda bo’ladi.
Tafakkur borliqni anglash jarayoni sifatida ko’rishda biz “fikr” va “fikrlash” tushunchalarini qo’lladik. Fikr tushuncha va hukm shaklidagi bilish jarayoni natijasidir. Fikrlash bu xulosa chiqarish yoki bir necha o’zaro aloqador hukmlardan, asosdan xulosaga o’tishdir. Fikr voqelikga mos kelishi yoki mos kelmasligiga qarab chin va xato bo’ladi. Fikrlarni chinligi narsa va xodisalarni bilishimizga hamda fikrlash jarayonini to’g’ri qurilishiga bog’liq. Tafakkurning mantiqiy to’g’riligi mantiqiy qonunlar bilan belgilanadi. Mantiqiy qonun yoki tafakkur qonuni – bu fikrlash jarayonida fikrlarning zaruriy aloqasidir. Bu qonunlarga rioya qilmaslik mantiqiy xatodir.
Do'stlaringiz bilan baham: |
