Informatikai modellépítés interaktív támogatása
Bármely informatikai rendszer kidolgozásának első lépcsője az alkalmazást befoglaló környezet megismerése és a felhasználói követelmények felmérése. Tipikusan mind a környezetről, mind pedig a követelményekről szóló információ csak a végfelhasználónál létezik, gyakran egyáltalán nem dokumentált formában. Ezen rejtett informális tudás kinyerése és egzakt megfogalmazása egyike a legnehezebb feladatoknak. A dolgozat ezért olyan módszereket keres, amelyek könnyen érthetőek azért, hogy a rendszertervező interaktívan feltárhassa az esetenként nem informatikus végfelhasználó tudását, ugyanakkor lehetőséget teremt arra, hogy a modellvezérelt tervezés által megkívánt szabatosságú, induló modell jöhessen létre.
A dolgozat a tárgyterületi szakértő végfelhasználó és a rendszertervező közötti kommunikációs szakadék áthidalására keres megoldást.
A tárgyterületi szakértő rendszertervezési szaktudás hiányában nem tud pontos, szabatos specifikációt adni a rendszertervező számára. A rendszertervező pedig tárgyterületi szaktudás hiányában nem tudja szakmailag megállapítani a rendszer helyes működésének követelményeit.
A dolgozat bemutatja, hogy a tárgyterületi szakértő tudásából milyen technológiák és eszközök használatával lehet szabatos, a rendszertervező és a tárgyterületi szakértő által egyaránt ellenőrizhető formális specifikációt kinyerni.
A tudás kinyeréshez leggyakrabban használt vizuális tudásbázis építő eszköz a gondolattérkép (mind map) és a fogalomtérkép (concept map). A grafikusan felépített tudásbázis esetén fontos szempont a formális környezetbe történő átvezetés lehetősége, ezáltal egy formalizált, tudásbázis jön létre, amelyen ellenőrizhető többek között az ellentmondás-mentesség, vagy a teljesség is. A dolgozatban a formális környezetet az ontológia biztosítja.
A feladat megvalósításának fő alkotóeleme az ontológia és a szemantikus tudásbázis közötti kapcsolat meghatározása, vagyis annak a vizsgálata, hogy a grafikusan felépített tudásbázis jelentése garantáltan megegyezik-e a grafikus tudásbázisból generált ontológiában szereplő tudásbázis jelentésével.
A TDK dolgozat az informális és formális technológiák segítségével felépített tudásbázisok egyezőségét vizsgálja, valamint bemutatja a szemantikus tudásbázis és az ontológia közötti leképezés lehetőségét, és belátja a leképezés helyességét, vagyis azt, hogy az informálisan felírt tartalom jelentése azonos a formálisan felírt tartalommal.
szerző
-
Tasi Katalin
mérnök informatikus
nappali
konzulens
-
Dr. Pataricza András
egyetemi tanár, Mesterséges Intelligencia és Rendszertervezés Tanszék
