témavezető: Dombi József
helyszín (magyar oldal): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1. helyszín rövidítés: MatDI
A kutatási téma leírása:
A Lukasiewicz-típusú operátorokat a rendezett algebrai félcsoportokra vonatkozó reprezentációs tétel alapján nyerhetjük. Az ilyen műveletek logikai szempontból nagyon jó tulajdonságúak. Létezik az ellentmondás és a kizárt harmadik törvénye. Az implikáció eleget tesz az azonosság elvének. A kiterjesztett és a reziduális implikáció megegyezik. Fontos és hasznos lenne az ilyen logikák tulajdonságainak teljes feltárása. De-Morgan azonosság, az ellentmondás és a kizárt harmadik törvénye negációval megfogalmazottak. Megvizsgálandó, hogy a negációra milyen megfontolások érvényesek. Lehetséges-e, hogy több vagy akár végtelen sok negációesetén is érvényesek a fenti azonosságok?
Alkalmazás szempontjából neurális hálózatok csomópontjainak választva a műveleteket hatékony tanulóalgoritmusok lennének kivitelezhetőek. A folytonosan differenciálható approximáció megvalósításával gyakorlati alkalmazások hatékonyan valósíthatók meg.
Kutatási célok:
• Lukasiewicz-típusú operátorok tulajdonságainak vizsgálata.
• Logikai rendszerben való következtetések meghatározása.
• Lukasiewicz-típusú operátorok approximációja analitikus függvények segítségével.
• Neurális hálókba való alkalmazás kidolgozása.
Irodalom:
• Fuchs László: Note on fully ordered semigroups
• Aczél János: Lectures on Functional Equations and Applications
• E.P.Klement, R. Mesiar, E. Pap: Triangular norms
• D. Dubois, H. Prade: Fundamentals of fuzzy sets
felvehető hallgatók száma: 1
Jelentkezési határidő: 2016-11-30
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Bejelentkezés
