Tecnologías

El grupo de investigación trabaja en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0, ontologías y web semántica.

La oferta tecnológica del grupo se enmarca en los siguientes puntos:

• Inteligencia Artificial.

El grupo de investigación imparte la docencia relativa al área en la Ingeniería Superior en Informática (U. de Sevilla)

• Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos.

Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS.

• Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional.

• Construcción de sistemas expertos aplicados a entornos industriales.

Recientemente se ha realizado un proyecto/contrato con el IAT para monitorizar, mediante un sistema experto (usando CLIPS) máquinas industriales.

• Estudio y aplicación de sistemas de representación del conocimiento y razonamiento.

La línea de representación del conocimiento y razonamiento es una de las líneas principales del grupo.

• Aplicación de técnicas de Inteligencia Artificial a la web social (web 2.0).

Recientemente hemos abierto una nueva línea de investigación consistente en la aplicaciónd de técnicas de IA para el análisis y desarrollo de aplicaciones Web 2.0

• Técnicas de revisión semántica de ontologías.

Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías.

• Web semántica.
• Metaweb.