Učitavanje video playera...
00:43:30
Ivan Gavran: Učenje temporalnih formula iz primjera
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.
