témavezető: Mihálydeák Tamás
helyszín (magyar oldal): Debreceni Egyetem Informatikai Kar helyszín rövidítés: DE IK
A kutatási téma leírása:
Az életlen halmazok elmélete Pawlak munkásságával kezdődött. A fő probléma a következő volt: egy adott információs rendszerben (adatbázisban) bizonyos objektumokat nem lehet megkülönböztetni, hiszen ugyanazon információkkal rendelkezünk róluk. Ezeket a megkülönböztethetetlen objektumokat azonos módon kell használni, így ők vagy elemei vagy nem elemei egy adott halmaznak. Mit mondhatunk akkor, ha két megkülönböztethetetlen objektum közül az egyik eleme míg a másik nem eleme egy adott halmaznak? Ha az információs rendszerbe beépülő megkülönböztethetetlenségi relációt figyelembe vesszük, akkor egy adott halmaz alsó és felső közelítése is megjelenik, és az objektumokra vonatkozó bármely döntésnél ezeket a közelítéseket kell használni.
Az életlen halmazok klasszikus elméletének létezik néhány fontos általánosítása (lefedő rendszerek, általános approximációs terek), az elméletet, illetve ennek általánosításait számos különböző területen alkalmazták az utóbbi három évtizedben.
Logikai szempontból a következő kérdés kiemelkedő fontosságú: Mit mondhatunk az érvényes logikai következtetésekről ha a halmazok különböző közelítéseire támaszkodunk (ahelyett, hogy magukra a halmazokra támaszkodnánk)? A téma középpontjában az életlen halmazok különböző elméleteire támaszkodó logikai rendszerek valamint ezek alkalmazásai állnak.
Irodalom:
James F. Peters, Andrzej Skowron: Transactions on Rough Sets (I.-XVII.) Lecture Notes in Computer Science, Springer, 2004-2014
ajánlott nyelvtudás (magyar oldal): angol felvehető hallgatók száma: 1
Bejelentkezés
