Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
(→Seminarios) |
(→Seminario del 18 de Marzo de 2010) |
||
Línea 7: | Línea 7: | ||
== Sesiones previstas del seminario y anteriores == | == Sesiones previstas del seminario y anteriores == | ||
+ | |||
+ | === Seminario del 18 de Mayo de 2010 === | ||
+ | * '''Título:''' ''JADE: Una plataforma para sistemas multiagente (II)'' | ||
+ | * '''Ponente:''' ''Gonzalo A. Aranda Corral, Universidad de Huelva. Departmento de Tecnologías de la Información.'' | ||
+ | * '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial. | ||
+ | * '''Hora:''' De 12:00 a 14:00. | ||
+ | * '''Resumen:''' En esta continuación del seminario anterior se presentarán ejemplos de programación en JADE de sistemas multiagente | ||
+ | |||
+ | ---- | ||
+ | |||
+ | === Seminario del 11 de Mayo de 2010 === | ||
+ | * '''Título:''' ''JADE: Una plataforma para sistemas multiagente (I)'' | ||
+ | * '''Ponente:''' ''Gonzalo A. Aranda Corral, Universidad de Huelva. Departmento de Tecnologías de la Información.'' | ||
+ | * '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial. | ||
+ | * '''Hora:''' De 12:00 a 14:00. | ||
+ | * '''Resumen:''' Se introducirá la plataforma JADE como herramienta para la programación de sistemas multiagente | ||
+ | ---- | ||
=== Seminario del 18 de Marzo de 2010 === | === Seminario del 18 de Marzo de 2010 === |
Revisión del 11:06 7 jun 2010
Los Seminarios del Grupo de Lógica Computacional se celebrarán, salvo excepciones, los miércoles de 12:30 a 13:30 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.
- UNIVERSIDAD DE SEVILLA. VICERRECTORADO DE RELACIONES INSTITUCIONALES
- Las actividades de este seminario han sido financiadas parcialmente con una ayuda de Extensión universitaria de la Universidad de Sevilla
Sumario
- 1 Sesiones previstas del seminario y anteriores
- 1.1 Seminario del 18 de Mayo de 2010
- 1.2 Seminario del 11 de Mayo de 2010
- 1.3 Seminario del 18 de Marzo de 2010
- 1.4 Seminario del 11 de Marzo de 2010
- 1.5 Seminario del 4 de Marzo de 2010
- 1.6 Seminario del 25 de Febrero de 2010
- 1.7 Seminario del 11 de Febrero de 2010
- 1.8 Seminario del 19 de Noviembre de 2009
- 1.9 Seminario del 12 de Noviembre de 2009
- 1.10 Seminario del 9 de Noviembre de 2009
- 1.11 Seminario del 5 de Noviembre de 2009
- 1.12 Seminario del 29 de Octubre de 2009
- 1.13 Seminario del 22 de Octubre de 2009
- 1.14 Seminario del 20 de Mayo de 2009
- 1.15 Seminario del 13 de Mayo de 2009
- 1.16 Seminario del 22 de Abril de 2009
- 1.17 Seminario del 25 de Marzo de 2009
- 1.18 Seminario del 18 de Marzo de 2009
- 1.19 Seminario del 25 de Febrero de 2009
- 1.20 Seminario del 3 de Diciembre de 2008
- 1.21 Seminario del 26 de Noviembre de 2008
- 1.22 Seminario del 19 de Noviembre de 2008
- 1.23 Seminario del 12 de Noviembre de 2008
- 1.24 Seminario del 5 de Noviembre de 2008
- 1.25 Seminario del 29 de Octubre de 2008
- 1.26 Seminario del 15 de Octubre de 2008
- 2 Seminarios anteriores
- 3 Material de interés para el Seminario del GLC
Sesiones previstas del seminario y anteriores
Seminario del 18 de Mayo de 2010
- Título: JADE: Una plataforma para sistemas multiagente (II)
- Ponente: Gonzalo A. Aranda Corral, Universidad de Huelva. Departmento de Tecnologías de la Información.
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 12:00 a 14:00.
- Resumen: En esta continuación del seminario anterior se presentarán ejemplos de programación en JADE de sistemas multiagente
Seminario del 11 de Mayo de 2010
- Título: JADE: Una plataforma para sistemas multiagente (I)
- Ponente: Gonzalo A. Aranda Corral, Universidad de Huelva. Departmento de Tecnologías de la Información.
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 12:00 a 14:00.
- Resumen: Se introducirá la plataforma JADE como herramienta para la programación de sistemas multiagente
Seminario del 18 de Marzo de 2010
- Título: Objetos digitales educativos
- Ponente: Jesús Peñas Cano (Instituto online de Andalucía)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 18:30 a 20:30.
- Resumen: Se introducirá el concepto de "objeto digital educativo", su especificación, estándares, propiedades principales, arquitectura, propiedades de agregación, etc.
Seminario del 11 de Marzo de 2010
- Título: Diferentes usos de las TIC en el área de matemáticas (II)
- Ponente: José Muñoz Santoja (Instituto online de Andalucía)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 18:30 a 20:30.
- Resumen: En la charla se tratará la integración de competencias en tareas matemáticas así como en la formalización y desarrollo de documentación asociada.
Seminario del 4 de Marzo de 2010
- Título: Diferentes usos de las TIC en el área de matemáticas (I)
- Ponente: Jesús Fernández Domínguez (Instituto online de Andalucía)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 18:30 a 20:30.
- Resumen: En la charla se tratarán las nuevas herramientas TIC para la investigación educativa en matemáticas
Seminario del 25 de Febrero de 2010
- Título: Enseñanza on-line en Andalucía: ESA y Bachillerato
- Ponente: Juan José Muñoz Lorencio (Instituto online de Andalucía)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 18:30 a 20:30.
- Resumen: En la charla se tratará la estructura de gestión del conocimiento con plataformas de e-learning para la enseñanza online en Andalucía, así como la innovación en el aprendizaje. Se mostrará como la Web 2.0 se ha usado como herramienta tecnológica para la aplicación de la inteligencia colectiva en la educación.
Seminario del 11 de Febrero de 2010
- Título: fKenzo: a user interface for computations in Algebraic Topology
- Ponente: Jónathan Heras (Universidad de La Rioja)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 10:30 a 11:30.
- Resumen: fKenzo (= friendly Kenzo) is a graphical user interface providing a user-friendly front-end for the Kenzo system, a Common Lisp program devoted to Algebraic Topology. The fKenzo system provides the user interface itself, an XML intermediary generator-translator and, finally the Kenzo kernel. In this talk, the main points of fKenzo and the use of this system as a framework for interacting with Computer Algebra Systems and Theorem Provers related with Algebraic Topology are described.
Seminario del 19 de Noviembre de 2009
La sesión del día 19 se suspende, porque asistiremos a las II Jornadas de Lógica, Computación e Inteligencia Artificial.
Seminario del 12 de Noviembre de 2009
La sesión del día 12 se suspende, porque asistiremos al CLAI 2009 (Workshop on Computational Logics and Artificial Intelligence)
Seminario del 9 de Noviembre de 2009
- Título: Retículos de T-conceptos multiadjuntos
- Ponente: Manuel Ojeda (Universidad de Málaga)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 10:30 a 11:30.
- Resumen: En la charla se describirá se introducirá el retículo de conceptos multiadjunto como un marco para integrar la lógica borrosa en el Análisis Formal de Conceptos.
Seminario del 5 de Noviembre de 2009
- Título: Formalización de la topología simplicial
- Ponente: Laureano Lambán (Universidad de La Rioja)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 10:30 a 11:30.
- Resumen: Se propone un modelo, inspirado por la definición de los conjuntos simpliciales como prehaces, que permite desarrollar partes de la topología simplicial de un modo formal y bien adaptado a sistemas como ACL2. El objetivo que se persigue es reducir a lógica de primer orden definiciones y propiedades topológicas que, en su enunciado habitual, requieren orden superior. En el modelo, las pruebas se interpretan como pruebasde igualdad mediante reescritura en un anillo, el de los polinomios simpliciales.
Seminario del 29 de Octubre de 2009
- Título: A logic for informative events
- Ponente: Tim French (The University of Western Australia)
- Lugar: Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
- Hora: De 13:00 a 14:00.
- Resumen: Modal logic is frequently used for modelling knowledge in multi-agent systems. The semantics of modal logic uses the notion of possible worlds, between which an agent is unable to distinguish. In dynamic systems agents acquire new knowledge (say by an announcement, or the execution of some action) that allows to distinguish between worlds they previously could not separate. From the agents point of view, what were possible worlds become inconceivable. We introduce a multi-agent logic of knowledge with time where F phi stands for `there is an informative event after which phi'. Formula F phi is true in a model iff it is true in all its refinements (i.e., `atoms' and `back' are satisfied; the dual of simulation). We investigate a correspondence between these semantics and various other dynamic epistemic logics; show the resulting logic is decidable; and provide a sound and complete axiomatization for the logic.
Seminario del 22 de Octubre de 2009
- Título: Formalización de la demostración de completitud de la lógica proposicional en Isabelle/Isar
- Ponente: Fabián F. Serrano Suárez
- Resumen: En esta sesión se presenta una formalización en Isabelle/HOL/Isar de un sistema axiomático de la lógica proposicional y la demostración de la completitud del sistema usando el método de Kalmar de eliminación de variables. La formalización se basa en la del libro de Mendelson. El objetivo es explorar la posibilidad de formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas.
- Enlaces
Seminario del 20 de Mayo de 2009
- Título: Panorama del razonamiento formalizado
- Ponente: José A. Alonso
- Resumen: Se presentará un panorama del trabajo realizado en el campo del razonamiento formalizado en los últimos 20 años y algunos retos planteados para su futuro desarrollo.
Seminario del 13 de Mayo de 2009
- Título: Notas sobre el futuro de la búsqueda en la web
- Ponente: Gonzalo A. Aranda-Corral
- Resumen: Comentarios sobre las tendencias futuras de las búsquedas realizadas en la Web y cuales son los retos actuales a los que se están enfrentando los investigadores en estos momentos. Estas notas están extraídas de la asistencia al 4 workshop Future of Web Search: Semantic Search. También se incluirán algunas notas sobre la reunión del VoCamp 2009.
Seminario del 22 de Abril de 2009
- Título: Un modelo algebraico de toma de decisiones para enclavamientos ferroviarios independiente de la topología de la estación
- Ponente: Eugenio Roanes Lozano (Universidad Complutense de Madrid)
- Resumen: Los enclavamientos ferroviarios son dispositivos que impiden el posicionar las agujas de los cambios de vía y abrir semáforos de modo que, en el peor caso, pueda darse una colisión. Es un problema relativamente similar al de verificación de sistemas expertos basados en reglas. Se presentará un modelo algebraico, indepedientemente de la topología de la estación, basado en el uso de bases de Groebner.
Seminario del 25 de Marzo de 2009
- Título: ACL2 verification of simplicial degeneracy programs in the Kenzo system (II)
- Ponente: José L. Ruiz Reina
- Resumen: Se continuará comentando la demostración en ACL2 de la corrección de la función de composición de listas de degeneración del sistema de Topología Algebraica Kenzo.
- Enlaces:
Seminario del 18 de Marzo de 2009
- Título: ACL2 verification of simplicial degeneracy programs in the Kenzo system (I)
- Ponente: Francisco J. Martín
- Resumen: Se comentará la demostración en ACL2 de la corrección de la función de composición de listas de degeneración del sistema de Topología Algebraica Kenzo.
- Enlaces:
Seminario del 25 de Febrero de 2009
- Título: Retracción conservativa de teorías proposicionales y su aplicación a los sistemas de clasificación
- Ponente: Joaquín Borrego
- Resumen: Se presenta una nueva regla para la lógica proposicional, denominada la regla de independencia que hemos diseñado para calcular la retracción conservativa de una base de conocimiento proposicional (y por tanto es aplicable a ontologías en lógica descriptiva proposicional). La regla está definida a partir de las derivadas booleanas en el anillo F2[x]. Describiremos las pruebas de adecuación y completitud del cálculo basado en esa regla así como otras aplicaciones de ésta, como: la localización de ontologías, la obtención de contextos maximales y la fusión jerárquica de ontologías mutuamente inconsistentes.
Seminario del 3 de Diciembre de 2008
- Título: Formalización del algoritmo RETE
- Ponente: José L. Ruiz Reina, Francisco J. Martín
- Resumen: Se comenta una formalización del algoritmo RETE descrita en el artículo Production Systems and Rete algorithm formalisation, de H. Cirstea et al. La idea es, a partir de este artículo, tratar de ver cómo se abordaría una formalización de RETE en ACL2.
Seminario del 26 de Noviembre de 2008
- Título: Gestión y planificación de Proyectos de Investigación
- Resumen: En esta se tratará cuestiones relativas a la gestión de los próximos proyectos nacionales de investigación. La sesión es restringida para los miembros del Grupo de Lógica Computacional participantes en los proyectos.
Seminario del 19 de Noviembre de 2008
- Título: Elementos de Matemáticas formalizados en Isabelle/Isar
- Ponente: Fabián F. Serrano Suárez
- Resumen: Esta sesión del Seminario es una continuación de la presentación de métodos de construcción de pruebas formales y estructuradas en el lenguaje Isabelle/Isar. Su objetivo consiste en estudiar la analogía entre la prueba matemática (prueba informal) y la prueba semi-automática en Isar (prueba formal) de algunos resultados de las teorías básicas de las matemáticas.
Seminario del 12 de Noviembre de 2008
- Esta sesión del seminario queda cancelada con motivo de las I Jornadas de Lógica, Computación e Inteligencia Artificial que organiza el Departamento.
Seminario del 5 de Noviembre de 2008
- Título: Mathserve: Web Semántica aplicada a Razonamiento Automático
- Ponente: Héctor Fabián Echeverry Quintero
- Resumen: Mathserve es un framework creado por Jürgen Zimmer que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.
- Enlaces:
- MathServe homepage Pagina principal del Framework Mathserve.
- MathServe presentation Presentación para el Seminario.
Seminario del 29 de Octubre de 2008
- Título: Programación visual con Pure Data
- Ponente: Fernando Gómez
- Resumen: Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por Miller Puckette para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).
- Enlaces:
- puredata.info Portal oficial sobre PureData.
- wiki/Pure_data Entrada en la wikipedia.
- Video Ejemplo Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)
- Spiral X'mas Ejemplo visualización objeto 3D
Seminario del 15 de Octubre de 2008
- Título: La regla de independencia y su aplicación al aprendizaje de atributos
- Ponente: Joaquín Borrego
- Resumen: En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos
Seminarios anteriores
En esta sección se encuentran los seminarios de los cursos anteriores.
Material de interés para el Seminario del GLC
En esta sección se recoge una relación de materiales que sería interesante comentar en el Seminario.
Caminante, no hay camino:
se hace camino al andar.
(A. Machado)
Con cada paso que das alcanzas tu meta.
(Dicho Zen).