Сунъий интеллект Маъруза Сунъий интеллектга кириш Ўқув адабиётлар

СИ нима?

• Муаммоларни ечиш учун компьютердан фойдаланиш, қайсики илгари фақат инсон мияси ёрдамида.... Шундай қилиб, СИ дастур муаммони қандай тушунади ва ишлаши ҳақида биз ўйлагандек ўйлашини кўриб ўтамиз. (Давид Парнас) қарашларича

СИ тарихи

• Алан Тьюринг (1950) муаммони ва уни ечиш усулларини аниқлаш учун куп уринди
• Джон Маккарти ўйинчиларни координациялашга кўмаклашди (1956)
• Алан Ньюэлл ва Герберт Саймон (1956) биринчи ечимларни тақдим этишди
• Марвин Мински (фон Нейман талабаси) (1951) нейрон тўрини қурди. (B-24 бомба отувчи "автопилот" учун 3000 вакуумных трубали)

Инма учун СИ компьютер илми?

• Компьютер восита сифатида ишлатилади, яъний бунда (масалалар тадқиқининг) математик ёки мухандислик механикасининг (бошқариш назарияси) жиҳатларини

СИ тарихи: 1952- 1969

• Катта ютуқлар!
• кўп холарда, инсон тафаккури каби тафаккур дастурлари
• математик масалалар ечими
• Ўйинлар ўйнаш
• Маккарти (1958) томонидан LISP кашф қилинди.
• мавжуд дастурий тилниниг иккинчи авлоди
• иш жараёнида мавжуд аксиомаларни қабул қилиниши
• Маккарти MIT ва Марвин Мински Стэнфордда лабораторияга асос солди
• хозирги кунга қадар иккала ўйин асосчилари СИ соҳасида етакчи бўлиб ҳисобланадилар

СИ тарихи : 1966 - 1973

• Доза реальности - сверхраздута
• Тизимлар шахматни ўйнай олишмади ва дастурни рус тилига таржима қилишолмади
• Компьютерлар контекстга ва уларнинг тафакурига мос келмади
• Муаммо ечимга ега эмас эди
• алгоритмлар амалиётда ишлай олмади
• Комбинациялар портлаши/хотира муаммоси
• Нейрон тармоғида Фатал хатолик масаласи очиқ эди
• Бу камчилик1969 йили ечим торди, шунда хам нейрон тармоғига 1980-й лар охирига қадар мурожаат қилинмади

СИ тарихи : 1969 - 1979

• Билимларга таянган тизимлар
• Олдингги тизимларда, умумий мантиқий алгоритмлар реал муаммоларга қўлланила олмаслиги
• Жавоб: мантиқий алгоритмлар аниқлиги йиғилиб қолади
• DENDRAL – кимёвий структура чиқиши
• мантиқий талаблар билан олимлар қиймати мос келиши
• махсус топшириқлар қоидаларнинг катта қисми яхши ишлади
• Тадқиқотчилар эксперт тизимлари учун фактларни йиғиш ва сақлаш усуллари устида иш олиб бордилар