16. spotkanie MLGdańsk – abdukcyjne programowanie logiczne / Answer Set Programming

16. spotkanie grupy odbyło się 20 marca 2017 na Politechnice Gdańskiej.

Tym razem prelegentem był Robert Różański. Opowiedział nam o swojej pracy doktorskiej pod tytułem „Automatyzacja badań nad metabolizmem przy użyciu abdukcyjnego programowania logicznego”, którą zrealizował na University of Manchaster. Mieliśmy okazję usłyszeć o założeniach pracy, zaprojektowanym systemie i wynikach.

Robert wykorzystał podejście abdukcyjnego programowania logicznego, które zrealizował za pomocą Answer Set Programming. Ten paradygmat programowania jest szczególnie użyteczny w problemach przeszukiwania. Na spotkaniu zapoznaliśmy się z podstawami rozumowania i programowania w zgodzie z tą metodą oraz narzędziami gringo i clasp.

Następne spotkanie odbędzie się 3 kwietnia, jednym z tematów będzie omówienie algorytmu Google’a dla Alpha Go. Serdecznie zapraszamy!