- Adatbázisok felépítésének, működésének alapvető ismerete

- Alapszintű halmazelméleti és algebrai ismeretek

A tudásmenedzsment alapvetően két fontos részegységből tevődik össze: a világmodellezés kérdéséből és a hozzá kapcsolódó adattárolási eljárások halmazából. Míg a világmodellezés az emberi gondolkodáshoz közel álló gépi feldolgozásra alkalmas módszertan, mesterséges nyelv, addig az adattárolás a világmodell nézetén keresztül látható rekordmenedzsmentet jelenti. Nem véletlen, hogy a világmodellezés sokszor magában foglalja az ember-gép interfészkapcsolatokat is. A rendszer jósága, a tárolt és rejtett információk felszínre hozása, a felhasználóbarátsága döntően a világmodell felépítésétől függ.

A tárgy célja a tudásmenedzsment létező nyelvi és gyakorlati technológiáinak, adottságainak a bemutatása, ismertetése.

1. Fogalmi rendszerek: adat, információ, ismeret, tudás. Az igazság és hétköznapi vetületei. Rejtett és adott, valós és fiktív tények, állítások, modellek.
2. Elsőrendű matematikai logika
3. • Individuum, operátor, állítás, reláció, funktor fogalmai. Alapvető problémák, zárt világ, zárt értelmezési tartomány, egyediségi feltevések.
   • Számíthatóság kérdései és korlátai: a Gödel-teljesség, a Church tézis.
4. Következtetés alapú tudáskörnyezetek, deduktív adatbázisok
5. • Relációs adatbázisok: a sor- és az oszlopkalkulus.
   • A Datalog elve és működése. Rétegelhetőség, optimalizálás.
   • A Datalog kiterjesztése, rekurzió, negáció, függvények, összetett adatstruktúrák, részleges és tökéletes modellek.
   • Modellelméleti és bizonyításelméleti adatbázisok közötti különbségek.
6. Leíró logikán alapuló adatbázisok
7. • Fogalom, szerep, anomáliák és megközelítések.
   • A DAML+OIL.
   • Számíthatósági kérdések, SHIQ-számíthatóság.
   • Web és ontológia. A leíró logikai lehetőségei.
8. Web mint tudásforrás

• XML, RDF és a relációs adatbázisok viszonya
• Szemantikus háló (Semantic Web)
• Mélyháló (Deep Web)

1. Elsőrendű tudáskörnyezetek kiterjesztései
2. • Az igazságok árnyalásának lehetőségei. Valószínűségi modellek.
   • Lokálisan érvényes szabályok rendszere
   • Kényszer alapú rendszerek
3. Objektumorientált modellek
4. • Objektum, osztály, típus. Öröklés, asszociáció
   • Logikai felépítés. Az F-logika.
   • Objektumorientált világ és az ontológia viszonya
5. Lehetőségek és törvényszerűségek ábrázolása
6. • Modalitások
   • A Kripke-szemantika, gráfok logikája
   • Temporális logika és alkalmazásai
   • Kérdések logikája és az információ-visszakeresés.
7. Időfüggő adatbázisok
8. • Tranzakciók, aktív adatbázisok. ECA-modell.

2 előadás + 2 gyakorlat

3. A vizsgaidőszakban: szóbeli vizsga
4. Elővizsga: van

Előre egyeztetett időpontban bármikor.

Zs. T. Kardkovács. Tudásmenedzsment. (előkészületben)

E. Franconi. Description Logics. http://www.cs.man.ac.uk/~franconi/dl/course/

A. Voronkov. Deductive Databases. http://user.it.uu.se/~voronkov/ddb.htm

M. Kifer, J. Wu, G. Lausen. Logical Foundations of Object-Oriented and Frame-based Languages. ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic.ps.Z

J. Bonner, M. Kifer. Transaction Logic Programming.

ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/transaction-logic.ps.Z

(a tantárgyhoz tartozó tanulmányi idő körülbelüli felosztása a tanórák, továbbá a házi feladatok és a zárthelyik között (a felkészülésre, ill. a kidolgozásra átlagosan fordítandó/elvárható idők félévi munkaórában, kredit x 30 óra, pl. 5 kredit esetén 150 óra)):