http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Teadmiste_formaliseerimise_eksami%C3%BClesanded_3_juuni_2020 2026-11-07T00:47:30Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Teadmiste_formaliseerimise_eksami%C3%BClesanded_3_juuni_2020&diff=17798&oldid=prev 2020-06-03T07:00:03Z

<p>Uus lehekülg: &#039; Palun kirjuta vastused lihtsa tekstifailina (txt) või Wordi või Libreoffice failina ja saada emailiga õppejõule hiljemalt kella üheks: tanel.tammet@taltech.ee Palun pane o...&#039;</p> <p><b>Uus lehekülg</b></p><div><br /> Palun kirjuta vastused lihtsa tekstifailina (txt) või Wordi või Libreoffice failina ja saada emailiga<br /> õppejõule hiljemalt kella üheks: tanel.tammet@taltech.ee<br /> <br /> Palun pane oma emaili pealkirja sisse fraas &quot;Teadmiste formaliseerimise eksam&quot;, et ta oleks kirjakastist<br /> kergemini leitav.<br /> <br /> 1. Pane rdf ja/või rdfs kujule ja/või predikaatloogikale baseerudes kirja inimkeelsed väited (eelda, et füüsilisi suurusi ei ole teada). <br /> Osasid reegleid sa võibolla rdf kujul esitada ei saagi: esita need predikaatloogika kujul.<br /> ** Eesti asub euroopas.<br /> ** Tallinn on Eesti pealinn.<br /> ** Tartu on Eestis asuv suur linn.<br /> ** Haapsalu on Eestis asuv keskmine linn.<br /> ** Värska on Eestis asuv väike linn.<br /> ** Pealinn on linn.<br /> <br /> Seejuures ei pea sa lähtuma täpselt rdf kujust ja süntaksi võid ise valida. <br /> <br /> 2. (a) Kirjuta formaalsed reeglid, mis ütlevad (*) Kui ühe asja sees on teine, siis kõik need asjad, mis on teise sees, on ka esimese sees.<br /> (*) Mingi asja pealinn asub selles asjas. (*) Üldiselt linnad ei ole pealinnad. NB! See viimane reegel kirjuta default loogika põhimõtete järgi (süntaks vali ise).<br /> (b) Seejärel näita, kuidas sa sellest konkreetselt järeldad, et Tallinn asub euroopas ja et Tartu ei ole pealinn.<br /> <br /> 3. (a) Vaata, kas leiad nende väidete jaoks mõistlikud identifikaatorid schemaorgist. Kirjuta, kas leidsid (millised) või ei. (b) Kirjuta kõik need eelnevad väited (mitte tingimata reeglid) välja JSON-LD kujul,<br /> valides mõistlikud identifikaatorid (kas schemaorgist või mujalt, mis tunduvad võimalikult üldarusaadavad). <br /> <br /> 4. (a) Lisa reegel, mis ütleb, et pealinn on suur linn. (b) Lisa fuzzy loogika põhimõtete järgi numbrilised hinnangud ja vajadusel reeglid &quot;suur&quot;, &quot;keskmine&quot; ja &quot;väike&quot; iseloomustamiseks esimeses ülesandes öeldud faktide jaoks ühises skaalas: et kõik need sõnad ütleksid mingit ühist suuruse-omadust omavahel võrreldavate numbriliste hinnangutega &quot;suur&quot; väite usaldusväärsuse jaoks.<br /> <br /> 5. Seleta, kuidas võiks olla praktikas võimalik teha süsteem, mis automaatselt leiaks linnade jaoks sõnade &quot;suur&quot;, &quot;keskmine&quot; või &quot;väike&quot; umbkaudsed numbrilised hinnangud fuzzy loogika põhimõtete järgi.</div>

Tammet