«Razonamiento automatizado sobre evolución de ontologías y contextos» en Barcelona (España)
Los métodos de razonamiento automatizado han resuelto una gran cantidad de problemas en informática mediante el empleo de ontologías formales expresadas mediante lenguajes lógicos. Durante años, cada problema o tipo de problemas precisaba de una ontología distinta y en ocasiones de una versión distinta de lógica. El proceso de diseñar, controlar y mantener una ontología y sus distintas versiones ha resultado ser inherentemente complejo.
Esta situación ha generado una cantidad importante de investigación sobre cómo relacionar entre sí las ontologías. Las motivaciones han sido por lo menos tres independientes:
- definir la relación entre una ontología y su contexto;
- prestar apoyo a los ingenieros de ontologías;
- mejorar la solución de problemas y la comunicación entre agentes de software.
El evento reunirá a investigadores y profesionales de ámbitos clave de la inteligencia artificial (representación de conocimiento, razonamiento, contextos y ontologías) y disciplinas relacionadas para debatir una amplia gama de problemas y resultados de investigación en el ámbito de la evolución de ontologías y contextos.Para más información, consulte: http://www.arcoe.org/2011/(se abrirá en una nueva ventana)