Diferencia entre revisiones de «Tecnologías»
Línea 3: | Línea 3: | ||
La oferta tecnológica del grupo se enmarca en los siguientes puntos: | La oferta tecnológica del grupo se enmarca en los siguientes puntos: | ||
* Inteligencia Artificial. | * 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. | * 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. | * 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. | * 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. | * 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). | * 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. | * 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. | * Web semántica. | ||
* Metaweb. | * Metaweb. |
Revisión del 11:09 21 oct 2008
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.