Sun’iy intellekt fanidan 217-17- gurux talabasi


Download 346 Kb.
Sana01.11.2020
Hajmi346 Kb.
#139571
Bog'liq
1-ON ni Suniy inte
9, import export, 1x, mta6, Motivlar, oraliq nazorat ishi diskret, Blok test MATH, Nazorat savollari 1, Biologiya-fanini-oʻqitishning-faol-metodlari, Самостоятельная работа (1), 13-maruza, Bu Ummatning qizi. Nuriddin Yildiz, oat kalendar, latifjondocx

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.

  1. 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.



  1. 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.

  1. 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 : xM,P(x) 1} P to‘plamdir.

  2. 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, yZ ) binar munosabat ikki argumentli Ρ(x, y) funksiyani ifodalaydi. Bu funksiya Z  Z to‘plamda aniqlangan va qiymatlar sohasi {1, 0} to‘plam bo‘ladi.

  3. 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.

  1. 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.

  2. 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.

  3. 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.






  1. EKSPERT TIZIMLARI 
    Zamonaviy  jamiyatda  tobora  osib  borayotgan  axborot  oqimi,  axborot  texnologiyalarining turli-tumanligi,  kompyuterda  yechiladigan  masalalarning  murakkablashuvi

  2.  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.  

  3. 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.
Download 346 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2023
ma'muriyatiga murojaat qiling