Dziesiąta międzynarodowa konferencja nt. sztucznej inteligencji i obliczeń symbolicznych, Paryż, Francja

W dniach 5-6 lipca 2010 r. w Paryżu, Francja, odbędzie się dziesiąta międzynarodowa konferencja nt. sztucznej inteligencji i obliczeń symbolicznych.

Sztuczna inteligencja (AI) i obliczenia symboliczne (SC) to dwie perspektywy i podejścia do automatyzacji rozwiązywania problemów. Opierają się one na heurystyce i algorytmach matematycznych, przez co są szczególnie interesujące pod kątem rozwiązywania problemów matematycznych. Połączone wykorzystanie sztucznej inteligencji i obliczeń symbolicznych przekłada się na bogactwo wyzwań, pomysłów, teorii i wyników.

Podczas gdy niezbędne są zaawansowane technologie programistyczne i systemy, to istnieje szerokie spektrum możliwych zastosowań dzięki połączeniu mocy tych dwóch dziedzin w rozwiązywaniu problemów.

W czasie konferencji poruszone zostaną następujące tematy:
- AI w symbolicznych obliczeniach matematycznych;
- komputerowe systemy algebraiczne i automatyczne dowodzenie twierdzeń;
- symetrie w problemach AI;
- inżynieryjne, przemysłowe i operacyjne aplikacje badawcze;
- podstawy i złożoność obliczeń symbolicznych;
- modelowanie matematyczne systemów wieloagentowych;
- realizacje systemów obliczeń symbolicznych;
- języki programowania na potrzeby obliczeń symbolicznych;
- obliczenia symboliczne na potrzeby systemów ekspertowych i maszynowego uczenia się;
- obliczenia symboliczne i ontologie;
- obliczenia logiczne i symboliczne;
- wdrożenie i problemy wydajnościowe;
- inteligentne interfejsy;
- techniki symboliczne w analizie dokumentów.Więcej informacji:
http://cicm2010.cnam.fr/aisc/index.html(odnośnik otworzy się w nowym oknie)