Formalización del razonamiento cualitativo y temporal para el tratamiento de problemas asociados al control de sistemas físicos con representación multidimensional

  1. Moreno Picot, Salvador
Dirigida por:
  1. Gregorio Martín Quetglás Director/a

Universidad de defensa: Universitat de València

Año de defensa: 1993

Tribunal:
  1. José Cuena Bartolomé Presidente/a
  2. María Alpuente Frasnedo Secretario/a
  3. Jaume Barceló Bugeda Vocal
  4. León Atilano González Sotos Vocal
  5. José Luis Cruz Soto Vocal

Tipo: Tesis

Teseo: 39399 DIALNET

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.