Dixième conférence internationale sur l'intelligence artificielle et le calcul symbolique à Paris, en France

La dixième édition de la conférence internationale sur l'intelligence artificielle et le calcul symbolique se déroulera les 5 et 6 juillet 2010 à Paris, en France.

L'intelligence artificielle (IA) et le calcul symbolique (SC - symbolic computation) sont deux visions et approches pour la résolution automatique de problèmes. Ils sont basés sur l'heuristique et les algorithmes mathématiques, ce qui les rend intéressants pour la résolution mathématique de problèmes. La double utilisation de l'IA et du SC mène à un grand nombre de défis, d'idées, d'informations théoriques et de résultats.

Alors que les technologies de logiciels avancées et de conception de système sont nécessaires, un grand spectre d'applications sont possibles grâce au pouvoir combiné de résolution de problèmes des deux domaines.

Les thèmes couverts au cours de la conférence comprennent:
- l'IA dans le calcul mathématique symbolique;
- les systèmes informatiques d'algèbre et la démonstration automatique de théorèmes;
- les symétries dans les problèmes d'IA;
- l'ingénierie, les applications industrielles et de recherche sur les opérations;
- les fondements et la complexité du calcul symbolique;
- la modélisation mathématique des systèmes à agents multiples;
- les implémentations de systèmes de calcul symbolique;
- les langages de programmation pour le calcul symbolique;
- le calcul symbolique pour les systèmes d'experts et l'apprentissage automatique;
- le calcul symbolique et les ontologies;
- la logique et le calcul symbolique;
- l'implémentation et les questions de performance;
- les interfaces intelligentes;
- les techniques symboliques pour l'analyse de documents.Pour de plus amples informations, consulter:
http://cicm2010.cnam.fr/aisc/index.html(s’ouvre dans une nouvelle fenêtre)