Induktiv programmalastırıw

Induktiv programmalastırıw (IP) — bul jasalma intellekt hám programmalastırıwdan alınǵan izertlewlerdi qamtıytuǵın avtomat programmalastırıwdıń arnawlı bir tarawı bolıp, ol ádette deklarativ (logikalıq yamasa funkcional) hám kóbinese rekursiv programmalardı kirgiziw/shıǵarıw mısalları yamasa sheklewler sıyaqlı tolıq emes specifikaciyalardan úyreniwdi qarastıradı.

Qollanılatuǵın programmalastırıw tiline baylanıslı, induktiv programmalastırıwdıń bir neshe túri bar. Lisp yamasa Haskell sıyaqlı funkcional programmalastırıw tillerin qollanatuǵın induktiv funkcional programmalastırıw, hám eń áhmiyetlisi Prolog sıyaqlı logikalıq programmalastırıw tillerin hám deskripciya logikaları sıyaqlı basqa logikalıq kórinislerdi paydalanatuǵın induktiv logikalıq programmalastırıw kóbirek kózge túsken, biraq sheklewli programmalastırıw yamasa itimallıq programmalastırıw sıyaqlı basqa (programmalastırıw) til paradigmaları da qollanılǵan.

 Anıqlaması 
Induktiv programmalastırıw tolıq emes (formal) specifikaciyalardan programmalar yamasa algoritmlerdi úyreniwge baylanıslı barlıq usıllardı óz ishine aladı. IP sistemasındaǵı múmkin bolǵan kirgiziwler — bul oqıtıw kirgiziwleri hám sáykes shıǵarıwlar toplamı yamasa shıǵarıw bahalaw funkciyası, olar jobalanǵan programmanıń qálegen háreketin táriyipleydi, belgili bir shıǵarıwlardı esaplaw processin táriyipleytuǵın izlewler yamasa háreketler izbe-izligi, payda etiliwi kerek bolǵan programmanıń waqıt nátiyjeliligi yamasa onıń quramalılıǵı menen baylanıslı sheklewler, standart maǵlıwmat túrleri sıyaqlı hár túrli fon bilimi, paydalanılıwı kerek bolǵan aldınnan anıqlanǵan funkciyalar, jobalanǵan programmanıń maǵlıwmat aǵımın táriyipleytuǵın programma sxemaları yamasa shablonları, sheshim izlewdi basqarıw ushın evristikalar yamasa basqa da qálewler.

IP sistemasınıń shıǵıwı — bul qanday da bir qálegen programmalastırıw tilindegi, shártler hám cikl yamasa rekursiv basqarıw strukturaların óz ishine alǵan programma, yamasa basqa da hár qanday Tyuring-tolıq kórinis tili.

Kóp qosımshalarda shıǵıw programması mısallarǵa hám bóleklik specifikaciyaǵa sáykes durıs bolıwı kerek, hám bul induktiv programmalastırıwdı avtomat programmalastırıw yamasa programma sintezi ishinde arnawlı bir taraw retinde qarastırıwǵa alıp keledi, bul ádette specifikaciya tolıq bolatuǵın 'deduktiv' programma sintezine qarama-qarsı.

Basqa jaǵdaylarda, induktiv programmalastırıw qálegen deklarativ programmalastırıw yamasa kórinis tili paydalanılıwı múmkin bolǵan anaǵurlım ulıwma taraw retinde qaraladı hám bizde ulıwma mashinalıq oqıtıw, anaǵurlım anıq struktura qazıp alıw tarawı yamasa simvollı jasalma intellekt tarawındaǵı sıyaqlı mısallarda belgili bir dárejede qáte bolıwı múmkin. Ayrıqsha ózgeshelik — kerek bolǵan mısallar sanı yamasa bóleklik specifikaciya. Ádette, induktiv programmalastırıw usılları tek bir neshe mısaldan úyrene aladı.

Induktiv programmalastırıwdıń hár túrliligi ádette qosımshalardan hám paydalanılatuǵın tillerden kelip shıǵadı: logikalıq programmalastırıw hám funkcional programmalastırıwdan tısqarı, induktiv programmalastırıwda funkcional logikalıq programmalastırıw, sheklewli programmalastırıw, itimallıq programmalastırıw, abduktiv logikalıq programmalastırıw, modal logika, háreket tilleri, agent tilleri hám kóp túrli imperativ tiller sıyaqlı basqa programmalastırıw paradigmaları hám kórinis tilleri de paydalanılǵan yamasa usınılǵan.

 Tariyxı 
Rekursiv funkcional programmalardı induktiv sintezlew boyınsha izertlewler 1970-jıllardıń basında baslandı hám Summers-tiń tiykar salıwshı THESIS sisteması hám Biermannnıń jumısı.
menen bekkem teoriyalıq tiykarlarǵa iye boldı. Bul usıllar eki fazaǵa bólindi: birinshiden, kirgiziw-shıǵarıw mısalları tiykarǵı operatorlardıń kishi toplamın paydalanıp rekursiv emes programmalarǵa (izlewlerge) túrlendiriledi; ekinshiden, izlewlerdegi nızamlılıqlar izlenedi hám olardı rekursiv programmaǵa jıynaw ushın paydalanıladı. 1980-jıllardıń ortasına shekemgi tiykarǵı nátiyjeler Smit tárepinen qarap shıǵılǵan. Sintezleniw múmkin bolǵan programmalar diapazonı boyınsha sheklengen alǵa ilgerlew sebepli, kelesi on jıllıqta izertlew iskerligi ádewir azaydı.

Logikalıq programmalastırıwdıń payda bolıwı 1980-jıllardıń basında jańa ilham, biraq sonıń menen birge jańa baǵdar alıp keldi, ásirese Shapironıń MIS sisteması sebepli, usınıń aqıbetinde induktiv logikalıq programmalastırıw (ILP) jańa tarawınıń payda bolıwına sebep boldı. Plotkinniń dáslepki jumısları hám onıń «salıstırmalı eń kishi ulıwma ulıwmalastırıwı (rlgg)» induktiv logikalıq programmalastırıwǵa úlken tásir etti. Kópshilik ILP jumısı máselelerdiń keńirek klasın qarastıradı, sebebi itibar tek rekursiv logikalıq programmalarǵa emes, al logikalıq kórinislerden simvollı gipotezalardı mashinalıq oqıtıwǵa qaratılǵan. Degen menen, mısallardan hám sáykes fon biliminen tez sortlaw sıyaqlı rekursiv Prolog programmaların úyreniw boyınsha ayırım xoshametleytuǵın nátiyjeler boldı, mısalı, GOLEM menen. Biraq jáne de, dáslepki tabıstan keyin, birlespe rekursiv programmalar indukciyası boyınsha sheklengen alǵa ilgerlewden kewli qaldı, ILP rekursiv programmalarǵa barǵan sayın az itibar berip, relyaciyalıq maǵlıwmatlardı qazıp alıw hám bilimlerdi ashıwdaǵı qosımshaları bar mashinalıq oqıtıw ortalıǵına barǵan sayın kóbirek beyimlese basladı.

ILPdaǵı jumıslar menen parallel túrde, Koza 1990-jıllardıń basında programmalardı úyreniw ushın generaciyalaw-hám-testlewge tiykarlanǵan usıl retinde genetikalıq programmalastırıwdı usındı. Genetikalıq programmalastırıw ideyası keyinirek ADATE induktiv programmalastırıw sistemasına hám MagicHaskeller sistematikalıq izlew tiykarındaǵı sistemasına rawajlandırıldı. Bul jerde de, funkcional programmalar úyreniliwi kerek bolǵan programmanıń qálegen kirgiziw/shıǵarıw háreketin anıqlaytuǵın shıǵarıw bahalaw (jaramlılıq) funkciyası menen birge oń mısallar toplamınan úyreniledi.

Grammatika indukciyası (grammatikalıq juwmaq shıǵarıw dep te ataladı) boyınsha dáslepki jumıslar induktiv programmalastırıw menen baylanıslı, sebebi qayta jazıw sistemaları yamasa logikalıq programmalar óndiris qaǵıydaların kórsetiw ushın paydalanılıwı múmkin. Shınında da, induktiv juwmaq shıǵarıw boyınsha dáslepki jumıslar grammatika indukciyasın hám Lisp programmasın juwmaq shıǵarıwdı negizinde birdey másele retinde qarastırdı. Úyreniw múmkinshiligi boyınsha nátiyjeler Goldtıń tiykar salıwshı jumısında kirgizilgen shegarada-identifikaciyalaw sıyaqlı klassikalıq túsinikler menen baylanıslı edi. Jaqın arada til úyreniw máselesin induktiv programmalastırıw birlespesi qarap shıqtı; here: Sect.2.1.

Sońǵı jıllarda klassikalıq usıllar úlken tabıs penen qayta tiklendi hám rawajlandırıldı. Sonlıqtan, sintez máselesi funkcional programmalastırıwdıń zamanagóy usılların esapqa alıp, sonday-aq izlew tiykarındaǵı strategiyalardı hám fon bilimlerin shekli paydalanıw, sonday-aq kishi programmalardı avtomat túrde oylap tabıw menen birge, konstruktor tiykarındaǵı term qayta jazıw sistemaları fonında qayta formulirovka etildi. Jaqında programma sintezinen tıs kóp jańa hám tabıslı qosımshalar payda boldı, eń áhmiyetlisi maǵlıwmatlardı manipulyaciyalaw, mısal menen programmalastırıw hám kognitiv modellestiriw tarawlarında (tómenge qarań).

Basqa da ideyalar, gipotezalardı kórsetiw ushın deklarativ tillerdi paydalanıw ulıwma ózgesheligi menen izertlendi. Mısalı, joqarı dárejeli ózgesheliklerdi, sxemalardı yamasa strukturalıq aralıqlardı paydalanıw rekursiv maǵlıwmat túrlerin hám strukturaların jaqsıraq qayta islew ushın usınıldı; abstrakciya sonıń menen birge jıynaqlı úyreniw hám funkciya oylap tabıw ushın kúshlirek usıl retinde de izertlendi.

Jaqında induktiv programmalastırıwda gipotezalardı kórsetiw ushın qollanılǵan (ulıwma generativ modeller formasında) kúshli bir paradigma — bul itimallıq programmalastırıw (hám baylanıslı paradigmalar, mısalı, stoxastikalıq logikalıq programmalar hám Bayes logikalıq programmalastırıw).

 Qollanıw tarawları 
ICML 2005 penen birge ótkerilgen Induktiv Programmalastırıwdıń Usılları hám Qollanılıwları (AAIP) boyınsha birinshi seminar programmalar yamasa rekursiv qaǵıydalardı úyreniw talap etiletuǵın barlıq qosımshalardı anıqladı, [...] birinshiden programmalıq támiynat injenerligi tarawında, bunda strukturalıq úyreniw, programmalıq támiynat járdemshileri hám programmalıq támiynat agentleri baǵdarlamashılardı ádettegi wazıypalardan azat etiwge, aqırǵı paydalanıwshılar ushın programmalastırıw qollap-quwatlawın beriwge yamasa jańa baslawshı baǵdarlamashılar menen programmalastırıw repetitor sistemaların qollap-quwatlawǵa járdem bere aladı. Qosımsha qollanıw tarawları — til úyreniw, jasalma intellekt jobalastırıw ushın rekursiv basqarıw qaǵıydaların úyreniw, veb-qazıp alıwda yamasa maǵlıwmat formatın túrlendiriw ushın rekursiv túsiniklerdi úyreniw».

Sonnan berli, bul hám basqa da kóp tarawlar induktiv programmalastırıw ushın tabıslı qollanıw tarawları ekenin kórsetti, mısalı, aqırǵı paydalanıwshı programmalastırıwı, oǵan baylanıslı mısal menen programmalastırıw hám kórsetiw menen programmalastırıw tarawları, hám intellektual repetitorlıq sistemalar.

Induktiv juwmaq shıǵarıw jaqında qollanılǵan basqa tarawlar — bilimlerdi alıw, ulıwma jasalma intellekt, bekkemlewshi oqıtıw hám teoriyanı bahalaw, hám ulıwma alǵanda kognitiv ilim. Sonıń menen birge intellektual agentler, oyınlar, robototexnika, jekelestiriw, qorshaǵan ortalıq intellekti hám adam interfeyslerinde de perspektivalı qollanıwları bolıwı múmkin.

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__