ARGO seminar, 27. decembar 2018.

Naredni sastanak Seminara biće održan u četvrtak, 27. decembra 2018. u sali 718 Matematičkog fakulteta sa početkom u 18:15.

Predavač: Petar Vukmirović, Univerzitet u Amsterdamu.

Naslov predavanja: PROŠIRIVANjE DOKAZIVAČA LOGIKE PRVOG REDA NA LOGIKU VIŠEG REDA

Apstrakt: Decenije rada su uložene u razvijanje efikasnih računa, struktura podataka, algoritama i heuristika za automatske dokazivače za logiku prvog reda. Dokazivači za logike višeg reda zaostaju u pogledu efikasnosti. Rad koji predstavljam prikazuje implementaciju dokazivača za logiku višeg reda baziranog na vrlo napredom superpozicionom dokazivaču E. Ovaj red objašnjava jedan način na koji se prilagodjavaju strukture podataka, algoritmi i heuristike kako bi se podržala logika višeg reda bez lambda izraza, formalizam koji podržava parcijalnu aplikaciju i primenjene promenljive. Naš pristup pokazuje dve bitne prednosti u odnosu na razvoj dokazivača za logiku višeg reda ispočetka: zadržavamo visoke performanse dokazivača za logiku prvog reda i uspevamo da rešimo i do 15% više problema u odnosu na tradicionalne pristupe zasnovane na prevođenju u logiku prvog reda. Logika višeg reda bez lambda izraza predstavlja prvi korak ka proširenjima na druge logike višeg reda.

Detaljnije informacije se mogu pronaći na:
http://argo.matf.bg.ac.rs/?content=seminar_sr_lat
http://computing.matf.bg.ac.rs


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.