Ósme międzynarodowe sympozjum nt. granic systemów kombinowanych, Saarbrücken, Niemcy
5 Października 2011 - 5 Października 2011
Niemcy
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.Więcej informacji: http://www.mpi-inf.mpg.de/conferences/frocos2011/(odnośnik otworzy się w nowym oknie)
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.Więcej informacji: http://www.mpi-inf.mpg.de/conferences/frocos2011/(odnośnik otworzy się w nowym oknie)