Formalización del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas físicos con representación multidimensional
- Autores: Salvador Moreno Picot
- Directores de la Tesis: Gregorio Martín Quetglás (dir. tes.)
- Lectura: En la Universitat de València ( España ) en 1993
- Idioma: español
- Tribunal Calificador de la Tesis: José Cuena Bartolomé (presid.), María Alpuente Frasnedo (secret.), Jaume Barceló Bugeda (voc.), León Atilano González Sotos (voc.), José Luis Cruz Soto (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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.
