10º Conferenza internazionale sull'intelligenza artificiale e l'elaborazione simbolica, Parigi, Francia

Il 5 e 6 luglio 2010 si terrà a Parigi (Francia) la decima conferenza internazionale sull'intelligenza artificiale e l'elaborazione simbolica.

L'intelligenza artificiale (IA) e l'elaborazione simbolica (ES) sono due visioni e metodi per la risoluzione automatica dei problemi. Si basano sull'euristica e su algoritmi matematici, il che rende questi metodi particolarmente interessanti per la risoluzione dei problemi matematici. L'uso combinato di intelligenza artificiale ed elaborazione simbolica porta a una serie di sfide, idee, informazioni teoriche e risultati.

Sebbene siano necessarie tecnologie software e progettazione dei sistemi avanzati, esiste un ampio spettro di applicazioni possibili per il potere combinato di risoluzione dei problemi dei due campi.

Gli argomenti che saranno affrontati durante la conferenza includono:
- IA nell'elaborazione simbolica matematica,
- sistemi di algebra informatica e dimostrazione di teoremi automatica,
- simmetrie nei problemi di IA,
- applicazioni nel campo ingegneristico, industriale e della ricerca,
- fondamenti e complessità dell'elaborazione simbolica,
- creazione di modelli matematici di sistemi multiagente,
- implementazioni dei sistemi di elaborazione simbolica,
- linguaggi di programmazione per l'elaborazione simbolica,
- elaborazione simbolica per sistemi esperti e apprendimento automatico,
- elaborazione simbolica e ontologie,
- logica ed elaborazione simbolica,
- questioni di implementazione e rendimento,
- interfacce intelligenti,
- tecniche simboliche per l'analisi dei documenti.Per ulteriori informazioni, visitare:
http://cicm2010.cnam.fr/aisc/index.html(si apre in una nuova finestra)