Seminar za matematičku logiku i osnove matematike i Seminar za teorijsko računarstvo

Lokacija: 
PMF Matematički odsjek
Vrijeme: 
Četvrtak, 11 Listopad, 2018 - 18:00

Na Seminaru za matematičku logiku i osnove matematike i Seminaru za teorijsko računarstvo, iznimno u četvrtak 11. listopada 2018. u 18 sati, u predavaonici 105, PMF-MO, Ivan Gavran (Max Planck, Kaiserslautern) će održati predavanje

Učenje temporalnih formula iz primjera
 
Sažetak: Na seminaru ću predstaviti dvije metode za učenje temporalnih formula iz primjera. 
Prva iz pozitivnih i negativnih primjera (P i N), koristeći SAT-solver, izvodi minimalnu formulu konzistentnu s njima (koja razdvaja pozitivne od negativnih primjera). 
Druga koristi prvu tako što nauči minimalne formule koje razdvajaju neke podskupove skupova P i N i zatim ih koristi kao propozicije odluke u decision tree algoritmu. 
Drugu najčešće koristimo kada je podataka previše i prva metoda ih ne može probaviti. 
Detalji su opisani u radu Learning Linear Temporal Properties.
 

Predavanje se može pratiti i on-line na sljedećoj adresi: https://meduza.carnet.hr/index.php/media/watch/11640.

Go to top