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
unter der Leitung von:
  1. Gregorio Martín Quetglás Doktorvater/Doktormutter

Universität der Verteidigung: Universitat de València

Jahr der Verteidigung: 1993

Gericht:
  1. José Cuena Bartolomé Präsident/in
  2. María Alpuente Frasnedo Sekretär/in
  3. Jaume Barceló Bugeda Vocal
  4. León Atilano González Sotos Vocal
  5. José Luis Cruz Soto Vocal

Art: Dissertation

Teseo: 39399 DIALNET

Zusammenfassung

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.