https://vik.wiki/index.php?action=history&feed=atom&title=10._Tud%C3%A1sb%C3%A1zis_reprezent%C3%A1ci%C3%B3 2026-05-12T02:34:42Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=10._Tud%C3%A1sb%C3%A1zis_reprezent%C3%A1ci%C3%B3&diff=137710&oldid=prev 2012-10-21T20:05:51Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloTudasbazisReprezentacio}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== ===10.1. Ontológiaiszervezés=== * &#039;&#039;…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|MIOsszefoglaloTudasbazisReprezentacio}}<br /> <br /> <br /> __TOC__<br /> <br /> ==Általános tudnivalók, tételek, definíciók:==<br /> ===10.1. Ontológiaiszervezés===<br /> * &#039;&#039;&#039;ontológiaiszervezés:&#039;&#039;&#039; mikor a fókuszban a Cselekvés, az Idő, a FizikaiObjektum, és a hiedelem van<br /> * &#039;&#039;&#039;felső ontológia:&#039;&#039;&#039; a fogalmak egy általános kerete<br /> * &#039;&#039;&#039;általános ontológia két fő jellemzője:&#039;&#039;&#039;<br /> ** minden speciális rendeltetésű tárgytartományban tudni kell alkalmazni<br /> ** minden kellően igényes tárgytartományban a tudás egyes részeit egyesíteni kell<br /> <br /> ===10.2. Kategóriák és objektumok===<br /> * fontos az objektumok kategóriákba rendezése<br /> * a következtetése nagyrésze a kategóriák szintjén valósul meg<br /> * a kategóriák öröklődése a tudásbázis szervezését és egyszerűsítését szolgálja<br /> * az alosztáy-relációk a kategóriákat taxiómába rendezik<br /> * két kategória diszjunkt, ha nincsenek közös elemeik<br /> * partíció: diszjunkt kimerítő felosztás<br /> <br /> ====Fizikai összetétel====<br /> * az összetett objektumok kategóriáit gyakran ezen objektumok részei között értelmezett sturkturális relációkkal jellemezzük<br /> * &#039;&#039;&#039;köteg:&#039;&#039;&#039; nem strukturált objektum<br /> * &#039;&#039;&#039;logikai minimalizálás:&#039;&#039;&#039; egy objektumot bizonyos feltételeket kielégítő legkisebb objektumnak definiálunk<br /> <br /> ====Mérések====<br /> * &#039;&#039;&#039;mértékek:&#039;&#039;&#039; pl.: magasság, tömeg, ár, ...<br /> <br /> ====Szubsztanciák és objektumok====<br /> * dolog &lt;=&gt; anyag<br /> <br /> ===10.3. Cselekvések, szituációk és események===<br /> ====A szituációkalkulus ontológiája====<br /> * *cselekvések*: logikai termek<br /> * *szituációk*: logikai termek, amelyekhez tartozik egy kezdeti szituáció és minden más szituáció<br /> * *folyó események*: olyan függvények és predikátumok, amelyek szituációról szituációra változnak<br /> * &#039;&#039;&#039;időtlen, örök:&#039;&#039;&#039; predikátumok és függvények<br /> * &#039;&#039;&#039;előrevetítő feladat:&#039;&#039;&#039; egy adott cselekvéssorozat eredményének kikövetkeztetése<br /> * &#039;&#039;&#039;tervezési feladat:&#039;&#039;&#039; egy kivánatos eredményt biztosító sorozat megtalálása<br /> <br /> ====Cselekvések leírás a szituációkalkulusban====<br /> * &#039;&#039;&#039;lehetőségi axióma:&#039;&#039;&#039; mikor lehet a cselekvést elvégezni<br /> * &#039;&#039;&#039;hatásaxióma:&#039;&#039;&#039; a cselekvés végrahajtása után mit kapunk<br /> * &#039;&#039;&#039;keretprobléma:&#039;&#039;&#039; változatlanul megmaradó dolgok reprezentálása<br /> * &#039;&#039;&#039;keretaxióma:&#039;&#039;&#039; megadja mi változatlan<br /> * &#039;&#039;&#039;reprezentációs keretprobléma:&#039;&#039;&#039; úgy adjuk meg, hogy mi változatlan, hogy erre ne kelljen rengeteg axiómát generálni<br /> * &#039;&#039;&#039;következtetési keretprobléma:&#039;&#039;&#039; ne csak egy időegységenként tudjuk előreterjeszteni a változatlan dolgokat (pl. ha valamivel nem történt semmi az elmúlt 100 időegységben, akkor 1 lépésben tudjuk, mi lett vele, és ne 100-ban)<br /> * &#039;&#039;&#039;kvalifikációs probléma:&#039;&#039;&#039;<br /> <br /> ====A reprezentációs probléma megoldása====<br /> * a követő állapot axiómák a reprezentációs keretproblémát megoldják<br /> * &#039;&#039;&#039;implicit hatás:&#039;&#039;&#039; az ágens x-től z-ig való mozgásának hatása<br /> * &#039;&#039;&#039;ramifikációs probléma:&#039;&#039;&#039; implicit hatások kezelése<br /> * &#039;&#039;&#039;egyedi elnevezések axióma:&#039;&#039;&#039; kifejezi a tudásbázisban létező összes konstanspárra a konstansok azonossághiányát<br /> * &#039;&#039;&#039;egyedi elnevezések feltételezés:&#039;&#039;&#039; ha a tételbizonyító rendszer az azonossághiányát feltételezi, ahelyett hogy explicit módon a tudásbázisban ez le lenne írva<br /> <br /> ====A következtetési keretprobléma megoldása====<br /> <br /> ====Idő- és eseménykalkulus====<br /> * eseménykalkulus: a cselekvések időtartamuk és emiatti átlapolásuk szerinti kezelése<br /> <br /> ====Általánosított események====<br /> <br /> ====Folyamatok====<br /> ====Intervallumok====<br /> ====Folyó események és objektumok====<br /> <br /> ===10.4. Mentális események és mentális objektumok===<br /> ====A hiedelmek formális elmélete====<br /> ====Tudás és hiedelem====<br /> ====Tudás, idő, és cselekvés====<br /> <br /> ===10.5. Az internetes bevásárlás világ===<br /> <br /> ===10.6. Következő rendszerek kategóriák számára===<br /> ====Szemantikus hálók====<br /> ====Leíró logikák====<br /> <br /> ===10.7. Következtetés alapértelmezett információval===<br /> ====Nyitott és zárt világok====<br /> ====Negálás mint kudarc és stabil modell szemantika====<br /> ====Körülírás és alapeseti logika====<br /> ===10.8. Igazság-karbantartó rendszerek===<br /> <br /> ==Feladatok:==<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user