Жасанды интелект

Есепті тұйық формада көрсету

жүктеу 140,5 Kb.

бет	9/12
Дата	15.09.2022
өлшемі	140,5 Kb.
	#39267
түрі	Лекция

1 ... 4 5 6 7 8 9 10 11 12

Жасанды интелект

Прологта есептер шығару.

Есепті тұйық формада көрсету.
Жасанды интеллект жүйе программаның алдында білімді көрсету мәселесі негізгі мәселе. Білімді модельдермен, нұсқаулармен көрсетуге болады. Егер есептің немесе мәселенің шығарылуын дұрыс көрсету үшін оның барлық элементтерінің толық беріліп артық берілмеуін, мәнсіз болмауын қадағалау керек. Осылай ойластыру шешімді іздеу кеңістігінің, яғни есептің мүмкін болатын барлық шешулердің жиынтығы дұрыс айқындалып есепті шығару қиындығы анықталып есеп абстрактілі болып шығады. Бұлайша дайындалған есеп есепті тұйық формада көрсету делінеді. Мысалы, х²+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,
N! – ды есептеу.

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.

Достарыңызбен бөлісу:

1 ... 4 5 6 7 8 9 10 11 12