Diferencia entre revisiones de «Tecnologías»
| (No se muestran 8 ediciones intermedias de otro usuario) | |||
| Línea 1: | Línea 1: | ||
| − | El grupo | + | El grupo 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 | + | 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 en PVS 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 == | ||
| + | Miembros del grupo son especialistas en el desarrollo de sistemas expertos. 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 [http://doctorado.cs.us.es/web/ "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. | ||
Revisión actual del 08:33 22 oct 2008
El grupo 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:
Sumario
- 1 Inteligencia Artificial
- 2 Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos
- 3 Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional
- 4 Construcción de sistemas expertos aplicados a entornos industriales
- 5 Estudio y aplicación de sistemas de representación del conocimiento y razonamiento
- 6 Aplicación de técnicas de Inteligencia Artificial a la web social (web 2.0)
- 7 Técnicas de revisión semántica de ontologías
- 8 Web semántica y Metaweb
- 9 Oferta de formació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 en PVS 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
Miembros del grupo son especialistas en el desarrollo de sistemas expertos. 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.
