X Congreso internacional sobre inteligencia artificial y computación simbólica en París (Francia)
La inteligencia artificial y la computación simbólica constituyen dos perspectivas y enfoques para la resolución automática de problemas. Se basan en la heurística y en algoritmos matemáticos, por lo que resultan de especial interés para la resolución de problemas numéricos. El uso combinado de la inteligencia artificial y la computación simbólica da lugar a un gran número de retos, ideas, aportaciones teóricas y resultados.
Pese a que requieren un nivel avanzado de tecnología de software y diseño de sistemas, es posible obtener un amplio espectro de aplicaciones gracias a la capacidad de resolución de problemas que ofrece la unión de estos campos.
Durante el congreso se tratarán estos y otros temas:
- La inteligencia artificial en la computación matemática simbólica;
- Sistemas geográficos informáticos y resolución automática de teoremas;
- Simetrías en los problemas de la inteligencia artificial;
- Aplicaciones en la ingeniería, la industria y la investigación de operaciones;
- Fundamentos y complejidad de la computación simbólica;
- Modelización matemática de sistemas multiagente;
- Aplicaciones prácticas de sistemas de computación simbólica;
- Lenguajes de programación para computación simbólica;
- La computación simbólica aplicada a los sistemas expertos y el aprendizaje automático;
- Computación simbólica y ontologías;
- Computación lógica y simbólica;
- Cuestiones de aplicación práctica y rendimiento;
- Interfaces inteligentes;
- Técnicas simbólicas de análisis de documentos.Para más información, consulte:
http://cicm2010.cnam.fr/aisc/index.html(se abrirá en una nueva ventana)