Seminar iz veštačke inteligencije, 11. maj 2022.

Naredni sastanak Seminara biće održan onlajn u sredu, 11. maja 2022, od 19-20 časova.

Predavač: Tatjana Stojanović, Prirodno-matematički fakultet, Univerzitet u Kragujevcu

Naslov predavanja: AUTOMATSKO NESIGURNO I NEMONOTONO ZAKLjUČIVANjE

Apstrakt:
U predavanju će biti dat prikaz dosadašnjih rezultata dobijenih primenom metaheurističkih metoda u automatskim dokazivačima za logike koje podržavaju nesigurno i nemonotono zaključivanje. Biće predstavljena verovatnosna logika sa realno-vrednosnim operatorom verovatnoće i logika sa uslovnim verovatnosnim operatorom sa verovatnoćama iz Hardijevog polja brojeva, koja omogućava modelovanje difoltnih iskaza sistema P (System P).
Problemi ispitivanja zadovoljivosti u pomenutim sistemima označeni su sa PSAT, CPSAT i DefSAT. Za sve pomenute logičke sisteme generisani su primeri velikih dimenzija na kojima je testirana  Optimizacija kolonijom pčela (Bee Colony Optimization – BCO). BCO metoda je poređena sa Metodom promenljivih okolina (Variable Neighborhood Search – VNS), Simpleks metodom (Simplex method) i Metodom eliminacije Furije-Mockin (Fourier–Motzkin elimination procedure - FME), pri čemu je pokazala dobre rezultate u smislu uspešnosti i vremena izvršavanja.

Napomena: Registraciona forma za učešće je dostupna na linku:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Ukoliko želite samo da pratite predavanje bez mogućnosti aktivnog učešća, prenos je dostupan na linku:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.