Formalización del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas físicos con representación multidimensional
- Gregorio Martín Quetglás Director
Universidade de defensa: Universitat de València
Ano de defensa: 1993
- José Cuena Bartolomé Presidente/a
- María Alpuente Frasnedo Secretario/a
- Jaume Barceló Bugeda Vogal
- León Atilano González Sotos Vogal
- José Luis Cruz Soto Vogal
Tipo: Tese
Resumo
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.