Tesis doctoral de Salvador Moreno Picot
Esta memoria presenta un nuevo formalismo de razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas fisicos con representacion multidimensional. Este formalismo generaliza los aspectos mas importantes de los paradigmas de razonamiento cualitativo de kuipers, de kleer y forbus, como son el tratamiento cualitativo de funciones, la representacion orientada a componentes y una representacion jerarquica del conocimiento asociado a los procesos de cambio, e incluye el soporte adecuado para la representacion y razonamiento con parametros multidimensionales. La investigacion que ha conducido al desarrollo de este formalismo ha sido principalmente realizada para el proyecto esprit ii equator. El formalismo presentado es muy adecuado para su utilizacion en sistemas de control de trafico urbano y otros dominios donde se requiera la representacion de parametros multidimensionales, entre los que analizamos el problema del sistema de cubas, extraido de la literatura.
Datos académicos de la tesis doctoral «Formalizacion del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas fisicos con representacion multidimensional.«
- Título de la tesis: Formalizacion del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas fisicos con representacion multidimensional.
- Autor: Salvador Moreno Picot
- Universidad: Universitat de valéncia (estudi general)
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Gregorio Martín Quetglas
- Tribunal
- Presidente del tribunal: Jose Cuena Bartolome
- Leon Atilano Gonzalez Sotos (vocal)
- Jaume Barceló Bugeda (vocal)
- Cruz Soto José Luis (vocal)