MISANU

PROGRAM

Plan rada Seminara iz veštačke inteligencije za DECEMBAR 2022.

Registraciona forma za učesće, i link na predavanje ako ste već registrovani:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Ukoliko želite samo da gledate predavanje bez mogućnosti aktivnog učešća, prenos će biti dostupan na:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz
Na ovom linku se mogu pronaci kratka uputstva na srpskom i engleskom:
https://miteam.mi.sanu.ac.rs/asset/Kc7qJtEvoMFx9MFnz

SREDA, 07.12.2022. u 19:00, Online
Filip Marić, Matematički fakultet, Univerzitet u Beogradu
ISTRAŽIVANJA GRUPE ZA AUTOMATSKO REZONOVANJE NA MATEMATIČKOM FAKULTETU U BEOGRADU
Grupa za automatsko rezonovanje (ARGO) na Matematičkom fakultetu Univerziteta u Beogradu izvodi istraživanja od 2007. godine. Osnovna polja istraživanja su automatski dokazivači teorema, SAT, SMT i CSP rešavači, rešavači i dokazivači teorema specijalizovani za geometriju, kao i formalizacija matematike i verifikacija softvera u sklopu interaktivnih dokazivača teorema. U sklopu predavanja biće dat pregled najznačajnijih rezultata naše grupe, a biće dat i kratak prikaz trenutno aktuelnih istraživanja.

SREDA, 14.12.2022. u 19:00, Online
Dragan Mašulović, Departman za matematiku i informatiku, Prirodno-matematički fakultet, Univerzitet u Novom Sadu
SUDOKU LOGIKA, DEDUCIBILNOST I GURTOVA TEOREMA O SIMETRIČNOJ POSTAVCI
Sudoku, "matematičke ukrštene reči", predstavlja jednostavnu logičku igru za jednog igrača. Cilj igre je da se tabela formata 9x9 popuni brojevima 1, 2, ..., 9 tako da se u svakoj vrsti, svakoj koloni i svakoj "3x3 kutiji" svaki od brojeva 1, 2, ..., 9 pojavi tačno jednom. Obično je zadata početna postavka u kojoj su popunjena neka od polja, pa se od igrača očekuje da popuni ostala.
Nije nikakva mudrost rešiti Sudoku mašinski: svaka strategija, od najprimitivnijeg bektreka do sputilnijih kao što su strategije zasnovane na programiranju sa ograničenjima (constraint programming) će dovesti do rešenja pošto je prostor pretrage mali. Međutim, skoro da nema javno dostupnih automatskih Sudoku rešavača koji Sudoku probleme rešavaju "prirodnim" deduktivnim strategijama, štagod to značilo.
U izlaganju će biti predstavljen jedan od najboljih javno dostupnih automatskih Sudoku rešavača čiji autor je Andrew Stuart i biće prodiskutovana njegova ograničenja.
Nakon toga će biti opisana jedna jednostavna modifikacija iskaznog računa koju predlažemo kao kandidata za "prirodan" deduktivni sistem za Sudoku. Ono što Sudoku logiku čini ne potpuno trivijalnom generalizacijom uobičajenog iskaznog računa je to što moramo da se prilagodimo činjenici da radimo u kontekstu teorije parcijalnih modela. Upotrebljivost ove jednostavne logike demonstriramo na prvom formalnom dokazu Gurtove teoreme o simetričnoj postavci, jednoj od naprednih strategija rešavanja Sudokua koju Sudoku rešavači intuitivno prihvataju.

SREDA, 21.12.2022. u 19:00, Online
Vladislav Jelisavčić, Matematički institut SANU Beograd
APPROXIMATE NEAREST NEIGHBOR SEARCH: TEORIJA I PRIMENA
Brzo pronalaženje najbližih suseda u visokodimenzionalnim prostorima je izazovan problem koji nalazi primenu u brojnim oblastima uključujući pretragu, rangiranje, kompjutersku viziju, obradu prirodnih jezika, recommender sisteme i mnoge druge. Nalaženje egzaktnih K najbližih suseda je neefikasno, zato se u praksi često koriste aproksimativne metode. U ovom izlaganju biće predstavljen pregled algoritama za aproksimativnu pretragu najbližih suseda, kao i jedna primena.
Predavanje se odlaže zbog bolesti predavača.

SREDA, 21.12.2022. u 19:00, Online
Više autora
SASTANAK AI SEMINARA POSVEĆEN DISKUSIJI O PRAVCIMA RAZVOJA I OTVORENIM PROBLEMIMA VEŠTAČKE INTELIGENCIJE
Uvodničari (po azbučnom redu):
dr Petar Veličković, DeepMind
dr Tatjana Davidović, Matematički institut SANU Beograd
dr Branislav Kisačanin, Nvidia; Institut za veštačku inteligenciju Srbije
dr Filip Marić, Matematički fakultet, Univerzitet u Beogradu
dr Zoran Ognjanović, Matematički institut SANU Beograd
dr Pavle Subotić, Microsoft
Na kraju sastanka organizovaće se razgovor o nastavku AI inicijative.

Ovaj onlajn seminar nastao je kao nastavak sastanka “Serbian AI Meeting” i zamišljen je da na njemu istraživači iz Srbije i iz dijaspore, kao i istraživači sa univerzteta, naučnih instituta i iz prakse predstavljaju naučne teme i rezultate iz oblasti veštačke inteligencije.
Link za svako pojedinačno predavanje biće dostavljen dan pre održavanja predavanja.

Andreja Tepavčević
Rukovodilac seminara