Diferencia entre revisiones de «Tecnologías»
| Línea 10: | Línea 10: | ||
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. | 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. Varios miembros del grupo de investigación son expertos en programación declarativa (PROLOG, LISP, Haskell) |
| Línea 30: | Línea 30: | ||
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. | 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 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 Metweb móvil. | ||
Revisión del 11:14 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. 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ó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 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 Metweb móvil.
