Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»

De WikiGLC
Saltar a: navegación, buscar
(→‎Próximos seminarios)
(→‎Seminario del 5 de Noviembre de 2009)
Línea 7: Línea 7:
 
* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
 
* '''Lugar:''' Seminario del módulo E del Departamento de Ciencias de la Computación e Inteligencia Artificial.
 
* '''Hora:''' De 13:00 a 14:00.
 
* '''Hora:''' De 13:00 a 14:00.
−
* '''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.
+
* '''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 pruebas
−
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 pruebas
 
 
de igualdad mediante reescritura en un anillo, el de los polinomios simpliciales.
 
de igualdad mediante reescritura en un anillo, el de los polinomios simpliciales.
 
----
 
----
−
 
  
 
=== Seminario del 29 de Octubre de 2009 ===
 
=== Seminario del 29 de Octubre de 2009 ===

Revisión del 21:08 30 oct 2009

Los Seminarios del Grupo de Lógica Computacional se celebrarán 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.

Próximos seminarios

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 13:00 a 14:00.
  • 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 pruebas

de 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 <math>\F \phi</math> stands for `there is an informative event after which <math>\phi</math>'. Formula <math>\F \phi</math> 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

Seminario del 18 de Marzo de 2009

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

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

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:

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:

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).

Obtenido de «https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_Lógica_Computacional&oldid=704»