Pierwsze warsztaty nt. wnioskowania z ograniczeniami i struktur graficznych, St Andrews, Wlk. Brytania
Główny nacisk zostanie położony na wykorzystanie metodologii graficznych do aktywowania właściwości strukturalnych modeli ograniczonych wykorzystywanych w szerokim spektrum zadań. Mogą one obejmować propagację ograniczeń, liczenie rozwiązań, wnioskowanie z miękkimi ograniczeniami i preferencjami, interferencję w niepewności i konfigurację.
Struktury graficzne przyczyniły się do rozwiązania wielu problemów trudnych pod względem obliczeniowym. Dotyczy to zwłaszcza problemów związanych ze wspomaganiem procesów decyzyjnych. Na przykład kwestie probabilistycznego wnioskowania czy konfiguracji zostały rozwiązane poprzez kompilację modeli w odwzorowania graficzne wydajne obliczeniowo.
Te same struktury graficzne znajdują coraz szersze zastosowanie w klasycznym kontekście programowania z ograniczeniami, tj. do poprawiania wydajności wyszukiwania dopuszczalnych czy też optymalnych rozwiązań.
Warsztaty odbędą się w tym samym miejscu i czasie, co międzynarodowa konferencja nt. zasad i praktyki programowania z ograniczeniami.Więcej informacji:
http://www.4c.ucc.ie/cp-graphical-ws-2010/(odnośnik otworzy się w nowym oknie)