Ma’ruza kitoblari O’quv rejasi

Falsafiy asoslari

• Aristotel (384 mav) - mantiqiy syllogizmlarning muallifi
• Leanardo da Vinchi (1452) - mexanik kalkulyatorni ishlab chiqardi, lekin qurmadi
• Dekart (1596) - inson tomonidan ozod qilinadigan mashinani qo'lga kiritish mumkinmi? Hayvonlarning harakati ko'proq mexanikmi?Mantiq va harakat o'rtasidagi zarur bog'liqlik aniqlandi

Matematik asoslari

• More formal logical methods
• Boolean logic (Boole, 1847)
• Analysis of limits to what can be computed
• Intractability (1965) – time required to solve problem scales exponentially with the size of problem instance
• NP-complete (1971) – Formal classification of problems as intractable
• Uncertainty (Cardano 1501)
• The basis for most modern approaches to AI
• Uncertainty can still be used in logical analyses

Iqtisodiy asoslari

• Insonlar o'ziga xosdir, shuning uchun umumiy baxtning muddati belgilanadi: foyda
• O'yin nazariyasi - kichik o'yinlardagi ratsional xatti-harakatlarni o'rganish
• Operatsion tadqiqotlar - murakkab tizimlarda oqilona xatti-harakatlarni o'rganish
• Herbert Simon (1916 - 2001) - odamlar uchun Nobel mukofoti sovrindor bo'lgan EI tadqiqotchisi.

Nevrologik asoslari

• Miyalari qanday ishlaydi?
• Dastlabki tadqiqotlar (1824), jarohat olganlar va g'ayritabiiy odamlarga miyaning qanday qismlarini tushunishlariga ishonishgan
• Keyinchalik olib borilgan tadkikotlar miya faoliyatini inson fikri bilan bog'lash uchun aniq sensorlardan foydalanadi
• Tek neyronlarning monitoringi orqali, maymunlar endi faqat fikr yordamida kompyuter sichqonchasini boshqarishi mumkin
• Moorning qonuniga ko'ra, kompyuterlar 2020 yilga qadar neyronlar bo'lganligi sababli, ko'plab eshiklar bo'ladi
• Mexanik miyaga ega bo'lish qanchalik yaqin?
• Parallel hisoblash, takrorlash, o'zaro bog'lanish, ikkilik va boshqalar …