STUDENT (kompyuter dasturi)
СТУДЕНТ бу алгебрик масалалардаги муаммоларини ҳал қилиш учун ишлаб чиқилган дастлабки сун'ий интеллект дастури. Бу дастур Лиспда Даниэл Боброw томонидан 1964-йилда докторлик диссертацияси сифатида ёзилган (Боброw 1964). Ушбу дастур ўрта мактаб алгебра китобларида учрайдиган масалаларни ўқиш ва уларга ечим топиш учун мўлжалланган[1]. Дастур кўпинча табиий тилни қайта ишлашда (НЛП) сунъий интеллектнинг дастлабки ютуғи сифатида тилга олинади.
Техник тавсифи
1960-йилларда компютерлар асосан фақат университетларда тадқиқот контекстида мавжуд эди. МИТдаги МАC лойиҳаси доирасида СТУДЕНТ дастури математик саволларга жавоб берувчи дастурий таъминотнинг дастлабки намунаси бўлиб, ушбу тизим табиий тилни қайта ишлаш ва сймболиc программинг (рамзий дастурлаш)ни ўз ичига олади[2]. Математик масалаларни ечишга қаратилган бу каби бошқа тизимларни ишлаб чиқиш 1960-йилларда қаттиқ диск ва дастурий таъминотда ҳам амалга оширилди: масалан, Пҳилипс, Басебалл ва Сйнтҳех тизимлари[3].
СТУДЕНТ тизими математик масалаларни ечиш учун қуйидагича ҳаракатланади: дастлаб масала ёзма равишда, яъни сўзлар билан тизимга киритилади, дастур масалани ечгандан сўнг жавобни рақамлар билан ифодалайди. Бу шаклни ўзгартириш эвристикадан иборат қатламли қувур линиясида амалга оширилади. Дастлаб, инглиз тилидаги жумлалар ядроли жумлаларга айлантирилади, уларнинг ҳар бири битта маълумотни ўз ичига олади. Кейинчалик, ядро жумлалар математик ифодаларга айлантирилади[4]. Трансформацияни қўллаб-қувватлайдиган билимлар базаси 52 та фактни ўз ичига олади[манба керак][5]
СТУДЕНТ дастури мантиқий хулосага эга қоидага асосланган тизимдан фойдаланади[6]. Қоидалар дастурчи томонидан олдиндан дастурлаштирилган ва табиий тилни таҳлил қилиш имкониятига эга.
Мачине леарнинг (Машинали ўрганиш) каби табиий тилларни қайта ишлашнинг бир мунча кучли вариантлари кейинчалик қўлланила бошланди, вақтлар ўтгани сари мавжуд қурилмалар такомиллашиб борди ва бу одддий қоидаларга асосланган тизимларга нисбатан анча муваффақиятли бўлди[7].
Мисол
Агар Том оладиган мижозлар сони у олиб борадиган рекламалар сонининг 20% квадратидан икки баравар бўлса ва рекламалар сони 45 та бўлса, Том қанча мижозлар олади?
(Норвигдан олинган[1])
Манбалар
- ↑ 1,0 1,1 Норвиг, Петер. Парадигмс оф артифиcиал интеллигенcе программинг:cасе студиэс ин Cоммон Лисп. Сан Франcисcо, Cалифорниа: Морган Кауфманн, 1992 — 109–149-бет. ИСБН 1-55860-191-0.
- ↑ Боброw, Даниэл Г (1964). Натурал лангуаге инпут фор а cомпутер проблем солвинг сйстем (ПҳД). Массачусетц Институте оф Течнологй.
- ↑ Рапҳаэл, Бертрам (1964). СИР: А cомпутер програм фор семантиc информатион ретриэвал (ПҳД). Массачусетц Институте оф Течнологй.
- ↑ |Шуминг Ши анд Юэҳуи Wанг анд Чин-Еw Лин анд Хиаожианг Лиу анд Ёнг Руи (2015). "Аутоматиcаллй Солвинг Нумбер Wорд Проблемс бй Семантиc Парсинг анд Реасонинг". Проcеэдингс оф тҳе 2015 Cонференcе он Эмпириcал Метҳодс ин Натурал Лангуаге Проcессинг. Ассоcиатион фор Cомпутатионал Лингуистиcс. дои:10.18653/в1/д15-1135.
- ↑ Кеннетҳ Д. Форбус (2010). "АИ анд Cогнитиве Сcиэнcе: Тҳе Паст анд Нехт 30 Еарс". Топиcс ин Cогнитиве Сcиэнcе (Wилей) 2 (3): 345–356. дои:10.1111/ж.1756-8765.2010.01083.х. ПМИД 25163864.
- ↑ Лин, Йи-Чунг анд Лианг, Чао-Чун анд Ҳсу, Куанг-Йи анд Ҳуанг, Чиэн-Цунг анд Миао, Шен-Юн анд Ма, Wеи-Юн анд Ку, Лун-Wеи анд Лиау, Чурн-Жунг анд Су, Кеҳ-Йиҳ (2015). "Десигнинг а таг-басед статистиcал матҳ wорд проблем солвер wитҳ реасонинг анд эхпланатион". Интернатионал Жоурнал оф Cомпутатионал Лингуистиcс & Чинесе Лангуаге Проcессинг, Волуме 20, Нумбер 2, Деcембер 2015-Спеcиал Иссуэ он Селеcтед Паперс фром РОCЛИНГ ХХВИИ.
- ↑ Донгхианг Зҳанг анд Леи Wанг анд Луминг Зҳанг анд Бинг Тиан Даи анд Ҳенг Тао Шен (2019). "Тҳе Гап оф Семантиc Парсинг: А Сурвей он Аутоматиc Матҳ Wорд Проблем Солверс". ИЭЭЭ Трансаcтионс он Паттерн Аналйсис анд Мачине Интеллигенcе (Институте оф Элеcтриcал анд Элеcтрониcс Энгинеэрс (ИЭЭЭ)) 42 (9): 2287–2305. дои:10.1109/тпами.2019.2914054. ПМИД 31056490.