Tesis doctoral de LLuis Vila Grabulosa
Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en inteligencia artificial con un enfasis especial en los sistemas basados en conocimientos.En concreto propone una ontología temporal y una teoria sobre el tiempo basada en puntos e intervalos; presenta dos formalismos logicos temporales basados en la nocion de «token temporal»; describe dos aportaciones algoritmicas al manejo de restricciones temporales metricas.Se presenta y demuestra las propiedades formales del calculo de «tokens temporales» que incorpora restricciones metricas dentro de una logica temporal. Este desarrollo teorico ha servido de base a la implementacion de la extension temporal del «shell» milord-ii. Finalmente se presenta la generalizacion de una logica temporal basada en restricciones al caso difuso.
Datos académicos de la tesis doctoral «Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.«
- Título de la tesis: Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.
- Autor: LLuis Vila Grabulosa
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 02/12/1994
Dirección y tribunal
- Director de la tesis
- Carles Sierra
- Tribunal
- Presidente del tribunal: antoni Olivé ramon
- ton Sales porta (vocal)
- han Reichgelt (vocal)
- federico Barber sanchis (vocal)