http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Ifi6057lab3demo1 2026-10-28T22:44:53Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Ifi6057lab3demo1&diff=12872&oldid=prev 2015-11-18T18:17:50Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 18. november 2015, kell 20:17</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">8. rida:</td> <td colspan="2" class="diff-lineno">8. rida:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  dead(platon).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  dead(platon).</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Iseseisev agent kollimaailmas. Suht poolik, aga suudab auke vältida. &lt;code&gt;move(M, 2).&lt;/code&gt; küsib, mis on õige käik ajahetkel 2. See järgib teadmusbaasiga agendi arhitektuuri, kus olek ajas muutub ning tegevusi järeldatakse vastavalt hetkeolukorrale. Peale käiku peaks agendile &lt;code&gt;tellkb(breeze(2))&lt;/code&gt; stiilis ütlema, mida tema sensorid tajuvad (&lt;code&gt;tellkb/1&lt;/code&gt;: lisa asju teadmusbaasi).</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Iseseisev agent kollimaailmas. Suht poolik, aga suudab auke vältida. &lt;code&gt;move(M, 2).&lt;/code&gt; küsib, mis on õige käik ajahetkel 2. See järgib teadmusbaasiga agendi arhitektuuri, kus olek ajas muutub ning tegevusi järeldatakse vastavalt hetkeolukorrale. Peale käiku peaks agendile &lt;code&gt;tellkb(breeze(2))<ins style="font-weight: bold; text-decoration: none;">.</ins>&lt;/code&gt; stiilis ütlema, mida tema sensorid tajuvad (&lt;code&gt;tellkb/1&lt;/code&gt;: lisa asju teadmusbaasi).</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  :- dynamic(breeze/1).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>  :- dynamic(breeze/1).</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Ifi6057lab3demo1&diff=12871&oldid=prev 2015-11-18T18:17:17Z

<p>Uus lehekülg: &#039;Elementaarne Prolog: surelikud filosoofid. mortal(X):- person(X). mortal(X):- dead(X). person(sokrates). dead(platon). Iseseisev agent kollimaailmas. Suht poolik, aga...&#039;</p> <p><b>Uus lehekülg</b></p><div>Elementaarne Prolog: surelikud filosoofid.<br /> <br /> mortal(X):-<br /> person(X).<br /> mortal(X):-<br /> dead(X).<br /> person(sokrates).<br /> dead(platon).<br /> <br /> Iseseisev agent kollimaailmas. Suht poolik, aga suudab auke vältida. &lt;code&gt;move(M, 2).&lt;/code&gt; küsib, mis on õige käik ajahetkel 2. See järgib teadmusbaasiga agendi arhitektuuri, kus olek ajas muutub ning tegevusi järeldatakse vastavalt hetkeolukorrale. Peale käiku peaks agendile &lt;code&gt;tellkb(breeze(2))&lt;/code&gt; stiilis ütlema, mida tema sensorid tajuvad (&lt;code&gt;tellkb/1&lt;/code&gt;: lisa asju teadmusbaasi).<br /> <br /> :- dynamic(breeze/1).<br /> :- dynamic(stench/1).<br /> :- dynamic(agentpos/3).<br /> agentpos(1,1,1).<br /> <br /> breezy(X, Y):-<br /> agentpos(X, Y, T),<br /> breeze(T).<br /> <br /> smelly(X, Y):-<br /> agentpos(X, Y, T),<br /> stench(T).<br /> <br /> nopit(X, Y):-<br /> visited(L, Y),<br /> X is L + 1,<br /> \+ breezy(L, Y).<br /> <br /> nopit(X, Y):-<br /> visited(R, Y),<br /> X is R - 1,<br /> \+ breezy(R, Y).<br /> <br /> nopit(X, Y):-<br /> visited(X, U),<br /> Y is U - 1,<br /> \+ breezy(X, U).<br /> <br /> nopit(X, Y):-<br /> visited(X, D),<br /> Y is D + 1,<br /> \+ breezy(X, D).<br /> <br /> % kuna me kasutame agentpos-i, siis me oskame sealt uusi koordinaate<br /> % tuletada ja legal/1 predikaadiga kontrollida. Alternatiiv oleks Prologile<br /> % lihtsalt ütelda, mis koordinaadid olemas on.<br /> %coord(1).<br /> %coord(2).<br /> %coord(3).<br /> %coord(4).<br /> <br /> legal(X):-<br /> X &gt; 0,<br /> X &lt; 5.<br /> <br /> visited(X, Y):-<br /> agentpos(X, Y, _).<br /> <br /> safe(X, Y):-<br /> visited(X, Y).<br /> <br /> safe(X, Y):-<br /> nopit(X, Y).<br /> % nowumpus(X, Y).<br /> <br /> ismove(up).<br /> ismove(left).<br /> ismove(right).<br /> ismove(down).<br /> <br /> <br /> newpos(X, Y, up, T):-<br /> agentpos(X, D, P),<br /> Y is D + 1,<br /> T is P + 1,<br /> legal(Y).<br /> <br /> newpos(X, Y, left, T):-<br /> agentpos(R, Y, P),<br /> X is R - 1,<br /> T is P + 1,<br /> legal(Y).<br /> <br /> newpos(X, Y, right, T):-<br /> agentpos(L, Y, P),<br /> X is L + 1,<br /> T is P + 1,<br /> legal(Y).<br /> <br /> newpos(X, Y, down, T):-<br /> agentpos(X, U, P),<br /> Y is U - 1,<br /> T is P + 1,<br /> legal(Y).<br /> <br /> % küsi järgmist käiku, näit. move(M, 2).<br /> move(M, T):-<br /> ismove(M),<br /> newpos(X, Y, M, T),<br /> safe(X, Y),<br /> tellkb(agentpos(X, Y, T)).<br /> <br /> % anna teada uusi fakte, näit. tellkb(breeze(2)).<br /> tellkb(X):-<br /> asserta(X).</div>

PriitJ