Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
14 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
1.40 MB
Просмотров:
63
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![Логикалы программалау т л не](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img0.jpg)
Содержание слайда: Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері
№2 слайд![Пролог объект пен оларды](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img1.jpg)
Содержание слайда: Пролог – объект пен олардың арасындағы қатынастары бар есептерді шешуге қолданылатын бағдарламалау тілі.
Пролог – объект пен олардың арасындағы қатынастары бар есептерді шешуге қолданылатын бағдарламалау тілі.
Пролог- программасы сөйлемдерден турады, олар болу мүмкін:
фактілер
ережелер
сүрақтар.
Программа мысалы: туыс қатынастар.
№3 слайд![](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img2.jpg)
№4 слайд![родитель- parent объект лер](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img3.jpg)
Содержание слайда: родитель- (parent) объектілер арасындағы қатынастарды анықтайық.
parent (tom, bob).
Бұл Бобтың ата-анасы Том болатын факті.
родитель- (parent) объектілер арасындағы қатынастарды анықтайық.
parent (tom, bob).
Бұл Бобтың ата-анасы Том болатын факті.
parent - қатынатың аты, tom, bob - оның аргументтері. Енді туыстық қатынастарды сипаттайтын программасын құрастырайық.
parent (pam, bob).
parent (tom, bob).
parent (tom, liz).
parent (bob, ann).
parent (bob, pat).
parent (mary, ann).
parent (pat, juli).
№5 слайд![Бл программа сйлемдерден](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img4.jpg)
Содержание слайда: Бұл программа 7 сөйлемдерден (мақұлдамадан) clause(клоз) тұрады.
Әр бір клоз parent қатынас түрінде фактпен жазылған.
Фактілер жазылуда келесі ережелерді сақтау керек:
Бұл программа 7 сөйлемдерден (мақұлдамадан) clause(клоз) тұрады.
Әр бір клоз parent қатынас түрінде фактпен жазылған.
Фактілер жазылуда келесі ережелерді сақтау керек:
Қатынас пен объектілер аттары кіші әріппен жазылады.
Қатынас аты, содан кейін жақшада үтір арқылы объектілер жазылады.
Соқықда нүкте қойылады.
Факт мысалы:
like (bob, pam).
Фактілер жиыны прологта деректер қоры деп аталады.
№6 слайд![рылан Д сра оюа болады. рылан](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img5.jpg)
Содержание слайда: Құрылған ДҚ сұрақ қоюға болады.
Құрылған ДҚ сұрақ қоюға болады.
Сұрақ ?- белгісінен басталады
Сұрақ факт сияқты жазылады.
Мысалы:
? - parent (bob, pat).
Yes
Сұрақ қойылған кезде Пролог оны ДҚ-мен салыстырады. Егер бұндай факт табылса, ж/бы : иә (yes).
Сұраққа:
?-parent (bob,mary).
No
Ж/бы жоқ (no), себебі ДҚ-да бұндай факт жоқ.
№7 слайд![Сра liz ды ата- анасы к м Сра](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img6.jpg)
Содержание слайда: Сұрақ liz – дың ата- анасы кім:
Сұрақ liz – дың ата- анасы кім:
?-parent (X, liz).
X= tom
Мұнда X - айнымалы. Оның мәні белгісіз және ол әр түрлі мән қабылдау мүмкін. Оның мәні мақұлдауы ақиқат болған объектінің мәніне тең.
Сұрақ:
?-parent (X, bob).
X=tom
X=pam
Кім кімнің ата- анасы боладыдеп сқрақ қояйық. Немесе Х Y- тің ата- анасы болатын X пен Y табайық.
?-parent (X, Y).
X= pam
Y= bob
Y= tom
X= bob
№8 слайд![Жалпы сра оюа б ды juli ата-](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img7.jpg)
Содержание слайда: Жалпы сұрақ қоюға б/ды: juli ата- анасы кім б/ды. grandparent қатынасы жоқ болғандықтан, екі сұраққа бөлуге б/ды:
Жалпы сұрақ қоюға б/ды: juli ата- анасы кім б/ды. grandparent қатынасы жоқ болғандықтан, екі сұраққа бөлуге б/ды:
juli ата- анасы кім б/ды . Y болсын.
Y- тің ата- анасы кім б/ды . X болсын.
Онда құрамды сұрақ:
?-parent (Y, juli), parent (X, Y).
X=bob
Y=pat
Шешім іздеуде біріншіден Y , содан кейін екінші шарт бойынша Х табылады.
Сұрақ: Томның немерелері кім?:
?-parent (tom, Y), parent (Y, X).
Y=bob
X=ann
Y=bob
X=pat
№9 слайд![ann мен pat орта ата- анасы](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img8.jpg)
Содержание слайда: ann мен pat ортақ ата- анасы бар ма?
ann мен pat ортақ ата- анасы бар ма?
?-parent (Y, ann), parent(Y, pat).
Y=bob
Ережелер
parent «ата- ана» қатынасқа керісінше child бала қатынасты анықтайық.
Осылай сияқты анықтауға б/ды:
child (liz, tom).
Но можно использовать, что отношение child қатынасты parent керісінше анықтап, мақұлдау- ереже түрінде жазуға б/ды:
child(Y, X):-parent (X, Y).
Ереже оқылады:
Әр бір X пен Y үшін
Y -child X, егер
X -parent Y.
Ереже мен фактінің ерекшелігі, факт- әр қашан ақиқат, ал ереже – кейбір шарт орындалғанда ақиқат болатын мақұлдама. Сондықтан ережеде: қорытынды мен шарт б/ды.
№10 слайд![child Y, X - parent X, Y .](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img9.jpg)
Содержание слайда: child(Y, X) :- parent (X, Y).
child(Y, X) :- parent (X, Y).
басы тұлға
Һead body
Егер parent (X, Y). шарт орындалса, онда child(Y, X). мақұлдама орындалады.
Ереже Прологта қалай қолданады :
Сұрақ қойылады:
?-child(liz, tom).
Программада child. туралы деректер жоқ. Бірақ әр бір X Y соның ішінді liz бен tom үшін ақиқат болатын ереже бар. Осы мәндер үшін ережені қолдану керек. Ол үшін ережеде X- tom, aл Y - liz орнына қоямыз. Айнымалылар байланысқан б/ды, ал операция ауыстру (аподстановк) деп аталады.
Ереже үшін:
child(liz, tom):-parent (tom, liz).
№11 слайд![Шартты бл г н тр parent tom,](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img10.jpg)
Содержание слайда: Шартты бөлігінің түрі:
parent (tom, liz).
Шартты бөлігінің түрі:
parent (tom, liz).
Осы шарт орындалатының анықтайық. Бастапқы мақсат child(liz,tom) parent (tom, liz). ішкі орындалатын мақсатпен ауыстырылады, сондықтан прологтың жауабы "yes".
Конъюнкция в правилах
Добавим еще одно отношение в базу данных, унарное, определяющее пол.
male(tom).
male(bob).
male(jim).
female(liz).
female(pam).
female(pat).
female(ann).
№12 слайд![Теперь определим отношение](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img11.jpg)
Содержание слайда: Теперь определим отношение mother. Оно описывается следующим образом:
Теперь определим отношение mother. Оно описывается следующим образом:
Для всех X Y
X -mother Y, if
X- parent Y и
X -female.
Таким образом правило будет
mother(X, Y):-parent(X, Y), female(X).
Можно записать
mother(X, Y):-parent(X, Y),
female(X).
или
mother(X, Y):-
parent(X, Y),
female(X).
Запятая между двумя условиями означает конъюнкцию целей. Это означает, что два условия должны быть выполнены одновремено.
№13 слайд![](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img12.jpg)
№14 слайд![](/documents_6/41fa31a8f279c76548a5a3216da93b6a/img13.jpg)