Ifi6057lab3 - Redigeerimiste ajalugu

PriitJ: /* Abiks */

2015-11-18T18:28:32Z

Abiks

←Vanem redaktsioon		Redaktsioon: 18. november 2015, kell 20:28
90. rida:		90. rida:
	* http://learnprolognow.org		* http://learnprolognow.org
	* [http://www.amzi.com/AdventureInProlog/a1start.php Adventure in Prolog]		* [http://www.amzi.com/AdventureInProlog/a1start.php Adventure in Prolog]
	* Vaata inspiratsiooniks kollimaailma näidet loengust ([[~~Media:Ifi6057lab3demo.txt~~\|~~demo.pl~~]]). ~~''Tehnilistel põhjustel on see fail MediaWikis text/plain tüüpi''~~		* Vaata inspiratsiooniks [[Ifi6057lab3demo1\|kollimaailma näidet loengust]].
			* Lihtsamaid kooditükke harjutustunnist: [[Ifi6057lab3demo2\|pulkade mäng]], [[Ifi6057lab3demo3\|täringu külgede loendamine]], [[Ifi6057lab3demo4\|teadmusbaasi salvestamine]].
	* Lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.		* Lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.
	* Arvutiklassis on olemas SWI-Prolog. Linuxi jaoks soovitaks GNU Prologi, mis on antud ülesande jaoks täiesti piisav.		* Arvutiklassis on olemas SWI-Prolog. Linuxi jaoks soovitaks GNU Prologi, mis on antud ülesande jaoks täiesti piisav.

PriitJ: /* Ülesanne */

2015-11-18T18:23:15Z

Ülesanne

←Vanem redaktsioon		Redaktsioon: 18. november 2015, kell 20:23
1. rida:		1. rida:
	== Ülesanne ==		== Ülesanne ==

	Viimases ülesandes tuleb kirjutada Prologis programm, mis oskaks mängida laevade pommitamist. Täpsemalt mängib programm ainult ühte poolt mängust: pakub välja koordinaadid, kuhu järgmisena pommitada ning võtab teadmiseks, kas tegu oli möödalasu, tabamuse või koguni laeva põhja laskmisega. Sellisel viisil kogutud infot kasutab programm siis järgmiste käikude "välja mõtlemiseks". Programmil oma laevu pole.		Viimases ülesandes tuleb kirjutada Prologis programm, mis oskaks mängida laevade pommitamist. Täpsemalt mängib programm ainult ühte poolt mängust: pakub välja koordinaadid, kuhu järgmisena pommitada ning võtab teadmiseks, kas tegu oli möödalasu, tabamuse või koguni laeva põhja laskmisega. Sellisel viisil kogutud infot kasutab programm siis järgmiste käikude "välja mõtlemiseks". '''Programmil oma laevu pole'''.

	[[File:5grid.gif\|right]]		[[File:5grid.gif\|right]]

PriitJ: /* Abiks */

2015-11-04T16:26:18Z

Abiks

←Vanem redaktsioon		Redaktsioon: 4. november 2015, kell 18:26
90. rida:		90. rida:
	* http://learnprolognow.org		* http://learnprolognow.org
	* [http://www.amzi.com/AdventureInProlog/a1start.php Adventure in Prolog]		* [http://www.amzi.com/AdventureInProlog/a1start.php Adventure in Prolog]
	* Vaata inspiratsiooniks kollimaailma näidet loengust (''~~'tuleb hiljem'~~'').		* Vaata inspiratsiooniks kollimaailma näidet loengust ([[Media:Ifi6057lab3demo.txt\|demo.pl]]). ''Tehnilistel põhjustel on see fail MediaWikis text/plain tüüpi''
	* Lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.		* Lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.
	* Arvutiklassis on olemas SWI-Prolog. Linuxi jaoks soovitaks GNU Prologi, mis on antud ülesande jaoks täiesti piisav.		* Arvutiklassis on olemas SWI-Prolog. Linuxi jaoks soovitaks GNU Prologi, mis on antud ülesande jaoks täiesti piisav.

PriitJ: /* Abiks */

2015-11-04T16:06:36Z

Abiks

@@ 93. rida: / 93. rida: @@
 * Lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.
 * Arvutiklassis on olemas SWI-Prolog. Linuxi jaoks soovitaks GNU Prologi, mis on antud ülesande jaoks täiesti piisav.
 Mõned lihtsamad reeglid:
@@ 150. rida: / 151. rida: @@
 Peale seda query <code>?- retract(person(sokrates)).</code> õnnestub.

PriitJ – 3. november 2015, kell 13:27

2015-11-03T13:27:35Z

←Vanem redaktsioon		Redaktsioon: 3. november 2015, kell 15:27
29. rida:		29. rida:
	* <code>hit/0</code>. Parameeteid pole. Annab programmile teada, et tema eelmine pomm läks pihta, aga laev veel põhja ei läinud.		* <code>hit/0</code>. Parameeteid pole. Annab programmile teada, et tema eelmine pomm läks pihta, aga laev veel põhja ei läinud.
	* <code>sunk/0</code>. Nagu eelmine, aga laev läks põhja ("Pihtas-põhjas!").		* <code>sunk/0</code>. Nagu eelmine, aga laev läks põhja ("Pihtas-põhjas!").

			Vihje: pommitamise tulemuse juures ei ole kirjas, mis koordinaatide kohta või mis käigul tabamus/möödalask tuli. Seetõttu peab <code>target/2</code> predikaat ise teadmusbaasi viimase tegevuse salvestama. See muudab programmi põhimõttelt sarnasemaks raamatus visandatud teadmusbaasiga agendi algoritmiga.

	=== Näide interaktsioonist ===		=== Näide interaktsioonist ===

PriitJ – 3. november 2015, kell 13:15

2015-11-03T13:15:38Z

Näita muudatusi

PriitJ: Uus lehekülg: '== Ülesanne == Viimases ülesandes tuleb kirjutada Prologis programm, mis oskaks mängida laevade pommitamist. Täpsemalt mängib programm ainult ühte poolt mängust: pakub v...'

2015-11-03T11:23:41Z

Uus lehekülg: '== Ülesanne == Viimases ülesandes tuleb kirjutada Prologis programm, mis oskaks mängida laevade pommitamist. Täpsemalt mängib programm ainult ühte poolt mängust: pakub v...'

Uus lehekülg

== Ülesanne ==

Viimases ülesandes tuleb kirjutada Prologis programm, mis oskaks mängida laevade pommitamist. Täpsemalt mängib programm ainult ühte poolt mängust: pakub välja koordinaadid, kuhu järgmisena pommitada ning võtab teadmiseks, kas tegu oli möödalasu, tabamuse või koguni laeva põhja laskmisega. Sellisel viisil kogutud infot kasutab programm siis järgmiste käikude "välja mõtlemiseks". Programmil endal oma laevu pole.

[[File:5grid.gif|right]]

Mängu reeglid on klassikalisest laevade pommitamisest natuke erinevad:
* mängitakse 5x5 ruudustikul
* koordinaadid on mõlemal küljel 1-st 5-ni
* pole täpselt teada, mitu ja kui suurt laeva ruudustikul on. Õppejõud kasutab testimisel max 4 ruudu pikkust laeva
* laevad on sirged ja ei puutu külgi ega nurki pidi kokku

Oluline on, et programm suudaks lõpuks kõik laevad põhja lasta. Maksimaalselt kulub selleks 25 käiku. Et aga paremat hinnet saada, võiks programm üritada ka natuke kavalamalt tegutseda - tabamuste ja põhja minekute alusel on võimalik järeldusi teha, kuhu on eelkõige mõtet järgmist rünnakut suunata. Mida vähema käikude arvuga keskmiselt programm kõik laevad põhja saab, seda parem.

Selleks kasutame Prologi kui teadmusbaasi: paneme sinna sisse reeglid, mille järgi programm oskab järgmist käiku välja mõtelda. Uusi teadmisi paneme sisse <code>asserta/1</code> või <code>assertz/1</code> predikaatidega.
Kustutada saab <code>retract/1</code> või <code>retractall/1</code> predikaatidega.

See ei ole väga klassikaline ja ilus viis Prologi kasutada, aga see eest on väga lähedane teadmusbaasil põhineva agendi ideele (vt. [[Media:logicalagent.pdf|8. loengu slaide]]).

Ülesande tähtaeg (emailiga '''priit at whitedb.org''') on 1. detsembril. Ärge unustage ka kaitsma tulla, eriti kuna selleks on piiratud võimalused (2. detsembri ja 9. detsembri harjutustunnid). Alati on võimalik ka enne tähtaega kaitsta.

== Nõuded ==

Et üliõpilaste programme saaks automatiseeritult testida, peab neil TÄPSELT selline liides olema tehtud, nagu allpool kirjeldatud:

=== Näide interaktsioonist ===

== Punktid ==

Kodutöö arvesse minekuks piisab kui teha elementaarne versioon, mis suudab kõiki ruute pommitada, nii et kõik laevad garanteeritult põhjas on lõpuks. Selle jaoks on eelkõige vaja pusida Prologi süntaksi ja tõenäoliselt mitte päris harjumuspärase lähenemisega, seetõttu annab sellise kodutöö esitamine kohe 12 punkti. Programm ise on triviaalne ja selle saab teha paari-kolme reegliga (lisaks kohustuslikele liidese predikaatidele).

Et rohkem punkte saada, võiks hakata ka mingit strateegiat proovima realiseerida. Kui mingisugunegi toimiv loogika on tehtud, mis suudab pommitamist efektiivsemaks teha, tõuseb töö hinne 18 punkti peale.

Lõpuks, kõik kodutööd, eeldusel et neil on nõuetekohane liides, läbivad õppejõu poolt automaatse testimise, mis
leiab keskmise käikude arvu ~100 juhuslikult genereeritud laevastiku põhja laskmiseks. Kõige parema tulemusega
grupp saab 3 boonuspunkti, teine tulemus 2 punkti ja klassi peale kolmas tulemus 1 boonuspunkti. Neid boonuspunkte jagatakse küll ainult gruppidele, kes on mingi pommitamise strateegia ehitanud.

== Abiks ==

* http://learnprolognow.org
* vaata inspiratsiooniks kollimaailma näidet loengust
* lihtsaid katsetusi saab teha veebis, ilma midagi installimata: [http://swish.swi-prolog.org/ SWISH]. Teadmusbaasiga toimetamise jaoks see versioon ei sobi.

Mõned lihtsamad reeglid:

person(sokrates). % Sokrates on inimene
mortal(X):- % kõik inimesed on surelikud
person(X).
mortal(X):- % teine reegel surelikkuse kohta. Prolog vaatab ükshaaval kõiki reegleid
dead(X).
dead(platon). % veel üks fakt

Kui me teeme päringu <code>?- mortal(platon).</code> või <code>?- mortal(sokrates).</code>, siis mõlemale saame vastuseks "yes" (või midagi analoogset, sõltuvalt Prologi versioonist). <code>?- dead(sokrates).</code> annab aga vastuse "no", kuna selle kohta otsest fakti, ega ka sobivat reeglit ei eksisteeri.

Rekursiivne reegel (elementaarse versiooni saab kindlasti ilma teha, aga keerulisemate asjade juures võib kasuks tulla):

% faktid
parent(john,paul). % paul on johni vanem
parent(paul,tom). % tom on pauli vanem
parent(tom,mary). % mary on tomi vanem

% reegel: esivanema leidmine
ancestor(X,Y):- % baasjuhtum. Kui Y on X otsene vanem, siis ta ongi kohe esivanem
parent(X,Y).
ancestor(X,Y):- % rekursiivne reegel
parent(X,Z), % Valime mingi Z-i, kes on X-i vanem ja vaatame, kas temale
ancestor(Z,Y). % on võimalik rekursiivselt esivanemat leida. Z esivanem on ka X esivanem.

Prologis on küll sisse ehitatud debugger, aga esialgu võib lihtsam olla teksti välja trükkida:

% siia näide

Cut

% näide