Tecnologías

El grupo de investigación trabaja tanto en investigación como 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 líneas de actuación:

• 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. Uno de los últimos resultados ha sido la primera verificación formal obtenida para una lógica descriptiva (que es el sustrato lógico de los lenguajes para ontologías de la Web Semántica).

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

Varios miembros del grupo de investigación son expertos en programación declarativa (PROLOG, LISP, Haskell)

• 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ón 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. En este campo, el interés del grupo se centra en la accesibilidad semántica (interfaces socialmente inteligentes, razonamiento débil con ontologías, etc.)

• Web semántica y Metaweb

Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metaweb móvil. Estamos especialmente interesados en la aplicabilidad de sistemas multiagente para la facilitar el tratamiento del conocimiento por parte de los usuarios.

• Oferta de formación

El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado "Lógica, Computación e Inteligencia Artificial" posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas y ha formado alumnos tanto de la UE como de Iberoamérica.