133
сизрок тугри келувчи дастурлашнинг анъанавий тиллари (С, С++, Basic, Small-
Talk, Fortran ва х.к.) кирадилар. Шунинг учун бу тиллар асосида сунъий интел-
лект тизимларини яратиш дастурловчилардан куп ишлашни талаб килади. Ам-
мо уларнинг анъанавий машина архитектурасига якинлиги билан боглик юкори
самарадорлиги бу тилларнинг катта афзаллигидир. Бундан ташкари, дастур-
лашнинг анъанавий тилларидан фойдаланиш умумий мулжалланишдаги йирик
дастурий мажмуаларга интеллектуал тизимларни (масалан, интеграциялашган
эксперт тизимларини) кушишга имкон беради.
Анънавий тиллар орасида объ-
ектли мулжалланганлари (SmallTalk, С++) энг куллай хисобланади. Бу шунинг
билан богликки объектли-мулжалланган дастурлашнинг парадигмаси билим-
ларни такдим этишнинг фреймли модели билан якиндан богланган. Бундан
ташкари, дастурлашнинг анъанавий тилларидан сунъий интеллектнинг аслохо-
вий воситалари бошка шифрларини яратиш учун фойдаланилади.
Сунъий интеллектнинг тиллари.
Бу хаммадан аввал Лисп (Lisp) ва Пролог (Prolog) [8] - энг кенг таркалган,
сунъий интеллект вазифаларини ечиш учун мулжалланган тиллардир.
Сунъий
интеллектнинг камрок таркалган тиллари хам мавжуд, масалан, Россияда иш-
лаб чикилган РЕФАЛ. Уларнинг универсаллиги анъанавий тилларга нисбатан
камрок, аммо бу йукотишни сунъий интеллектнинг
тиллари аломатли ва ман-
тикий маълумотлар билан ишлаш буйича бой имкониятлар билан урнини тул-
диради, бу сунъий интеллект вазифалари учун гоятда мухимдир. Сунъий ин-
теллект тиллари асосида ихтимослаштирилган компьютерлар яратилади, маса-
лан, сунъий интеллект вазифаларини ечиш учун мулжалланган Лисп - машина-
лар. Бу тилларни камчилиги - гибридли эексперт
тизимларини яратиш учун
кулланилмаслигидир.
Сунъий интеллект дастурий воситаларининг бу гурухига умумий белги-
ланишдаги махсус аслохолар киради. Коидага кура, бу кутубхона ва Лисп
сунъий интеллект тилининг устидаги усткурма КЕЕ (Knowledge, Enginееring
Environment), FRL (Frame Representation Language), KRL (Knowledge
Representation Language), ARTS ва фойдаланувчиларга
сунъий интеллектнинг
одатдаги тилларида эхтимол булгандан фарклирок юкорирок даражадаги экс-
перт тизимларининг тайерламаларида ишлашга имкон берувчи бошкалар.
“Кобиклар” (Shells)
“Кобиклар” остида мавжуд эксперт тизимларининг “буш” накллари,
яъни билимлар базаларини, тайер эксперт тизимлари тушунилади.
Бундай ко-
бикка EMYCIN ( Empty MYCIN - буш MYCIN) мисол булиб хизмат килиши
мумкин, у тулдирилмаган эксперт тизими MYCINдан иборатдир. Кобикларнинг
афзаллиги шундан иборатки, улар умуман тайер эксперт тизимларини яратиш
учун дастурчиларнинг ишларини талаб килмайди. Тайер эксперт тизимини яра-
тиш учун предметли сохадаги мутахассис(лар) талаб килинади. Аммо агар
баъзи предметли соха баъзи бир кобикда фойдаланиладиган
моделга емон
жойлашса, бу холда билимлар базасини тулдириш гоятда оддий эмас.