Жасанды интелект
Есепті тұйық формада көрсету
жүктеу/скачать 140.5 Kb.
|
- Бұл бет үшін навигация:
- Прологта есептер шығару.
| Есепті тұйық формада көрсету.
Жасанды интеллект жүйе программаның алдында білімді көрсету мәселесі негізгі мәселе. Білімді модельдермен, нұсқаулармен көрсетуге болады. Егер есептің немесе мәселенің шығарылуын дұрыс көрсету үшін оның барлық элементтерінің толық беріліп артық берілмеуін, мәнсіз болмауын қадағалау керек. Осылай ойластыру шешімді іздеу кеңістігінің, яғни есептің мүмкін болатын барлық шешулердің жиынтығы дұрыс айқындалып есепті шығару қиындығы анықталып есеп абстрактілі болып шығады. Бұлайша дайындалған есеп есепті тұйық формада көрсету делінеді. Мысалы, х2+2х+1=0 теңдеуін қанағаттандыратын сандарды бүтін натурал сандар жиынын табу керек. Сараптаушы жүйеде бір салаға арналған мәселені шешу жеті кезеңнен тұрады: Есептің қойылымын ойлап оның шартының мағынасын айқындау. Есеп шарттарын пайдаланып бірінші қорытынды жасау (графтар сызу, жетпей тұрған шарттарды қосу, ұзын сөздер тізбегін ықшамдау). Оны орындау. Ой елегінен өткізу. Ең дұрыс деген көрсетуді, яғни есептің тұйық формада тұжырымдалуын іздеу. Екінші кезеңге оралып, есептің аралық шешімін алу не есепті толық шешу. Шешуді тексеру, оны қорытындылау. Енді сараптаушы жүйені дайындау кезеңдеріне тоқталайық: Проблеманы таңдау. Тұлғалық жүйені дайындау. Түп – тұлғаны өндірістік нақты сараптаушы жүйеге дамыту. Жүйені бағалау. Жүйені түйістіру. Жүйені жан жақты ету. Бұл кезеңдер бір-біріне байланыссыз. Программалаушы Мұғалім Прологта есептер шығару. Мысалы3, x cos(x), егер X>=5 Tg(x), егер x<5 Domains X,y,z=integer; Predicates Z(x,y) Clauses Z(x,y): -y=x*cos(x),x>=5; Y=tan(x)7 Goal Clearwindow, write(“Input”) Readln(x), z(z,y), write(“z(“,x,”)=”,y). Мысалы2,
Domains Number, product = integer. Predicates Fact(Number, product) Clauses Fact (1,1): - ! Fact (N,R): - Next – N = N-1, fact(next_N,P), R=N*P Goal Fact (3, res), write(‘factarial 3=’’,res), ne Мысалы1,
Domains (айнымалылар бөлімін сипаттау) X=real Predicates (предикат бөлімі) Dollar – tenge (x,x) Tenge - dollar (x,x) Clauses (ұйғарымдар бөлімі(пікірлер)) Dollar_ tenge (Д,Т): - Т=Д*154, write(Т). Tenge_dollar(Т, Д): - Д =Т/154, write(Д ). Goal(сұраныстар бөлімі) Clearwindow, tenge_dollar(300, Д), Nl, dollar_tenge(2, T) Nl – новая линия. Constans - тұрақтыларды сипаттау бөлімі. Прологта айнымалы бір объектіні белгілеу үшін пайдаланылатын символдар тізбегі. Бас әріппен бастап жазылады. Құрылым құрама ұйғарымның синтаксисі сақтап жазылу түрі. Құрылым термдер тізбегінен және негізгі функттар деп аталатын атомнан (құрылым атауынан) тұрады. Мысалы, Ержанда авторы Сабит Мұқановтың «Ботагөз» деген кітабы бар. Bar(erjan, kitap(botagoz, avtor(sabit_mukanov)). Мұндағы фактінің аргументтері Ержан, кітап. Кітап – күрделі құрылымды ішкі компонент. Оның ішкі аргументтері ботагөз, автор. Жай жақшаның алдына жазылған атомды функттар деп атайды. Bar – бас функттар. Кітап, автор – функторлар. \ жүктеу/скачать 140.5 Kb. Достарыңызбен бөлісу:
|