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.
Objavljeno: 16.10.2018
Unutar kategorije: Obrazovanje
VoD paketi: