|
ЭТлар сохасидаги мутахассислар учун билимлар атамаси дастур узини «аклли» тутиши учун зарур булган ахборотларни билдиради. Бу ахборот далиллар ва коидалар шаклини кабул килади.
ЭТда далиллар ва коидалар доимо чин ёки нотугри эмас, баъзида далилнинг ишончлилиги ёки коиданинг аниклигига айрим ишончсизлик мавжуд булади. Агар бу шубха аник акс эттирилса, унда у «ишончлилик даражаси» деб аталади.
ЭТнинг купгина коидалари эвристик, яъни эмпирик коидалар ёки соддалаштирилган булади, улар ечими изланишни анча чеклайди. Экспертли тизим эвристикадан фойдаланади, чунки у ечаётган вазифа-лар хох ягона маконни кидириш, хох даъволарни мувофиклаштириш булсин, коидага кура, кийин ва охиригача тушунарсиздир. Бу вазифалар катъий математик тахлил ёки алгоритмли ечимга буйсинмай-ди. Алгоритмли усул вазифани аник ва мувофик ечилишини кафолатлайди. Эвристик усул эса купгина холларда кабул килиш мумкин булган ечимни беради.
Алгоритмли усул самолёт босиб олинишининг олдини олишни тулик таъминлайди, чунки у умуман куролнинг самолёт бортига киритилиши имкониятини тулик истисно килади. Афсуски, бу усул жудаям куп вактни талаб килади, жудаям киммат туради ва, мухими бирор – бир амалий кимматга эга булиш учун жуда хам машхур усул эмас. Келтирилган эвристик усул хам самолёт босиб олиниши булган купгина харакатларнинг олдини олиши мумкин, аммо улар бутунлай вужудга келмаслигига кафолат беролмайди. Эвристик коидалардан фойдаланиш ечимни кидиришни анча осонрок ва амалийрок килади.
ЭТда билимлар шундай ташкил килинганки, муаммо соха хакидаги билимларни тизим билимларининг вазифани кандай ечиши хакидаги умумий билимлари, фойдаланувчи билан кандай узаро хамкорлик килиши, масалан, матнни фойдаланувчининг терминалида босиб чикариши ёки матнни фойдаланувчининг буйругига кура кандай узгартириши хакидаги билимлар каби бошка турлардан ажратиш мумкин. Муаммо соха хакидаги ажратилган билимлар базани ташкил этади, вазифаларнинг ечимларини жойлашуви хакидаги умумий билимлар эса киритиш механизми деб аталади. Шундай тартибда ташкил килинган билимлар билан ишловчи дастур билимларга асосланган тизим деб аталади. Шундай тартибда ташкил килинган билимлар билан ишловчи дастур билимларга асосланган тизим деб аталади.
Муаммо соха хакидаги ажратиш билимлар буйича мухандисга улар билан манипуляция килиш учун тадбирлар ишлаб чикишни осонлаштиради. Тизим укишнинг билимларидан кандай тартибда фойдаланиш биринчи даражали ахамиятга эга, чунки ЭТ уни фаолиятнинг бирор-бир турида мохир деб хисоблаш учун хам худди шундай билимлар ва улардан самарали фойдаланиш воситаларига эга булиши керак.
Демак, мохир булиш учун ЭТ муаммо соха хакидаги юкори сифатли билимлар, билимлар базасига эга булиши, унинг киритиш механизми эса муаммо соха хакидаги билимлардан кандай самарали фойдаланиш кераклиги хакидаги билимларга эга булиши керак.
ЭТ киритиш механизмининг тамойили энди иш бошлаётган ишлаб чикувчилар уртасида савол тугилади: айрим муаммо сохалар билимлари кандай килиб далиллар ва коидалар куринишида ёзилиши мумкинлиги тушунарли-ку, аммо «киритиш механизми»ни кандай килиб куриш ва фойдаланиш бутунлай тушунарли эмас. Бу тушунмовчилик мантикий киритишнинг оддий ва умумий усули йуклигидан содир булади. Унинг тузилиши хам муаммо соханинг узига хослигига ва билимлар ЭТда кандай таркиблаштирилгани, ташкил килинганлигига боглик. ЭТни куриш учун мулжалланган юкори даражадаги купгина тиллар, масалан, ЕMYCIN, тилга айрим маънода унинг бир кисми сифатида киритилган механизмга эга.
Мантикий чикариш механизмини уз ичига олган Пролог дастурлаш тили бошка бир мисол булиб хизмат килиши мумкин, ундан оддий ЭТни яратишда бевосита фойдаланса булади.
Куйирок даражадаги тиллар, масалан ЭТни яратувчиси чикариш механизмини лойихалаштириш ва амалга оширишни талаб килади.
Хар икки ёндошиш хам уз афзаллик ва камчиликларига эга. Чикариш механизми киритилган юкори даражадаги тил экспертли тизим яратувчиси ишини осонлаштиради.Айни вактда унда, тушунарлики, билимларни ташкил килиш ва уларга кириш усулларини белгилаш имкониятлари камрок, жараённи бошкаришнинг таклиф килинаётган чизмаси хакикатан хам ушбу муаммо соха учун ечимни излашга яроклими ёки йуклигини жудаям синчиклаб куриб чикиш керак булади. Чикариш механизмисиз куйи даражадаги тилдан фойдаланиш ишлаб чикишга каттарок харажат килишни талаб килади, аммо ишлаб чикувчи ечимнинг ушбу муаммо сохага ухшаш жараёнини бошкариш чизмасига киритиш мумкин булган зарур дастурий блокларни ишлаб чикишга имкон беради.
Чикариш механизмига келсак, бу уринда иш «хаммаси ёки хеч нарса» ни танлаш билан чекланмайди. Мисол учун, ЭТ куриш баъзи воситалари чикаришнинг курилган механизмлари мажмуасига эга, аммо ишлаб чикувчи уларни муаммо соха билан купрок мослашиши учун замонавийлаштириш ёки кайта белгилаш имконини беради.
Билимларни такдим этиш усуллари билимлар дастурида кандай тартибда туркумлаштирилганлигини куриб чикамиз. Билимларни такдим этишнинг купгина андозавий усуллари мавжуд. ЭТни куришда уларнинг узи ёки бошкалар билан биргаликда фойдаланиш мумкин. Хар бир усул дастурни айрим афзалликлари билан олишга имкон беради, уни самаралирок килади, уни тушуниш ва замонавийлаштиришни осонлаштиради. Энг мухим усулларнинг кенг обзорини «сунъий акл буйича маълумотнома» дан топиш мумкин. Замонавий ЭТларда билимларни такдим этишни учта энг мухим усулларидан: коидалар (энг оммавий), семантик тармоклар ва фреймалардан купрок фойдаланилади.
Коидаларга асосланган билимларни такдим этиш АГАР(шарт)-УНДА (харакат) куринишидаги иборалардан фойдаланиш асосида курилган.
Вазифадаги жорий вазият (далиллар) АГАР коидаларининг бир кисми билан мослаштирилса ёки каноатлантирилса, бу холда УНДА кисмини белгиловчи харакат бажарилади. Бу харакат атроф мухитга таъсир этиши (масалан, матндан фойдаланувчининг терминалида босиб чикарилишини чакиради), ёки дастурли бошкарилишига таъсир килиши (масалан, коидаларнинг айрим мажмуасини текшириш ва ишга туширишни чакиради), ёки белгиланган хулосани олиш хакидаги тизимга курсатишдан иборат булиши (масалан, маълумотлар базасига янги далил ёки гипотезани кушади) мумкин. Коидалар мураккаб ва тез узгараётган ташки мухит томонидан бошкарилаётган жараёнларни баён килишнинг табиий усулини таъминлайди. Коидалар оркали дастурда маълумотларнинг узгаришига кандай жавоб бериш кераклигини белгилайди: банкда маълумотларни ишлаб чикишни бошкаришнинг блок чизмасини олдиндан билиш зарур эмас. Анъанавий турдаги дастурда бошкаришни узатиш ва маълумотлардан фойдаланишнинг чизмаси дастурнинг узида олдиндан белгиланган. Бу ерда ишлаб чикиш изчил кадамлар билан амалга оширилади, шохлатиш эса факат олдиндан танланган нукталардагина мавжуд булади. Бошкарувнинг бу усули алгоритмли ечимга йул куйувчи ечимларда, агар бунинг устига бунда маълумотлар етарлича секин узгараётган холда, масалан, тугри чизикли тенгламалар тизимини ечишда яхши ишлайди. Ечимни бериш маълумотларнинг узлари томонидан бажарилаётган, шохлаш истиснога караганда тезрок меъёр булган вазифалар учун бу усул самаралидир. Бундай турдаги вазифаларда коидалар хар бир кадамда вазиятни бахолаш ва тегишли харакатларни килишга имкон беради. Коидалардан фойдаланиш дастурни нима ва кандай усулда килганлигини, яъни у аник хулосага кандай усулда келганлигини тушунишни соддалаштиради.
Фреймларга асосланиб билимларни бериш муносабатлар билан богланган ва иерархик ташкил килинган тугунлар тармогидан фойдаланади. Хар бир тугун шундай тамойилдан иборат буладики, у ушбу тугун билан боглик аломатлар ва мазмунлар билан баён килиниши мумкин. Иерархияда пастрок уринни эгаллаган тушунчалар юкорирок уринни эгаллаган тугунларнинг хусусиятларини мерос килиб оладилар. Бу усуллар таснифлашни куришнинг (масалан рудаларнинг конлари ва касалликларнинг турларини) табиий ва самарали йулини таъминлайдилар.Юкорида ЭТлар оркали эвристика ва чикариш механизмидан кандай фойдаланганлиги мухокама килинган ва билимларни беришнинг умумий усулларидан баъзилари куриб чикилган эди.
Do'stlaringiz bilan baham: |
