INTELIGENCIA ARTIFICIAL, 16

Autor: ANTONIO JIMENEZ ANGELICA DE.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: EL TRABAJO PRESENTADO SE PUEDE CONSIDERAR UN AVANCE EN LA VALIDACION DE SISTEMAS BASADOS EN EL CONOCIMIENTO. SE HAN REFORMULADO LOS CONCEPTOS PROPIOS DE LA LOGICA ALGEBRAICA PARA SU APLICACION EN LA REPRESENTACION DE SISTEMAS BASADOS EN EL CONOCIMIENTO. SE HA CONSTRUIDO ASI UN MODELO FORMAL QUE, NO SOLO PERMITE EXPRESAR EL CONOCIMIENTO CONTENIDO EN LA BASE Y SU EVOLUCION, SINO TAMBIEN EXPRESAR FORMALMENTE LAS PROPIEDADES DESEADAS Y ANALIZAR SU CUMPLIMIENTO. SE HA CONSEGUIDO UNA INTERPRETACION ALGEBRAICA DEL CONCEPTO DE CONSISTENCIA QUE HA CONDUCIDO, A SU VEZ, A LA CONSTRUCCION DE UN METODO DE DETECCION DE INCONSISTENCIAS, AL QUE SE HA LLAMADO MADISON, CAPAZ DE DETECTAR TANTO CONTRADICCIONES LOGICAS COMO LAS DERIVADAS DE INCOMPATIBILIDADES SEMANTICAS. EL ESTUDIO SE HA CENTRADO EN SISTEMAS CON LOGICA PROPOSICIONAL COMO LOGICA SUBYACENTE, HABIENDOSE DESARROLLADO TAMBIEN UN MECANISMO QUE PERMITE REDUCIR AL CASO PROPOSICIONAL EL PROBLEMA DE LA DETECCION DE INCONSISTENCIAS EN LOGICA DE PRIMER ORDEN. SE HAN SUPERADO LIMITACIONES IMPUESTAS POR OTROS METODOS DE VERIFICACION, RELATIVAS ESENCIALMENTE AL CONOCIMIENTO DISYUNTIVO Y LA ADICION DE REGLAS DINAMICA.

Autor: BONSON PONTE ENRIQUE.
Año: 1993.
Universidad: SEVILLA.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.
Centro de realización: DEPARTAMENTO: CONTABILIDAD Y ECONOMIA FINANCIERA PROGRAMA DE DOCTORADO: CONTABILIDAD.

Resumen: EL OBJETIVO DE LA TESIS SE HA CENTRADO EN LA ELABORACION DE UN SISTEMA EXPERTO PARA LA OBTENCION DE INFORMES DE AUDITORIA, PARA ELLO SE HAN REVISADO: 1) LOS SISTEMAS EXPERTOS: SU ARQUITECTURA Y FUNCIONAMIENTO; 2) LOS PRINCIPALES DESARROLLOS EN EL AREA DE ECONOMIA FINANCIERA Y CONTABILIDAD; 3) LOS MECANISMOS DE RESOLUCION DEL PROBLEA POR PARTE DE LOS AUDITORES Y 4) SU IMPLEMENTACION DENTRO DE UN SISTEMA EXPERTO. LOS MODELOS COGNITIVOS BASADOS EN ORDENADOR OFRECEN UN AMPLIO CAMPO DE POSIBILIDADES EN LA RESOLUCION DE PROBLEMAS Y EN EL APRENDIZAJE DE MATERIAS. EN LOS PROXIMOS AÑOS ESTA TECNOLOGIA SE VERA AMPLIAMENTE EXTENDIDA. ESPERAMOS HABER CONTRIBUIDO A ELLO.

Autor: BUGARIN DIZ ALBERTO JOSE.
Año: 1993.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: ELECTRONICA E COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION AVANZADA E INTELIXENCIA ARTIFICIAL.

Resumen: LA PROPUESTA DE SOLUCIONES SUSCEPTIBLES DE IMPLEMENTACION HARDWARE PARA LA EJECUCION DE SISTEMAS BASADOS EN LOGICA BORROSA HA SIDO UNO DE LOS OBJETIVOS RECOGIDO EN LA MEMORIA. SE REALIZA UNA DESCRIPCION DETALLADA DEL MODELO GENERICO DE SISTEMA DE CONTROL BASADO EN LOGICA BORROSA Y SE DESCRIBEN SENDAS PROPUESTAS PARA CADA UNA DE LAS METODOLOGIAS DE INFERENCIA DISCUTIDAS, CON UNA ANALISIS DETALLADO DE LAS PRINCIPALES INNOVACIONES QUE PRESENTAN (FLEXIBILIDAD RESPECTO A LOS OPERADORES INVOLUCRADOS E INSENSIBILIDAD A LOS PARAMETROS QUE DEFINEN SU TAMAÑO). SEGUIDAMENTE SE ABORDA EL TRATAMIENTO DE AQUELLOS SISTEMAS BASADOS EN REGLAS QUE PRESENTAN ENCADENAMIENTO ENTRE SI. LA EFICIENCIA COMPUTACIONAL EN ESTE CASO SE CONSIGUE A TRAVES DE UNA "COMPACTACION" DEL CONJUNTO DE REGLAS Y LA CONSIGUIENTE REDUCCION EN EL NUMERO DE OPERACIONES A REALIZAR DURANTE LA EJECUCION DE LA BASE DE CONOCIMIENTO. SE DESCRIBE EL PROCESO GENERAL DE COMPACTACION SOBRE ESTE TIPO DE SISTEMAS Y SE PARTICULARIZAN LOS RESULTADOS PARA LA REGLA COMPOSICIONAL DE INFERENCIA "SUP- ", DESARROLLANDOSE UN MODELO BASADO EN EL FORMALISMO DE REDES DE PETRI, SOBRE EL QUE SE REPRESENTA LA BASE DE CONOCIMIENTO Y SE DESCRIBEN VARIOS PROCESOS DINAMICOS (DETECCION DE INCONSISTENCIAS Y DISTINTAS ESTRATEGIAS DE EJECUCION EN DIFERENTES SITUACIONES).

Autor: CABRERA GAMEZ JORGE.
Año: 1993.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y SISTEMAS. PROGRAMA DE DOCTORADO: "PERCEPCION ARTIFICIAL Y APLICACIONES"..

Resumen: SE PROPONEN EN ESTE TRABAJO LAS LINEAS MAESTRAS DE UNA METODOLOGIA DE DISEÑO DE SISTEMAS PERCEPTO-EFECTORES Y SE DESCRIBE SU APLICACION EN LA CONSTRUCCION DE SVEX, UN SISTEMA MULTINIVEL BASADO EN CONOCIMIENTO PARA SEGMENTACION DE IMAGENES. LA ORGANIZACION POR NIVELES PROPUESTA CONCIBE UN SISTEMA PERCEPTO-EFECTOR COMO UNA MAQUINA DONDE EN CADA NIVEL SE CONSTRUYE UNA REPRESENTACION A PARTIR DE LOS DATOS QUE SE RECIBEN DESDE UN "MUNDO VIRTUAL" Y SOBRE EL CUAL ACTUA. EL MUNDO VIRTUAL DE UN NIVEL PUEDE SER EL MUNDO FISICO O LA REPRESENTACION PRODUCIDA POR UN NIVEL INFERIOR. A CADA NIVEL DEL SISTEMA SE ASOCIA UN PROCESADOR VIRTUAL, BASADO EN UN MODULO GENERICO DE COMPUTO Y CONTROL, MEDIANTE EL CUAL SE REALIZAN PROCESOS DE REFERENCIACION O ASIGNACION A CLASES SIMBOLICAS TENIENDO EN CUENTA LA NATURALEZA DE LA REPRESENTACION PROPIA DEL NIVEL. ASI EN SVEX SE DISTINGUEN TRES NIVELES, DEDICADOS RESPECTIVAMENTE A LA DESCRIPCION DE LOS PIXELS, SEGMENTOS Y OBJETOS PRESENTES EN LA IMAGEN. EL PROCESADOR DE PIXELS PROPORCIONA DIAGNOSTICOS QUE INDICAN EL GRADO DE PERTENENCIA DE CADA PIXEL A CLASES DE PIXELS, COMO "SER-VERDE" O "SER-BORDE". EN EL NIVEL INMEDIATAMENTE SUPERIOR, EL PROCESADOR DE SEGMENTOS EMPLEA LOS DIAGNOSTICOS OBTENIDOS DEL PROCESADOR DE PIXELS PARA GENERAR SEGMENTOS O AGRUPACIONES DE PIXELS, VERTEBRADAS EN FUNCION DE FACTORES DE FORMA Y/O DE UNIFORMIDAD. ESTOS SEGMENTOS SON CUALIFICADOS SIMBOLICAMENTE EN FUNCION DE SU GRADO DE PERTENENCIA A CLASES DE SEGMENTOS COMO "SER-RECTO" O "SER-CUADRADO-ROJO". EN EL ULTIMO NIVEL, EL PROCESADOR RELACIONAL O DE OBJETOS TIENE COMO COMETIDO BASICO LA IDENTIFICACION DE LOS OBJETOS O MODELOS PRESENTES EN LA IMAGEN. PARA ELLO REALIZA UNA COMPARACION ENTRE EL GRAFO DE LA ESCENA PRODUCIDO POR EL PROCESADOR DE SEGMENTOS, CONSTITUIDO POR LOS SEGMENTOS, SU DESCRIPCION SIMBOLICA Y SUS RELACIONES ESPACIALES, Y EL GRAFO QUE REPRESENTA LOS MODELOS DE LOS OBJETOS CONOCIDOS. EN ESTE TRABAJO SE HA DESARROLLADO UN PRIMER PROTOTIPO DEL SISTEMA PROPUESTO QUE CONTIENE LOS DOS PRIMEROS NIVELES Y HA SIDO EMPLEADO EN LA RESOLUCION DE UN CONJUNTO HETEROGENEO DE PROBLEMAS DE VISION POR COMPUTADOR, TAL Y COMO SE ILUSTRA EN LOS CASOS DE ESTUDIO PRESENTADOS. LA CALIDAD DE LOS RESULTADOS OBTENIDOS Y LA FACILIDAD RELATIVA CON LA QUE SE HAN DESARROLLADO DEMUESTRAN LA VERSATILIDAD DE SVEX Y VALIDAN, EN LINEAS GENERALES, EL MODELO Y LA METODOLOGIA SOBRE LAS QUE SE HA BASADO ESTE SISTEMA.

Autor: CASTELLS AZPILICUETA PABLO.
Año: 1993.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INGENIERIA INFORMATICA PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: LA TESIS DESCRIBE DIVERSA TECNICAS DE RESOLUCION AUTOMATICA DE PROBLEMAS CIENTIFICOS DE UN NIVEL DE PRIMER CURSO DE UNIVERSIDAD. LOS ASPECTOS FUNDAMENTALES DEL SISTEMA QUE SE DESCRIBE SON: A) LA COMBINACION DE TECNICAS DEDUCTIVAS CON CAPACIDADES PROCEDURALES, B) LA INCORPORACION AL SISTEMA DE CONOCIMIENTO Y METACONOCIMIENTO SEMEJANTES A LOS QUE UTILIZA UN MATEMATICO, Y C) LA UTILIZACION DE UN LENGUAJE FORMAL BASADO EN UNA JERARQUIA DE TIPOS DE OBJETOS DEFINIDA EN UNA BASE DE CONOCIMIENTO. EL SISTEMA REFLEJA UN MODELO COGNITIVO DE UN EXPERTO, Y UTILIZA METAREGLAS QUE LLEVAN A CABO DIVERSAS NEURISTICAS PARA EL MANEJO DE AXIOMAS LOGICOS DE LA IGUALDAD, ASI COMO TAREAS MAS ESPECIFICAS, HABITUALES EN LA PRACTICA DIARIA DEL EXPERTO.

Autor: CATALA MALLOFRE ANDREU.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS, AUTOMATICA E INFORMATICA INDUSTRIAL PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS DE CONTROL.

Resumen: EN ESTE TRABAJO SE INTRODUCEN DIVERSOS CONCEPTOS RELACIONADOS CON LA SEPARABILIDAD DE LAS FUNCIONES LOGICAS, CALCULADAS A PARTIR DE LA COMPARACION ENTRE LAS PROBABILIDADES BAYESIANAS DE PERTENENCIA A CADA UNA DE LAS CLASES PARA TODOS LOS ELEMENTOS DE LA FUNCION, Y SU CLASIFICACION REAL. SE DEMUESTRA LA VALIDEZ DE LA METODOLOGIA INTRODUCIENDO EN LA BUSQUEDA Y SINTESIS DE FUNCIONES LOGICAS LINEALMENTE SEPARABLES, TENIENDO EN CUENTA SU SIMPLICIDAD, BASADA EN CALCULOS DIRECTOS Y NO POR PROCESOS ITERATIVOS. FINALMENTE, SE DESARROLLA UN METODO DE SINTESIS PARA FUNCIONES NO LINEALMENTE SEPARABLES, BASADO EN UN PERCEPTRON MULTICAPA CON EL ALGORITMO DE APRENDIZAJE DERIVADO DEL METODO ANTERIOR.

Autor: CUBERO TALAVERA JUAN CARLOS.
Año: 1993.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.

Resumen: LA MEMORIA TIENE COMO FINALIDAD DEFINIR UN MODELO RELACIONAL DE BASES DE DATOS DIFUSAS Y UNA TEORIA DE DISEÑO CONCEBIDA DESDE UNA PERSPECTIVA DIFUSA. PARA ELLO SE HAN RESUELTO LOS SIGUIENTES PUNTOS: -SE HAN ANALIZADO LAS PROPIEDADES BASICAS QUE CUALQUIER DEFINICION DE DEPENDENCIA FUNCIONAL DIFUSA HA DE SATISFACER. -HEMOS INTRODUCIDO EL CONCEPTO DE DEPENDENCIA FUNCIONAL DIFUSA BASADA EN REGLAS, COMO PILAR DEL MODELO DE DISEÑO QUE PROPONEMOS. -HEMOS ABORDADO EL PROBLEMA DE LA REDUNDANCIA DE UNA BASE DE DATOS RELACIONAL DIFUSA, Y SU ELIMINACION A TRAVES DE OPERADORES DE PROYECCION. -PODEMOS AISLAR LA INFORMACION RELATIVA A UNA DEPENDENCIA DIFUSA EN UNA RELACION INDEPENDIENTE, DE FORMA QUE SE RECUPERE LA INFORMACION ORIGINAL A TRAVES DE LA REUNION DIFUSA. -LA CONSECUCION DE LOS ANTERIORES PUNTOS NOS HA PERMITIDO ESTABLECER UNA TEORIA DE NORMALIZACION DE UNA BASE DE DATOS RELACIONAL DIFUSA. LA MEMORIA TERMINA PRESENTANDO LAS LINEAS DE INVESTIGACION QUE PROPONEMOS SEGUIR. SE INCLUYE TAMBIEN UN EJEMPLO DE APLICACION PARA ILUSTRAR EL PROCESO DE DISEÑO DE UNA BASE DE DATOS RELACIONAL DIFUSA, ASI COMO LA BIBLIOGRAFIA UTILIZADA.

Autor: DIEZ VEGAS FRANCISCO JAVIER.
Año: 1993.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: AUTOMATICA E INFORMATICA INDUSTRIAL.

Resumen: LAS REDES BAYESIANAS CONSTITUYEN UN FORMALISMO PARA EL TRATAMIENTO DE LA INCERTIDUMBRE A PARTIR DE MODELOS CAUSALES PROBABILISTICOS. LA PRESENTE TESIS BUSCA DOS OBJETIVOS, UNO TEORICO Y UNO DE APLICACION. EL PRIMERO DE ELLOS CONSISTE EN UN ESTUDIO DE LAS REDES BAYESIANAS EN TODOS SUS ASPECTOS, DISCUTIENDO PARA CADA UNO DE ELLOS LA TEORIA, LOS ALGORITMOS Y LAS IMPLEMENTACIONES, CON ESPECIAL INTERES POR LAS IMPLEMENTACIONES DISTRIBUIDAS. LA TESIS DOCTORAL PROPONE (1) LA PUERTA OR GRADUADA COMO EXTENSION DE LA PUERTA OR BINARIA, (2) EL CONDICIONAMIENTO COMO ALGORITMO DE INFERENCIA PARA REDES CON BUCLES, (3) UN MODELO DE APRENDIZAJE SECUENCIAL Y (4) UN METODO DE EXPLICACION. EL SEGUNDO OBJETIVO FUNDAMENTAL HA SIDO LA REALIZACION DE UN SISTEMA EXPERTO PARA EL DIAGNOSTICO DE ENFERMEDADES DE CORAZON EN BASE A LOS DATOS ECOCARDIOGRAFICOS, PRINCIPALMENTE. LA MEMORIA DESCRIBE COMO SE HAN LLEVADO A CABO LAS CINCO TAREAS CLASICAS: IDENTIFICACION, CONCEPTUALIZACION, FORMALIZACION, IMPLEMENTACION Y EVALUACION. EN PARTICULAR, HEMOS PUESTO EL MAYOR INTERES EN DESARROLLAR UN INTER DE USUARIO FLEXIBLE Y SENCILLO DE MANEJAR.

Autor: GOMEZ JIMENEZ SERGIO.
Año: 1993.
Universidad: BARCELONA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: DEPT. D'ESTRUCTURA I CONSTITUENTS DE LA MATERIA, FACULTAT DE FISICA. UNIVERSITAT DE BARCELONA .

Resumen: ESTA TESIS ESTA DEDICADA AL ESTUDIO DE LAS REDES DE NEURONAS ARTIFICIALES, TANTO DESDE UN PUNTO DE VISTA TEORICO COMO PRACTICO. 1.- INTRODUCCION A LAS REDES NEURONALES. 2.- DIVERSAS SOLUCIONES AL PROBLEMA DE LA MEMORIA ASOCIATIVA USANDO REDES MULTICAPA, ELIMINANDO ASI LOS PRINCIPALES PROBLEMAS DE LAS REDES DE HOPFIELD. 3.- APRENDIZAJE SUPERVISADO CON REDES DISCRETAS: - CODIFICACION DE PATRONES BINARIOS CON REDES MULTICAPA, LIMITACIONES Y POSIBLES SOLUCIONES - NUEVA REGLA DE APRENDIZAJE PARA PERCEPTRONES SIMPLES MULTIESTADO, SU CONVERGENCIA Y LA UNICIDAD DEL PERCEPTRON MULTIESTADO DE MAXIMA ESTABILIDAD. - "TILING ALGORITHM" BASADO EN NUESTRA REGLA DE APRENDIZAJE MULTIESTADO. 4.- APRENDIZAJE SUPERVISADO CON REDES CONTINUAS Y DIFERENCIABLES: - VERSION SIMPLIFICADA DE LA "BACK-PROPAGATION THROUGH TIME" QUE PUEDE APLICARSE A CUALQUIER RED RECURRENTE. - ESTUDIO ANALITICO DE LA FUNCION DE ERROR UTILIZADA EN LA "BACK-PROPAGATION", E IMPLICACIONES EN LA FORMA DE ESCOGER LA REPRESENTACION DE LOS PATRONES DE SALIDA. - APLICACION DE REDES MULTICAPA Y "BACK-PROPAGATION" PARA LA RECONSTRUCCION DE IMAGENES CON RUIDO.Ñ- - APLICACION Y MEJORAS DE LA "SELF-SUPERVISED BACK-PROPAGATION" PARA LA COMPRESION DE IMAGENES. - APLICACION DE REDES RECURRENTES Y "BACK-PROPAGATION THROUGH TIME" PARA LA PREDICCION DE SERIES TEMPORALES.

Autor: GOMEZ PEREZ ASUNCION.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL.

Resumen: ESTE TRABAJO CONSTRUYE UN MODELO DE DISEÑO ORIENTADO A MARCOS PARA SISTEMAS BASADOS EN EL CONOCIMIENTO QUE REDUCE LAS PERDIDAS DE CONOCIMIENTO QUE SE PRODUCEN AL FORMALIZAR LA REALIDAD EN BASES DE CONOCIMIENTOS UTILIZANDO MARCOS EN EL PLANO DE LA REPRESENTACION Y EN EL DEL RAZONAMIENTO. CONCRETAMENTE, EN EL PLANO DE LA REPRESENTACION, EL MODELO PROPONE NUEVOS ELEMENTOS QUE INCREMENTAN LA EXPRESIVIDAD DEL FORMALISMO. UNO DE ESTOS CONCEPTOS ES EL CONCEPTO DE REPRESENTATIVIDAD DE LAS PROPIEDADES. EN EL PLANO DEL RAZONAMIENTO, SE PROPONEN NUEVAS TECNICAS DE INFERENCIA QUE TRABAJAN CON LOS CONCEPTOS DEFINIDOS EN EL PLANO DE LA REPRESENTACION. ASI, EL MODELO PROPONE UNA NUEVA TECNICA DE CESION DE PROPIEDADES, COMPLEMENTARIAS A LA TECNICA DE HERENCIA, QUE RECIBE EL NOMBRE DE DONACION QUE TRANSFIERE PROPIEDADES UTILIZANDO LAS RELACIONES "AD HOC". ADEMAS, SE PROPONE UNA TECNICA DE EQUIPARACION QUE CLASIFICA ENTIDADES UTILIZANDO RELACIONES "AD HOC" CUANDO EL CONOCIMIENTO DE LA ENTIDAD ES INCOMPLETO E INCIERTO.

Autor: GONZALEZ BOTICARIO JESUS.
Año: 1993.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: CIENCIAS .
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: AUTOMATICA E INFORMATICA INDUSTRIAL.

Resumen: EL ORIGEN DEL TRABAJO OBJETO DE ESTA MEMORIA FUE LA EVIDENCIA DE FALTA DE TEORIA Y METODOLOGIA EN LA MAYORIA DE LOS SISTEMAS DE APRENDIZAJE (SA), ASI COMO LA CONFUSION ENTRE LAS FUNCIONALIDADES DEL SISTEMA EN EL DOMINIO DE SUS PRIMITIVOS COMPUTACIONALES Y LA DESCRIPCION QUE DE ESAS FUNCIONALIDADES HACIA EL OBSERVADOR- CONSTRUCTOR. PARA CONTRIBUIR A CLARIFICAR EL CAMPO HEMOS REALIZADO LAS SIGUIENTES APORTACIONES: C 1: DISTINGUIR LOS PROBLEMAS EXISTENTES EN TODO SA: REPRESENTACION, BIAS, TIPOS DE RAZONAMIENTO Y MECANISMO PARA SU MODIFICACION. C 2: PROPONER LA METODOLOGIA DE LOS DOS DOMINIOS (PROPIO Y DEL OBSERVADOR) PARA DISTINGUIR LO QUE OCURRE A NIVEL SIMBOLICO (DP) CUANDO DECIMOS QUE UN SISTEMA APRENDE DE LO QUE INTERPRETA EL OBSERVADOR (DO). C 3: DISTINGUIR Y DESCRIBIR DOS NUEVOS NIVELES EN AMBOS DOMINIOS. EL NIVEL DE ESPECIFICACIONES EN EL DO, EN EL CUAL PODER DETERMINAR CRITERIOS BASICOS DE DESCRIPCION INDEPENDIENTES DEL DOMINIO DE APLICACION Y EL NIVEL DE PROCESOS COMUNES EN EL DP, EN EL CUAL LAS ESTRATEGIAS INDUCTIVAS, DEDUCTIVAS Y ABDUCTIVAS SE DESCRIBEN MEDIANTE UN CONJUNTO DE PRIMITIVAS DEL APRENDIZAJE (IDENTIFICACION, INDEXACION, EQUIPARACION, MODIFICACION E INCORPORACION). EN BASE A ESTAS HEMOS MOSTRADO LA EQUIVALENCIA COMPUTACIONAL ENTRE LA INDUCCION Y LA DEDUCCION Y FINALMENTE HEMOS ILUSTRADO LA UTILIDAD DEL TRABAJO TEORICO Y METODOLOGICO PROPUESTO EN EL DESARROLLO DE UN SISTEMA REAL (CAP) CAPAZ DE APRENDER INTERACTIVAMENTE ESTRATEGIAS DE TOMA DE DECISIONES.

Autor: GONZALEZ SANCHEZ LUIS.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL.

Resumen: EN ESTA TESIS SE PROPONE UNA SOLUCION A UN PROBLEMA ABIERTO, DE ESENCIAL INTERES EN LA INGENIERIA DEL CONOCIMIENTO. EL PROBLEMA PLANTEADO PARTE DE LA NECESIDAD DOCUMENTADA DE UN CONJUNTO ADECUADO DE CASOS DE PRUEBA, PARA EL DESARROLLO SATISFACTORIO DE UN SISTEMA EXPERTO. SI BIEN EN LA DOCTRINA CIENTIFICA SOBRE EL TEMA SE OBSERVA UN ACUERDO GENERAL SOBRE EL USO DE CASOS EN EL DESARROLLO DEL SISTEMA, NO EXISTE SIN EMBARGO COINCIDENCIA SOBRE EL NUMERO DE ESTOS, Y LAS DISTINTAS PROPUESTAS SE JUSTIFICAN MAS BIEN EN BASE A CONSIDERACIONES EMPIRICAS. EL PROBLEMA PLANTEADO ES POR TANTO DETERMINAR UNA EXPRESION ANALITICA QUE ESTABLEZCA EL TAMAÑO DE LA MUESTRA OPTIMA PARA VALIDACION DE SS.EE. EN FUNCION DEL MISMO NIVEL DE CONFIANZA Y DEL PROXIMO ERROR PERMITIDOS). SE CONSTRUYO UN MODELO MATEMATICO BASADO EN LA TECNICA DE TRANSFORMACIONES ESTABILIZADORAS DE LA VARIANZA QUE CONCLUYO, A PARTIR DE LA MUESTRA MINIMA PARA LA ESTIMACION DE EXITOS DEL S.E., Y DEL COMPORTAMIENTO DE LAS FUNCIONES POLYGAMA QUE CON UN MARGEN DE ERROR RAZONABLEMENTE BAJO, LA MUESTRA MAXIMA PARA VALIDACION DE SS.EE. ES DE 9 CASOS DE PRUEBA, A UN NIVEL DE CONFIANZA SIGNIFICATIVO.

Autor: ISASI VIÑUELA PEDRO.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL .

Resumen: EL PROPOSITO FUNDAMENTAL DE ESTA TESIS ES EL ESTUDIO DE LAS REDES DE NEURONAS ARTIFICIALES CON APRENDIZAJE NO SUPERVISADO Y LOS SISTEMAS DENOMINADOS AUTOORGANIZATIVOS. A TRAVES DE UNA REVISION DE LOS CONOCIMIENTOS ACTUALES SE LLEGARA A UNAS CONCLUSIONES FUNDAMENTALES RESPECTO A SUS CAPACIDADES Y LIMITACIONES ACTUALES.

Autor: MATEO RODRIGUEZ LUIS FRANCISCO.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL .

Resumen: ESTA TESIS ESTUDIA, EN UN PLANO PRACTICO, LA TEORIA MATEMATICA DE VOLTERRA, GENERALIZADA POR EL PROF. MARAVALL. TODO ELLO, TENIENDO EN CUENTA QUE LAS OBSERVACIONES EXPERIMENTALES, QUE SE REALIZAN EN UN AMBIENTE CERRADO, SIEMPRE SE EFECTUAN EN VARIABLE CONTINUA, COMPROBANDOSE LA PRESENCIA DE FENOMENOS OSCILATORIOS. ESTOS FENOMENOS QUE SE RIGEN POR ECUACIONES DIFERENCIALES, NO PUEDEN REALMENTE REPRESENTARSE DE ESTA MANERA, SINO A INTERVALOS PERIODICOS DE TIEMPO; ES DECIR, MEDIANTE CONTEO ESTADISTICO REALIZADO DE FORMA REGULAR, CADA CIERTO PERIODO DE TIEMPO (SEMANAL, QUINCENAL, MENSUAL, ANUAL, QUINQUENAL O DE GENERACION EN GENERACION), POR LO QUE LOS FENOMENOS OSCILATORIOS SE RIGEN POR ECUACIONES EN DIFERENCIALES FINITAS. ESTUDIADO EL PROBLEMA EN VARIABLE DISCRETA, Y PUDIENDOSE CONSIDERAR QUE LAS OSCILACIONES SON ISOCRONAS, EN UN CASO LIMITE, Y CUANDO SE CUMPLEN DETERMINADAS CONDICIONES, SE LLEGAN A LOS MISMOS RESULTADOS QUE EN VARIABLE CONTINUA. FINALMENTE, SE COMPRUEBA LA VALIDEZ DEL ESTUDIO TEORICO, MEDIANTE EJEMPLOS DESARROLLADOS EN COMPUTADORA.

Autor: MAZORRA MANRIQUE DE LARA LUIS.
Año: 1993.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE INFORMATICA Y SISTEMAS PROGRAMA DE DOCTORADO: PERCEPCION ARTIFICIAL Y APLICACIONES.

Resumen: UTILIZANDO DIVERSAS TECNICAS MATEMATICAS SE APORTAN NUEVOS CRITERIOS PARA APROXIMAR EL FILTRADO GAUSSIANO A TRAVES DE SU EQUIVALENCIA CON LA ECUACION DEL CALOR, CONCLUYENDO QUE LOS NUEVOS CRITERIOS INTRODUCIDOS MEJORAN TANTO EN VELOCIDAD COMO EN CALIDAD DE APROXIMACION A LOS CRITERIOS CLASICOS. SE ABORDA EL PROBLEMA DE LA RESTAURACION DE SEÑALES UNIDIMENSIONALES FORMULANDOSE UN NUEVO MODELO PARA SU RESTAURACION A TRAVES DE UNA ECUACION DE TIPO HIPERBOLICO NO LINEAL. SE REALIZA UN ESTUDIO DE ESTA ECUACION DIFERENCIAL HACIENDO ESPECIAL HINCAPIE EN SU ANALISIS NUMERICO. EL MODELO RESTAURA BIEN LOS SALTOS IMPORTANTES PRESENTES EN LA SEÑAL Y ES MUY ESTABLE RESPECTO A LA INTRODUCCION DE RUIDO. A SU VEZ, SE ESTUDIA EL PROBLEMA DE LA RESTAURACION DE IMAGENES, EN DONDE PARTIENDO DE DOS PRINCIPIOS LOCALES Y NATURALES SE INTRODUCE UN NUEVO MODELO PARA LA RESTAURACION QUE NO UTILIZA NINGUN CONOCIMIENTO A PRIORI SOBRE EL TIPO DE DEGRADACION SUFRIDA POR LA IMAGEN. EL ASPECTO MAS ORIGINAL RADICA EN LA COMBINACION DE ESTOS DOS PRINCIPIOS Y EL DISEÑO DE UN OPERADOR DIFERENCIAL QUE GENERA DISCONTINUIDADES DE UNA FORMA CONTROLADA Y ESTABLE. COMO SE MUESTRA EN LAS EXPERIENCIAS NUMERICAS, PUEDE USARSE CON BUENOS RESULTADOS SOBRE UN GRAN ABANICO DE IMAGENES DISTINTAS.

Autor: MEDINA RODRIGUEZ JUAN MIGUEL.
Año: 1993.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.

Resumen: PARTIENDO DEL MODELO DE BASES DE DATOS RELACIONALES, PROPUESTO POR CODD EN 1970, HAN SURGIDO DIVERSAS APROXIMACIONES, QUE TRATAN DE PROPORCIONAR UN MARCO TEORICO PARA LA REPRESENTACION Y TRATAMIENTO DE INFORMACION DE NATURALEZA DIFUSA. LOS ENFOQUES APARECIDOS, SE AGRUPAN PRINCIPALMENTE EN TORNO A DOS TENDENCIAS: MODELOS DE UNIFICACION MEDIANTE RELACIONES DE SIMILITUD Y MODELOS RELACIONALES SOBRE DISTRIBUCIONES DE POSIBILIDAD. EL MODELO OBJETO DEL PROYECTO DE TESIS, PRETENDE, A TRAVES DE LA DEFINICION DE UNA ESTRUCTURA DE DATOS Y DE UN ALGEBRA RELACIONAL DIFUSA PARTICULARES, INTEGRAR EN UN MARCO COMUN LAS APROXIMACIONES COMENTADAS. LA TESIS PROPONDRA LA DEFINICION DEL NUEVO MODELO, LO CONTRASTARA CON EL RESTO DE LAS APROXIMACIONES Y PRESENTARA UN PROTOTIPO ELEMENTAL QUE IMPLEMENTARA LAS CARACTERISTICAS ESENCIALES DEL MODELO. CON EL DESARROLLO DE ESTE PROTOTIPO PRETENDEMOS DEMOSTRAR ES VIABLE EMPLEAR LOS RECURSOS DE REPRESENTACION Y MANIPULACION DE DATOS CLASICOS PARA ABORDAR EL TRATAMIENTO DE INFORMACION IMPRECISA EN EL MARCO RELACIONAL. ESTE PROTOTIPO PERMITIRA, ADEMAS, REALIZAR ANALISIS DE EFICIENCIA SOBRE EL PROCESO DE DATOS DIFUSOS.

Autor: MONTES GRACIA CESAR.
Año: 1993.
Universidad: POLITECNICA DE MADRID .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: EL PRESENTE TRABAJO RESUELVE EL PROBLEMA DE DETECCION DE DEPENDENCIAS FUNCIONALES, MEDIANTE UN METODO HEURISTICO DENOMINADO DDF. ASI MISMO, PROPONE UN MECANISMO QUE PERMITE LA INTEGRACION DE LOS DISTINTOS ENFOQUES DE APRENDIZAJE INDUCTIVO, BASADO EN UNA ARQUITECTURA EN TRES ETAPAS.

Autor: PUYOL GRUART JOSEP.
Año: 1993.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: GRAFICOS, IMAGENES DIGITALES E INTELIGENCIA ARTIFICIAL.

Resumen: MILORD II ES UN LENGUAJE PARA EL DESARROLLO DE SISTEMAS EXPERTOS. EN PARTICULAR PARA AQUELLOS QUE SON UTILES EN ENTORNOS REALES Y PERSIGUEN OBJETIVOS REALES. SE PROPONE UN LENGUAJE DE PROGRAMACION MODULAR PARA EL DESARROLLO DE GRANDES SISTEMAS. ESTE LENGUAJE ESTA BASADO EN MODULOS, MODULOS GENERICOS Y OPERACIONES ENTRE MODULOS QUE FORMAN EL NUCLEO DE UNA METODOLOGIA DE PROGRAMACION INCREMENTAL. CADA MODULO REPRESENTA UN ESPECIALISTA Y CONTIENE TODOS LOS COMPONENTES DE UN SISTEMA EXPERTO COMPLETO. LOS MODULOS CONTIENEN EL CONOCIMIENTO DE DOMINIO (HECHOS Y REGLAS CON INCERTIDUMBRE), EL CONTROL LOCAL (METAREGLAS DE PRIMER ORDEN) Y LA LOGICA LOCAL. SE PROPONE UN ALGEBRA DE INTERVALOS DE VALORES DE VERDAD SIMBOLICA PARA EL TRATAMIENTO DE LA INCERTIDUMBRE Y LA IMPRECISION, ASI COMO LOS MECANISMOS PARA LA TRADUCCION SIN PERDIDA DE LA INFERENCIA ENTRE MODULOS CON DISTINTAS LOGICAS DE ESTOS INTERVALOS. SE PROPONE UN NUEVO MECANISMO DEDUCTIVO BASADO EN LA ESPECIALIZACION DE BASES DE CONOCIMIENTO. ESTE NOS PERMITE MEJORAR TANTO LA COMUNICACION CON EL USUARIO, LOS METODOS DE VALIDACION Y LA COMPRENSIBILIDAD DE LOS SISTEMAS EXPERTOS. TAMBIEN SE PRESENTAN LAS APLICACIONES REALES Y LOS EJEMPLOS MAS IMPORTANTES DESARROLLADOS CON MILORD II.

Autor: RIVES GIL JOSE JULIO.
Año: 1993.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: AUTOMATICA E INFORMATICA INDUSTRIAL.

Resumen: 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.

Autor: RUISANCHEZ CAPELASTEGUI M. ICIAR.
Año: 1993.
Universidad: ROVIRA I VIRGILI.
Centro de lectura: QUIMICA .
Centro de realización: DEPARTAMENTO: QUIMICA PROGRAMA DE DOCTORADO: QUIMICA 901.

Resumen: CON LA PRESENTE TESIS, SE PRETENDE CONTRIBUIR AL ESTUDIO Y APLICACION DE LOS SISTEMAS EXPERTOS EN QUIMICA ANALITICA. INICIALMENTE SE HA PROFUNDIZADO EN EL ESTUDIO DE LOS SISTEMAS EXPERTOS COMO ENTIDADES AISLADAS DE INFORMACION Y EXPERIENCIA Y POSTERIORMENTE INTEGRADOS EN SISTEMAS ANALITICOS INTELIGENTES. LA INTRODUCCION DE INTELIGENCIA EN CONCRETO EN EL DIAGNOSTICO DE SEÑALES ANALITICAS, SE HA PLANTEADO COMO UNA ETAPA POSTERIOR A LA AUTOMATIZACION, POR LO QUE PREVIAMENTE SE HA DESARROLLADO UN SISTEMA ANALITICO ALTAMENTE AUTOMATIZADO.