Event date: 2011-10-05 W dniach 5 - 7 października 2011 r. w Saarbrücken, Niemcy, odbędzie się ósme, międzynarodowe sympozjum nt. granic systemów kombinowanych. W rozmaitych obszarach informatyki, takich jak logika, obliczenia, opracowywanie i weryfikacja programów, sztuczna inteligencja, reprezentowanie wiedzy i zautomatyzowane wnioskowanie, pojawia się zapotrzebowanie na wyspecjalizowane formalizmy i mechanizmy inferencyjne do zadań specjalnych. Aby nadawały się do użytku w praktyce, owe wyspecjalizowane systemy muszą zostać ze sobą połączone i zintegrowane w ramach systemów ogólnych. Prace nad ogólnymi technikami i metodami łączenia oraz integrowania formalnie zdefiniowanych systemów specjalnych oraz nad analizą i modularyzacją złożonych systemów rozpoczęto w wielu dziedzinach. Podobnie jak w poprzednich edycjach, wydarzenie położy nacisk na te właśnie zagadnienia i działania badawcze oraz będzie propagować postęp w tej dziedzinie. Poruszone zostaną takie tematy jak: - połączenia logiki, takie jak kombinacje logiki predykatów, czasowej, modalnej czy epistemicznej; - kombinacje i modularność w ontologiach; - kombinacja procedur decyzyjnych, procedur spełnialności i technik rozwiązywania ograniczeń; - kombinacje i modularność w podstawiania terminów; - integracja teorii równań i innych teorii w systemach dedukcyjnych; - kombinacja systemów dedukcyjnych z algebrą komputerową; - integracja struktur danych z programowaniem i dedukcją logiki ograniczeń; - metody hybrydowe propagacji dedukcji, rezolucji i ograniczeń; - systemy hybrydowe w reprezentowaniu wiedzy i semantyka języka naturalnego; - logika kombinowana w systemach rozproszonych i wieloagentowych; - aspekty logiczne kombinowania oraz modularyzacji programów i specyfikacji.
Quality validation date: 2011-04-15
Ósme międzynarodowe sympozjum nt. granic systemów kombinowanych, Saarbrücken, Niemcy
