Seminar iz veštačke inteligencije, 2. jun 2021.

Naredni sastanak Seminara biće održan onlajn u sredu, 2. juna 2021. od 19 do 20 časova.

Predavač: dr Branimir Šešelja, redovni profesor u penziji, Prirodno-matematički fakultet, Univerzitet u Novom Sadu

Naslov predavanja: OMEGA STRUKTURE

Apstrakt: Tema izlaganja su algebarske strukture koje modeliraju pojedine neklasične polivalentne logike:  analogne su Bulovim algebrama u klasičnoj logici. Uopštena je klasična jednakost, pa se pripadnost kolekciji i jednakost objekata vrednuju stepenasto. Osnovni pojam je Omega skup, uveden u drugoj polovini i krajem XX veka (Fourman, Scott, Borceux, Cruciani) s osnovnom namerom da se modelira intuicionistička logika i rešavaju problemi u Teoriji skupova. Omega je Heyting-ova algebra (mreža), a pripadnosti objekata Omega skupu i njihove srodnosti razlikuju se, što definiše pridružena uopštena jednakost, tj. posebna funkcija sa vrednostima iz Omega. U daljim istraživanjima Omega skupovi su snabdeveni operacijama i relacijama, pa se ispituju Omega grupe, Omega kvazigrupe, Omega mreže...

Zakoni (posebno identiteti) u takvim strukturama zavise od te jednakosti, pa mogu dobro da modeliraju situacije u kojima nema dovoljno podataka, u kojima se ne mogu primeniti striktna pravila računanja, ili je došlo do grešaka u prikupljanju tih podataka. Dokazano je da se ove oslabljene strukture mogu ispitivati kolekcijama klasičnih količničkih struktura, posebnim sistemima zatvaranja na pridruženoj mreži podstruktura. Pokazaćemo da se sa dovoljnom pouzdanošću mogu rešavati jednačine i kada nema jednoznačnih ili nema nikakvih rešenja u klasičnom smislu; uspostavićemo mrežni (dakle pravilan) poredak i kada je uporedivost nejasna. Pored navedenih primena, ukazaćemo i na druge. Heyting-ova algebra je posebna reziduirana mreža, pa se Omega strukturama može modelirati rasplinuta (fuzzy) logika (Hohle) i razni sistemi upravljanja (controllers). Dalje primene moguće su u bazama podataka, sistemima zasnovanim na znanju (knowledge based systems), dubinskom istraživanju podataka (data mining), ASP (answer set programming)...

U izlaganje su uključeni rezultati na kojima su radili i A. Tepavčević, A. Krapež, V. i B. Budimirović, J. Jovanović, E.E. Edeghaba i O.S.A. Bleblou.
Registraciona forma za učešće na Seminaru je dostupna na:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Prenos seminara je dostupan i registrovanim i neregistrovanim korisnicima na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.