Physicae lógicaun lenguaje de representación del conocimiento temporalizado
- Rives Gil, José Julio
- José Mira Mira Doktorvater/Doktormutter
Universität der Verteidigung: UNED. Universidad Nacional de Educación a Distancia
Jahr der Verteidigung: 1994
- Sebastián Dormido Bencomo Präsident
- Ana Esperanza Delgado García Sekretärin
- Ramón Pérez Otero Vocal
- José Cuena Bartolomé Vocal
- Roque Luis Marín Morales Vocal
Art: Dissertation
Zusammenfassung
LA INTELIGENCIA ARTIFICIAL HA EXPLORADO INSUFICIENTEMENTE EL SIGNIFICADO DEL TIEMPO, A PESAR DE SER ESENCIAL EN MULTIPLES APLICACIONES, LO QUE ANDAMOS BUSCANDO ES UNA TEORIA COMPUTACIONAL DEL TIEMPO. ESTA TESIS CONSTITUYE UN NUEVO PLANTEAMIENTO QUE AMALGAMA EN LA MISMA INFRAESTRUCTURA LA IMPRESION DEL PASO DEL TIEMPO JUNTO CON CONCEPTOS TALES COMO CONOCIMIENTO, CREENCIA, CONSCIENCIA, DESEO, RACIONALIDAD Y CAPACIDAD. EN SU EXPOSICION SE DESARROLLA UN MODELO DE REFERENCIA DEL CONOCIMIENTO DE SENTIDO COMUN QUE INTEGRA ASPECTOS DE LA FISICA, LA SICOLOGIA Y LA CIENCIA DE LA COMPUTACION. NUESTRO PLANTEAMIENTO CONSISTE EN TRATAR EL RAZONAMIENTO TEMPORAL DE FORMA GENERALIZADA BAJO UN SOPORTE COMUN: EMPERO, CADA CAPITULO POR SI MISMO ESTUDIA UN PROBLEMA DISTINTO DEL RAZONAMIENTO TEMPORAL, REVISA LAS APROXIMACIONES EXISTENTES, Y EXPLICA UNA NUEVA PROPUESTA EN DICHA PARCELA.