INTELIGENCIA ARTIFICIAL, 14

Autor: LOS ARCOS AZCARATE JOSE LUIS.
Año: 1995.
Universidad: PAIS VASCO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS Y AUTOMATICA PROGRAMA DE DOCTORADO: TENOLOGIA DE LA INFORMACION, ELECTRONICA Y CONTROL.

Resumen: LA TESIS SE CENTRA EN EL ANALISIS Y DISEÑO DE SISTEMAS INTEGRADOS DE AYUDA A LA OPERACION (SIAO) PARA OPERARIOS DE PROCESOS INDUSTRIALES. ESTE TIPO DE SISTEMAS PUEDEN SER UTILIZADOS TANTO DURANTE LAS FASE DE ENTRENAMIENTO INICIAL DE LOS OPERARIOS NOVATOS Y REENTRENAMIENTO DE LOS OPERARIOS EXPERTOS, COMO DURANTE LA OPERACION REAL EN LA PLANTA ACTUANDO COMO SISTEMA DE AYUDA A LA OPERACION. INICIALMENTE, EN LA FASE DE ENTRENAMIENTO, EL SIAO TRATA DE CORREGIR LAS DEFICIENCIAS OPERATIVAS DE LOS ALUMNOS UTILIZANDO PARA ELLO UN ENTORNO DE SIMULACION. PORTERIORMENTE, DURANTE LA OPERACION REAL, EL SIAO SE CONVIERTE EN UN AGENTE EXPERTO DE OPERACION O SISTEMA ASISTENTE QUE SUPERVISA CONTINUAMENTE EL PROCESO Y AL QUE EL OPERARIO PEDE CONSULTAR Y DELEGAR CIERTAS TAREAS (P. EJ., CONTROL DE LOS EQUIPOS DE UNA PARTE DE LA PLANTA). DE ESTA FORMA, EL APRENDIZAJE INICIAL SE CONVIERTE EN COLABORACION CON UN SISTEMA QUE AYUDA AL OPERARIO EN LA SUPERVISION Y CONTROL DEL PROCESO. LA ARQUITECTURA PROPUESTA PARA EL DISEÑO DE SIAO, QUE ENGLOBA TRES MODOS DE FUNCIONAMIENTO DIFERENCIADOS: SISTEMA DE INFORMACION DE PROCESO, SISTEMA ASISTENTE Y SISTEMA DE ENTRENAMIENTO, SE COMPONE DE TRES SUBSISTEMAS, DOMINIO, TUTOR E INTERFACES DE OPERARIO E INSTRUCTOR, DESCOMPONIENDOSE ESTOS A SU VEZ EN MODULO Y SUBMODULOS. UN ASPECTO DESTACABLE DE LA ARQUITECTURA ES LA REPRESENTACION DEL DOMINIO EN TRE NIVELES DE CONOCIMIENTO DIFERENTES: ASOCIACIONES, REGLAS Y MODELOS, SIGUIENDO EL MODELO PROPUESTO POR RASMUSSEN. ESTA ORGANIZACION DEL DOMINIO PERMITE FLEXIBILIZAR LAS ESTRATEGIAS DE INSTRUCCION AL AUMENTAR EL NUMERO DE SESIONES DIDACTICAS DISPONIBLES Y A LA VEZ GENERAR EXPLICACIONES MAS RICAS EN CONTENIDO Y ADAPTADAS AL NIVEL DE CONOCIMIENTOS DEL OPERARIO. CON EL FIN DE EVALUAR EL GRADO DE APLICABILIDAD DE ESTA ARQUITECTURA, SE HA REALIZADO EL PROTOTIPO EXPERIMENTAL SIAOT ORIENTADO A OPERARIOS DE SALA DE CONTROL DE CENTRALES TERMICAS Y CENTRADO EN LA REALIZACION DE CIERTOS PROCEDIMIENTOS DE VARIACION Y RECUPERACION DE CARGA DE LA CALDERA DE UNA CENTRAL TERMICA. LA EVALUACION DEL PROTOTIPO, REALIZADA SIGUIENDO UN PLAN DIVIDIDO EN SEIS FASES, HA SIDO SATISFACTORIA EN LINEAS GENERALES.

Autor: MARROQUIN CIRION JESUS M..
Año: 1995.
Universidad: PAIS VASCO.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: DEPARTAMENTO: LOGICA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA Y FUNDAMENTOS DE LA INFORMATICA Y DE LA CIENCIA COGNITIVA.

Resumen: EN ESTE TRABAJO SE DAN PASOS HACIA LA CONSTRUCCION DE UNA TEORIA LOGICO-FORMAL DE LA ACCION. PARA ELLO SE FORMALIZAN LAS NOCIONES DE CREENCIA, INTENCION Y OBJETIVO COMO OPERADORES MODALES. TAMBIEN SE HACEN PROPUESTAS SOBRE LAS RELACIONES EXISTENTES ENTRE DICHOS ESTADOS MENTALES. SE INSISTE ESPECIALMENTE EN LA CUESTION DE LA FORMACION DE INTENCIONES, HACIENDO PROPUESTAS PARA LA DEFINICION DEL MEJOR PLAN (TRES PROPUESTAS DIFERENTES). EN EL ULTIMO CAPITULO SE TRATA EL PROBLEMA DE LA DINAMICA DE INTENCIONES, INCORPORANDOSE UN PARAMETRO TEMPORAL A LOS DIFERENTES OPERADORES MODALES.

Autor: PALOMAR SANZ MANUEL J..
Año: 1995.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: INGENIERIA DE LA PROGRAMACION E INFORMATICA INDUSTRIAL.

Resumen: ESTA TESIS TRATA LA RESOLUCION DE LA ELIPSIS EN ESTRUCTURAS COORDINADAS COMO UN PROBLEMA DEL ANALISIS DE ORACIONES PARA LA OBTENCION DE LA REPRESENTACION DE SU SIGNIFICADO.SE HA DESARROLLADO UN MECANISMO FORMAL, LAS GRAMATICAS DATALOG EXTENDIDAS (DLGE), ADECUADO PARA LA RESOLUCION DE ESTE FENOMENO LINGUISTICO. LAS DLGE SON UN PROGRAMA DATALOG EXTENDIDO ASOCIADO A UNA GRAMATICA DE CLAUSULAS DEFINIDAS (DCG). NOS HEMOS BASADO EN TECNICAS DE EVALUACION INCREMENTAL (ALGORITMO SEMI-NAIVE) PARA LA OBTENCION DE LA SEMANTICA DE ESTE TIPO DE PROGRAMAS Y HEMOS DESCRITO UN NUEVO METODO DE IDENTIFICACION DEL ANTECEDENTE DEL ELEMENTO ELIDIDO BASADO EN EL PARALELISMO SINTACTICO-SEMANTICO. SE HA ADECUADO EL METODO DE COMPROBACION DE TIPOS SEMANTICOS (IRSAS) AL MECANISMO FORMAL DESARROLLADO.

Autor: PICO MARCO JESUS.
Año: 1995.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SIS TEMAS, COMPUTADORES Y AUTOMATICA PROGRAMA DE DOCTORADO: AUTOMATICA E INFORMATICA INDUSTRIAL.

Resumen: EN LA TESIS SE ESTUDIA EL CONTROL ADAPTATIVO DE SISTEMAS DISCRETOS NO LINEALES MEDIANTE LA UTILIZACION DE ESTRUCTURAS NEUROBORROSAS, HACIENDOSE EN ESPECIAL HINCAPIE EN LA DEMOSTRACION TEORICA DE LOS RESULTADOS OBTENIDOS. SE DISTINGUEN TRES PARTES DIFERENCIADAS: DESARROLLO DE UN SISTEMA NEUROBORROSO ADAPTATIVO CON ESTRUCTURA VARIABLE. DESARROLLO DE UN SISTEMA NEUROBORROSO ADAPTATIVO, CON UTILIZACION DE FUNCIONES DE PERTENENCIA TRIANGULARES Y/O TRAPEZOIDALES NO NECESARIAMENTE SIMETRICAS. ASIMISMO SE ESTUDIA LA POSIBILIDAD DE GENERAR NUEVAS REGLAS EN LINEA, CONSIDERANDOSE LA UTILIZACION DE INDICES DE COHERENCIA PARA DE DECIDIR ENTRE GENERAR NUEVAS REGLAS O AJUSTAR LAS EXISTENTES, PERMITIENDOSE DE ESTA FORMA LA MODIFICACION DE LA ESTRUCTURA DEL SISTEMA NEUROBORROSO. IDENTIFICACION Y CONTROL DE SISTEMAS DISCRETOS NO LINEALES. SE PLANTEA EL PROBLEMA DE LA IDENTIFICACION DE UN MODELO PARAMETRICO DISCRETO NO LINEAL MEDIANTE LEYES DE AJUSTE DE LOS PARAMETROS QUE ASEGUREN QUE TANTO EL ERROR DE IDENTIFICACION COMO LOS PARAMETROS IDENTIFICADOS PERMANECEN ACOTADOS. EN ESTE MARCO, SE DESARROLLAN LEYES DE ADAPTACION CON ZONA MUERTA VARIABLE QUE MEJORAN LOS RESULTADOS OBTENIBLES MEDIANTE ZONAS MUESTRAS FIJAS. ASIMISMO SE DESARROLLA UNA LEY DE ADAPTACION BASADA EN EL CONCEPTO DE REALIMENTACION PARAMETRICA, QUE ASEGURA QUE EL ERROR SE ANULA SI LO HACE EL TERMINO REPRESENTATIVO DE LA DINAMICA NO MOSELADA Y/O PERTURBACIONES. FINALMENTE SE PLANTEA LA UTILIZACION DE LEYES DE ADAPTACION ANTERIORES PARA EL CONTROL ADAPTATIVO DE SIS TEMAS DISCRETOS NO LINEALES, Y SE ANALIZAN LAS CONDICIONES BAJO LAS CUALES PUEDE ASEGURARSE LA ESTABILIDAD DEL SISTEMA DE CONTROL RESULTANTE. IDENTIFICACION Y CONTROL ADAPTATIVO NEUROBORROSO. INTEGRACION DE LOS RESULTADOS OBTENIDOS EN LAS DOS PARTES PREVIAS.

Autor: PORTILLA MANJON MIREN IOSU.
Año: 1995.
Universidad: PUBLICA DE NAVARRA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ESTADISTICA E INVESTIGACION OPERATIVA PROGRAMA DE DOCTORADO: ESTADISTICA E INVESTIGACION OPERATIVA.

Resumen: EN LA MEMORIA SE REALIZA UNA LABOR DE SINTESIS DE LOS DIVERSOS OPERADORES DE AGREGACION PRESENTES EN LA LITERATURA SOBRE CONJUNTOS DIFUSOS, SEÑALANDO SUS DEFINICIONES, TANTO EN EL CONTEXTO DE OPERADORES DIFUSOS DADO POR FUNCIONES CON VALORES EN , COMO EN EL CONTEXTO APLICADO DE OPINIONES Y RELACIONES DE PREFERENCIA DIFUSAS. A PARTIR DE UN ANALISIS COPARATIVO DE LAS CONDICIONES EXIGIDAS EN DICHAS DEFINICIONES, SE PROPONE UN OPERADOR DE AGREGACION QUE RECOGE LAS EXIGENCIAS MAS USUALES EN TALES OPERADORES Y DEL QUE SE ESTUDIAN NUEVAS PROPIEDADES. BASANDONOS EN DICHA AGREGACION SE DEFINEN LAS COMPOSICIONES MAX-F Y MON-F DE RELACIONES BINARIAS DIFUSAS Y DE UNA RELACION CON UN CONJUNTO DIFUSO Y SE ANALIAN SUS PROPIEDADES RESPECTO A LA MONOTONIA, LA DISTRIBUTIVIDAD RESPECTO A LA UNION Y LA INTERSECCION DIFUSAS, LA ASOCIATIVIDAD Y LA CONSERVACION DE INVERSAS, DE LOS SOBCONJUNTOS DE NIVEL Y DE LAS PROYECCIONES. ESTA PARTE CONCLUYE CON EL ESTUDIO DE LA COMPOSICION DE RELACIONES BINARIAS DIFUSAS REFLEXIVAS, ANTIRREFLEXIVAS Y SIMETRICAS. FINALMENTE, SE PLANTEAN LAS ECUACIONES RELACIONALES DIFUSAS BASADAS EN LAS COMPOSICIONES ANTERIORES Y SE PROPONEN METODOS DE CONSTRUCCION DE NUEVAS SOLUCIONES A PARTIR DE SOLUCIONES CONOCIDAS. TAMBIEN SE OBTIENEN SOLUCIONES MAYORANTES Y MINORANTES DE LOS PROBLEMAS HABITUALES, ANALIZANDO LAS CONDICIONES NECESARIAS Y SUFICIENTES PARA QUE LAS RELACIONES QUE SON SOLUCIONES DE DICHAS ECUACIONES SEA REFLEXIVAS, ANTIRREFLEXIVAS O ANTISIMETRICAS SEGUN ZADEH.

Autor: RADEVA IVANOVA PETIA.
Año: 1995.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA - OPCION VISION POR COMPUTADOR .

Resumen: EN ESTA TESIS ESTUDIAMOS LOS PROBLEMAS DE LA SEGMENTACION, PUESTA EN CORRESPONDENCIA Y SEGUIMIENTO A TRAVES DE FORMAS DEFORMABLES. EL OBJETIVO DE ESTE TRABAJO ES DEMOSTRAR COMO LA TEORIA DE LAS FORMAS DEFORMABLES APLICADA A ESTOS PROBLEMAS SE PUEDE MEJORAR. PRIMERO, DADA LA IMPORTANCIA DE LOS PARAMETROS ELASTICOS PARA LOS SNAKES DEFINIMOS UN FORMALISMO BASADO EN MODELOS PARA ESTIMAR LOS PARAMETROS PARA UNA SEGMENTACION OPTIMA. ESTE FORMALISMO ASEGURA QUE LA FORMA DETECTADA TENDRA LA SUAVIDAD NECESARIA. PROPONEMOS FORMULAS PARA ESTIMAR LIMITES DE LOS PARAMETROS OPTIMOS Y GUIA PARA USARLOS PARA UNA SEGMENTACION PRECISA. SEGUNDO, ANALIZAMOS LOS PROBLEMAS BASICOS DE LOS SNAKES. PARA MEJORAR EL COMPORTAMIENTO DE LOS SNAKES PROPONEMOS UN BANCO DE SNAKES: SNAKE SELECTIVO A LA ORIENTACION DE LAS CARACTERISTICAS, SNAKE GUIADO POR UN MODELO, SNAKE, SIMETRICO, ETC. AL FINAL, INTRODUCIMOS UNA NUEVA FORMA DEFORMABLE (B-SOLIDO) COMO UNA GENERALIZACION DE LOS SNAKES BASADOS EN MODELOS. EL B-SOLIDO DETECTA Y SIGUE MAYAS RECTANGULARES DEFORMABLES EN IMAGENES VOLUMETRICAS BAJO RESTRICCIONES DE SUAVIDAD. LA APLICACION DE LAS FORMAS DEFORMABLES BASADAS EN MODELOS ESTA RELACIONADA A LA SEGMENTACION DE MANOS Y HUESOS EN RADIOGRAFIAS DE LA MANO, SEGMENTACION DE IMAGENES FACIALES, ANALISIS DE IMAGENES DERESONANCIA MAGNETICA PARA RECONSTRUIR LA FORMA DEL CORAZON Y DIAGNOSTICAR SU FUNCIONAMIENTO.

Autor: RIQUELME SANTOS JOSE CRISTOBAL.
Año: 1995.
Universidad: SEVILLA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: INGENIERIA ELECTRONICA, INFORMATICA Y SISTEMAS.

Resumen: EN ESTA TESIS SE ESTUDIA UN PROBLEMA DE APRENDIZAJE SUPERVISADO Y AUTOMATICO A PARTIR DE UN CONJUNTO DE DATOS CUANTITATIVOS CLASIFICADOS EN DISTINTAS CLASES. ESTOS DATOS SE ENTENDERAN COMO VALORES DE UNAS CARACTERISTICAS O PARAMETROS DE UN SISTEMA REAL PARA LOS CUALES SE PUEDE CLASIFICAR EL ESTADO DEL SISTEMA EN DISTINTOS TIPOS. EL OBJETIVO GENERAL ES DESARROLLAR TECNICAS QUE PERMITAN MEJORAR ALGUNOS DE LOS SISTEMAS DE CLASIFICACION MAS CONOCIDOS PARA LA OBTENCION DE INFORMACION CUALITATIVA. ESTE PROGRESO SE ORIENTARA PRINCIPALMENTE EN DOS SENTIDOS: POR UN LADO, QUE LOS SISTEMAS RESULTANTES TENGAN UNAS TASAS DE ERROR MENORES QUE LOS DE PARTIDA, Y POR OTRO, QUE LA COMPRENSION POR PARTE DE UN SER HUMANO DEL MODELO OBTENIDO SEA FACIL. PARA LOGRARLO, SE INTENTARA CONSEGUIR QUE EL SISTEMA DE CLASIFICACION SEA AL FINAL DEL PROCESO, UN CONJUNTO DE REGLAS O PREMISAS DEL LENGUAJE NATURAL, QUE EXPONGAN EN FUNCION DEL RANGO DE VALORES DE LOS PARAMETROS CUAL ES EL TIPO CORRESPONDIENTE. ADEMAS DE ESTOS DOS OBJETIVOS PRINCIPALES, LOS METODOS DESARROLLADOS PERMITEN EXTRAER DE LOS DATOS DE PARTIDA, OTRAS INFORMACIONES UTILES COMO MEDIDAS DE LA INFLUENCIA DE LAS CARACTERISTICAS SOBRE EL TIPO, O POSIBLES RELACIONES ENTRE PARAMETROS QUE AYUDEN A UNA MEJOR COMPRENSION DEL SISTEMA DE PARTIDA.

Autor: RODADO MARTINEZ JUAN.
Año: 1995.
Universidad: MURCIA.
Centro de lectura: MEDICINA.
Centro de realización: DEPARTAMENTO: PSIQUIATRIA Y PSICOLOGIA SOCIAL PROGRAMA DE DOCTORADO: PSICOPATOLOGIA Y PSICOLOGIA SOCIAL .

Resumen: SE EXPONE UN SISTEMA EXPERTO PARA EL DIAGNOSTICO DE LOS TRASTORNOS DELIRANTES BASADO EN LAS CARACTERISTICAS FENOMENOLOGICAS DEL DELIRIO PARA ELLO SE ELABORO UNA ENTREVISTA SEMIESTRUCTURADA QUE RECOGE DICHAS CARACTERISTICAS. SE PASO A 180 PACIENTES DELIRANTES. SE HA REALIZADO UNA ANALISIS DISCRIMINANTE DE LA MISMA CRUZANDO LOS ITEMS QUE SE HAN ENCONTRADO SIGNIFICATIVOS CON CADA UNO DE LOS DIAGNOSTICOS MEDIANTE TABLAS DE CONTINGENCIA. UNA VEZ OBTENIDAS LAS ASOCIACIONES DE LOS ITEMS CON CADA DIAGNOSTICO SE HAN IMPLEMENTADO MEDIANTE UNA HERRAMIENTA INFORMATICA CONSTITUYENDO LA BASE DE CONOCIMIENTO DEL SISTEMA EXPERTO.

Autor: RODRIGUEZ DE SOTO ADOLFO.
Año: 1995.
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: EN LA MEMORIA SE ABORDAN DOS ASPECTOS DE LA LOGICA FUZZY: LA INFERENCIA, MEDIANNTE EL CONCEPTO DE ESTADO LOGICO BORROSO. Y LA REPRESENTACION DE PREDICADOS VAGOS, MEDIANTE UN MODELO PARA LA OBTENCION DE LA FUNCION DE PERTENENCIA GENERALIZADA DE UN PREDICADO GRADUADO O BORROSO. ADEMAS SE ABORDA EL PROBLEMA DE LA REPRESENTACION DE ANTONIMOS Y SINONIMOS EN EL MARCO DE LA LOGICA BORROSA.

Autor: RODRIGUEZ GALAN ROBERTO.
Año: 1995.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS.

Resumen: PARA EL RECONOCIMIENTO DE PATRONES SE DISPONE DE DIVERSAS TECNICAS: LOS PLANTEAMIENTOS PURAMENTE ESTADISTICOS DEV82, EL ESTUDIO DE LAS CARACTERISTICAS INHERENTES A CADA PATRON MEDIANTE TECNICAS DE TRATAMIENTO DE IMAGENES PEA91, LAS REDES NEURONALES EN TODAS SUS VERTIENTES, DESDE LOS MODELOS SUPERVISADOS MCCC88 HASTA LOS NO-SUPERVISADOS GRO82C. UNA DE LAS APROXIMACIONES DE MAYOR INTERES ES LA PROPORCIONADA POR LOS MODELOS NEURONALES NO-SUPERVISADOS. LA APLICACION DE LOS MODELOS NEURONALES, EN Y LOS BASADOS EN LA TEORIA DE RESONANCIA ADAPTATIVA EN PARTICULAR, A ENTORNOS REALES CONLLEVA UNA ENORME PROBLEMATICA, EN LA MAYORIA DE LAS OCASIONES MOTIVADA POR TRATARSE DE TEORIAS DE AMBITO GLOBAL NO APLICABLES A SITUACIONES CONCRETAS GRO82A Y GRO82B. POR CONSIGUIENTE, SU IMPLEMENTACION EN ENTORNOS REALES ES EXCESIVAMENTE COMPLEJO; PARA LOGRAR QUE SU IMPLEMENTACION EN APLICACIONES DE PRODUCCION SE PLANTEAN MODIFICACIONES AL MODELO GENERAL QUE NO IMPLIQUEN PERDIDA DE SUS CARACTERISTICAS PRINCIPALES, ES DECIR, LA CATEGORIZACION DE PATRONES GENERICOS EN ENTORNOS CAMBIANTES SIN LIMITACIONES NI DE ALCANCE NI DE TIPO NI DE TAMAÑO. EN CONSECUENCIA, SE PRETENDE CONOCER LAS LIMITACIONES INHERENTES A LOS MODELOS NEURONALES NO SUPERVISADOS BASADOS EN LA TEORIA DE RESONANCIA ADAPTATIVA, PROPONER MODIFICACIONES AL MECANISMO DE APRENDIZAJE DE LOS MODELOS ESTUDIADOS CON OBJETO DE OPTIMIZAR SU APLICACION A ENTORNOS INDUSTRIALES CONCRETOS Y MOSTRAR DISTINTOS TIPOS DE APLICACIONES CON IMPLANTACION INMEDIATA EN ENTORNOS REALES. CON OBJETO DE IMPLANTAR LAS MODIFICACIONES PROPUESTAS, SE HAN DESARROLLADO DEMOSTRADORES DE ART PARA LOS SIGUIENTES TIPOS DE PATRONES DE ENTRADA: BIDIMENSIONALES BINARIOS, UNIDIMENSIONALES CONTINUOS ESTATICOS (LECTURA DE SUSTANCIAS MEDIANTE LA TECNICA DE INFRARROJO CERCANO) Y BIDIMENSIONALES CONTINUOS ESTATICOS. EL SIGUIENTE PASO NATURAL ES EL TRATAMIENTO DE PATRONES TRIDIMENSIONALES.

Autor: RODRIGUEZ RODRIGUEZ ABRAHAM.
Año: 1995.
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: EL PRESENTE TRABAJO HA PROPUESTO UNA ARQUITECTURA FUNCIONAL Y UN ENFOQUE DEL PROPIO RAZONAMIENTO ANALOGICO INTRADOMINIO QUE RESPONDE EFICAZMENTE A LAS CARENCIAS DETECTADAS EN EL CAMPO, POR CUANTO BASAMOS NUESTRO TRABAJO EN EL MODELO COGNITIVO DESARROLLADO POR GAINES; DESARROLLAMOS UNA HERRAMIENTA GENERICA APLICABLE SOBRE MULTIPLES DOMINIOS Y TAREAS, PROPORCIONANDO MEDIDAS DE BONDAD ACERCA DEL RENDIMIENTO Y CALIDAD DE LA FORMALIZACION; Y POSIBILITANDO LA UTILIZACION DE LAS METODOLOGIAS TRADICIONALES DE DESARROLLO DE SBC CON MINIMAS ADAPTACIONES AL UTILIZAR ESTRUCTURAS DE REPRESENTACION SIMPLES CON RESPONSABILIDADES CLARAMENTE DIFERENCIADAS.INTRODUCIMOS UN ESQUEMA DE REPRESENTACION COMPUESTO DE: A) UNA MEMORIA DE CASOS EN LA QUE SE ESTRUCTURA EL CONOCIMIENTO EPISODICO, LA CUAL, COMO ESTRUCTURA DE MAYOR NIVEL, GOBIERNA EL FUNCIONAMIENTO DEL SISTEMA PROPORCIONANDO LA UNIDAD DE RECUPERACION (CASO) Y LA GUIA DE RESOLUCION PARA UNA NUEVA SITUACION. B) UNA MEMORIA CAUSAL QUE PERMITE CONSTRUIR SOLUCIONES EN BASE A LAS TRAZAS DERIVACIONALES DE LOS CASOS ALMACENADOS, A LA VEZ QUE PROPORCIONA UNA JUSTIFICACION DEL RAZONAMIENTO SEGUIDO DURANTE LA RESOLUCION, Y AUMENTA EL ABANICO DE SITUACIONES QUE EL SISTEMA ES CAPAZ DE RESOLVER. Y C) UN MODELO CONCEPTUAL QUE ORGANIZA EL CONOCIMIENTO JERARQUICAMENTE, QUE ES UTILIZADO COMO VEHICULO DE CONSTRUCCION DE ABSTRACCIONES Y ELABORACIONES DE LA INFORMACION DE BAJO NIVEL, Y COMO NEXO QUE ARTICULA LA COMUNICACION ENTRE LAS TRES ESTRUCTURAS. HEMOS ESTABLECIDO UNA NUEVA FUNCION DE SIMILARIDAD HEURISTICA NO SIMETRICA QUE RECOGE LAS DISTINTAS APORTACIONES QUE PROPORCIONAN LAS ESTRUCTURAS REPRESENTACIONALES DEPENDIENDO DE LA IMPORTANCIA DE CADA UNIDAD DE INFORMACION. LA FS REALIZA UNA TRANSFORMACION DEL ESPACIO DE ESTADO FORMADO POR CADA UNIDAD DE INFORMACION AL FORMADO UNICAMENTE POR OCHO DIMENSIONES.

Autor: ROMO URIARTE JESUS.
Año: 1995.
Universidad: PAIS VASCO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS Y AUTOMATICA PROGRAMA DE DOCTORADO: TECNOLOGIA ELECTRONICA Y CONTROL.

Resumen: EN EL PRESENTE TRABAJO SE HA ABORDADO EL ESTUDIO DE IMAGENES DIGITALES TOMADAS EN NIVELES DE GRIS, DESDE LA PERSPECTIVA DE LA INTELIGENCIA ARTIFICIAL. CONCRETAMENTE, SE HA TRATADO EL PROBLEMA DE LA SEGMENTACION DE IMAGENES Y LA INTERPRETACION DE ESCENAS TRIDIMENSIONALES. LAS APORTACIONES MAS RESEÑABLES DE ESTE TRABAJO SON TRES: 1. LA POSIBILIDAD DE EMPLEAR TECNICAS PROCEDENTES DE LA INTELIGENCIA ARTIFICIAL PARA RESOLVER PROBLEMAS RELACIONADOS CON LA VISION POR COMPUTADOR. 2. EL DESARROLLO DE HERRAMIENTAS SOFTWARE QUE BASANDOSE EN EL GRADIENTE DE LOS NIVELES DE GRIS DE LA IMAGEN, CONVIERTA DICHA IMAGEN EN UN GRAFO SOBRE EL CUAL SE APLIQUEN METODOS DE BUSQUEDA HEURISTICA CON EL FIN DE DETERMINAR LOS PERFILES DE LOS OBJETOS PRESENTES EN LA ESCENA. 3. SE HA ESTABLECIDO LA METODOLOGIA ADECUADA PARA EFECTUAR EL SEGUIMIENTO DE UN OBJETO ICONICO Y RIGIDO EN EL ESPACIO 3-D. LA METODOLOGIA PARA LA INTERPRETACION DE IMAGENES TRIDIMENSIONALES SE RESUME EN LOS SIGUIENTES PUNTOS: A) CALIBRACION DE LA CAMARA B) OBTENCION DEL PAR ESTEREOSCOPICO C) APLICACION DEL ALGORITMO PROPUESTO AL ANALISIS 2-D D) TRIANGULACION Y RESTRICCIONES GEOMETRICAS

Autor: SANCHEZ MARRE MIQUEL.
Año: 1995.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: EN ESTA TESIS SE PRESENTA LA INVESTIGACION Y EL TRABAJO DESARROLLADO EN EL DISEÑO Y LA IMPLEMENTACION DE UNA ARQUITECTURA INTEGRADA MULTI-NIVEL DE SUPERVISION EN TIEMPO REAL, DE PLANTAS DE TRATAMIENTO O ESTACIONES DEPURADORAS DE AGUAS RESIDUALES (EDAR). LA INVESTIGACION DESARROLLADA RECOJE UNA DOBLE FUENTE DE PROBLEMAS: POR UN LADO, LA INSUFICIENCIA DE LOS METODOS HABITUALES DE INGENIERIA QUIMICA APLICADOS A LAS EDARS, Y POR EL OTRO, LAS LIMITACIONES DE LOS SISTEMAS BASADOS EN EL CONOCIMIENTO AL ENFRENTARSE CON PROBLEMAS DEL MUNDO REAL. LA GESTION, CONTROL Y SUPERVISION DE UNA EDAR ES UNA TAREA MUY COMPLEJA Y PELIGROSA, DEBIDO A LAS CARACTERISTICAS DE LAS EDARS Y A LAS CATASTROFICAS CONSECUENCIAS A LAS QUE PUEDE LLEVAR UN MAL FUNCIONAMIENTO DE LA PLANTA. LAS TECNICAS HABITUALES -ALGORITMOS DE CONTROL NUMERICOS- NO SON CAPACES DE CONTROLAR LA EDAR CUANDO ESTA SE ENCUENTRA EN SITUACIONES DE FUNCIONAMIENTO ANORMAL. NECESITAN LA INTEGRACION DE OTRAS TECNICAS QUE PERMITAN INCORPORAR EL CONOCIMIENTO EXPERTO DE LOS OPERADORES DE LAS PLANTAS Y DE LOS LIBROS, ASI COMO LAS EXPERIENCIAS ADQUIRIDAS EN EL PASADO FUNCIONAMIENTO DE LA PLANTA BAJO CONTROL. LA ARQUITECTURA, LLAMADA DAI-DEPUAR, ES EL FRUTO DE LA INTEGRACION DE DIVERSAS TECNICAS DE INTELIGENCIA ARTIFICIAL CON OTRAS DE INGENIERIA DE CONTROL Y DE INGENIERIA QUIMCIA. EL OBJETIVO GLOBAL DE LA SUPERVISION SE LLEVA A CABO DE FORMA DISTRIBUIDA MEDIANTE UN CONJUNTO DE TAREAS: EVALUACION DEL SISTEMA, DIAGNOSIS LOCAL DE LOS SUBSISTEMAS, ADAPTACION, DIAGNOSIS GLOBAL, SUPERVISION, VALIDACION Y ACTUACION. EL CONOCIMIENTO EXPERTO ESTA DISTRIBUIDO ENTRE DIFERENTES BASES DE CONOCIMIENTO QUE COOPERAN PARA LA SUPERVISION GLOBAL DE LA PLANTA. LA ARQUITECTURA ES MULTINIVEL, Y HA SIDO ESTRUCTURADA A PARTIR DEL ESTUDIO DE LOS DISTINTOS TIPOS DE CONOCIMIENTO Y DE LAS DISTINTAS TAREAS A REALIZAR. ESTE HECHO PROPORCIONA UNA CIERTA INDEPENDENCIA A LOS DISTINTOS NIVELES QUE COMPONEN LA ARQUITECTURA: NIVEL DE DATOS, NIVEL DE CONOCIMIENTO/PERICIA, NIVEL DE SITUACIONES Y NIVEL DE PLANES DE ACTUACION.

Autor: TABUENCA DOPICO PEDRO.
Año: 1995.
Universidad: CANTABRIA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: TECNOLOGIA ELECTRONICA, ING. DE SISTEMAS Y AUTOMATICA PROGRAMA DE DOCTORADO: TECNOLOGIA ELECTRONICA, ING. DE SISTEMAS Y AUTOMATICA.

Resumen: ESTA TESIS DOCTORAL DESARROLLA NUEVAS TECNICAS DE SINTESIS DE ALTO NIVEL QUE PERMITEN UNA AMPLIA EXPLORACION DE SOLUCIONES EN EL ESPACIO DE DISEÑO RT. SE HAN DASARROLLADO NOVEDOSOS ALGORITMOS PARA LA SELECCION DEL PUNTO DE RELOJ, Y PARA LA PLANIFICACION Y ASIGNACION DE OPERACIONES DEL CAMINO DE DATOS. TAMBIEN SE HA DESARROLLADO UN SISTEMA DE EXPLORACION BASADO EN REGLAS CN LA UTILIZACION DE CONCEPTOS DE LOGICA DIFUSA FINALMENTE EL SISTEMA SE HA INTEGRADO EN UN ENTORNO DE CO-DISEÑO Y SE HA MOSTRADO SU APLICABILIDAD CON UN EJEMPLO INDUSTRIAL.

Autor: VARELA ARIAS JOSE RAMIRO.
Año: 1995.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: MATEMATICAS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: EL OBJETIVO DE LA PROGRAMACION LOGICA PARALELA ES APROVECHAR AL MAXIMO LAS FUENTES DE PARALELISMO QUE OFRECEN LOS PROGRAMAS LOGICOS. DE ESTAS LAS DOS MAS IMPORTANTES SON EL PARALELISMO AND Y EL OR. EL PRIMERO CONSISTE EN EVALUAR SIMULTANEAMENTE VARIOS PREDICADOS DE DE UNA PREGUNTA QUE NORMALMENTE NO COMPARTEN VARIABLES LIBRES, DENOMINANDOSE EN ESTE CASO PARALELISMO AND INDEPENDIENTE O RESTRINGIDO. EL SEGUNDO PERMITE EXPLOTAR A LA VEZ TODAS LAS REGLAS CON LA MISMA CONCLUSION. EN ESTA TESIS PRESENTAMOS UN MODELO DE INTERPRETACION DE PROGRAMAS LOGICOS QUE EXPLOTA LAS DOS FUENTES DE PARALELISMO ANTERIORES. DESPUES DE UN ESTUDIO DE ALGUNOS DE LOS MODELOS MAS SIGNIFICATIVOS QUE HAN SIDO PROPUESTOS EN LOS ULTIMOS AÑOS, HEMOS IDENTIFICADO ALGUNOS PROBLEMAS IMPORTANTES PARA LOS CUALES SE PUEDEN OFRECER SOLUCIONES ALTERNATIVAS, COMO SON LA REPRESENTACION DE LAS SOLUCIONES MULTIPLES QUE SE PRODUCEN COMO CONSECUENCIA DEL PARALELISMO OR, Y EL CALCULO Y REPRESENTACION DE LA ORDENACION PARCIAL DE LOS PREDICADOS PARA REALIZAR EL PARALELISMO AND INDEPENDIENTE. EN ESTE TRABAJO DESARROLLAMOS SOLUCIONES NUEVAS A LOS DOS PROBLEMAS ANTERIORES MEDIANTE EL USO DE ESTRUCTURAS ORDENADAS PARA LA REPRESENTACION DE LA INFORMACION: LA RED DE PROCESOS Y SOLUCIONES PARA EL PRIMERO Y EL RETICULO DE FLUJO DE DATOS PARA EL SEGUNDO. ESTAS ESTRUCTURAS NOS HAN PERMITIDO DISEÑAR UN NUEVO MODELO DE INTERPRETACION QUE PRESENTA ALGUNAS VENTAJAS CON RESPECTO A OTROS SIMILARES. POR EJEMPLO LA COMPACTACION DE LA INFORMACION RELATIVA A LAS SOLUCIONES, LA REDUCCION DEL ESPACIO DE BUSQUEDA Y LA POSIBILIDAD DE EXPLOTAR ALGUNAS FUENTES SECUNDARIAS DE PARALELISMO. ALGUNAS DE LAS CUALES HAN SIDO PUESTAS DE MANIFIESTO A TRAVES DE UNA SIMULACION DEL MODELO.

Autor: VENTURA SOTO SEBASTIAN EMILIO.
Año: 1995.
Universidad: CORDOBA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: QUIMICA ANALITICA PROGRAMA DE DOCTORADO: QUIMICA ANALITICA AVANZADA.

Resumen: LAS REDES NEURONALES ARTIFICIALES SON METODOS DE ESTIMACION SEMIPARAMETRICOS DE LAS FUNCIONES DE DENSIDAD DE LAS POBLACIONES DE LAS QUE SE EXTRAEN LOS DATOS, BASADOS EN LA EXISTENCIA DE MEZCLAS DE DISTRIBUCIONES PERTENECIENTES A UNA CLASE MUY GENERAL DE FUNCIONES DONDE EL NUMERO DE PARAMETROS ADAPTATIVOS PUEDE AUMENTAR EN FORMA SISTEMATICA PARA CONSTRUIR MODELOS MAS FLEXIBLES, SIENDO ESTE NUMERO VARIABLE E INDEPENDIENTE DEL TAMAÑO MUESTRAL. MEDIANTE EL USO DE REDES NEURONALES, ESTA MEMORIA HA CUBIERTO LOS SIGUIENTES OBJETIVOS: 1. SE HA EVALUADO EL POTENCIAL DE LAS REDES NEURONALES ARTIFICIALES COMO UNA EFICAZ HERRAMIENTA EN CINETOMETRIA, DEMOSTRANDOSE LA ROBUSTEZ DE ESTE TIPO DE METODOS EN LA ESTIMACION DE PARAMETROS ANALITICOS. 2. SE HA DEMOSTRADO LA UTILIDAD DE LAS REDES NEURONALES ARTIFICIALES EN DETERMINACIONES CINETICAS DE MULTICOMPONENTES, MEJORANDO LA CALIDAD DE LOS RESULTADOS ANALITICOS Y ABORDANDO SITUACIONES LIMITE DIFICILES DE ABORDAR POR OTRAS TECNICAS CINETOMETRICAS, A SABER, RELACIONES DE CONSTANTES PROXIMAS A LA UNIDAD, PROCESOS CINETICOS COMPLEJOS Y PRESENCIA DE EFECTO CINETICO MUTUO. 3. SE HAN DESARROLLADO DISEÑOS DE RED DE DIMENSION MINIMA, REDUCIENDO DE ESTE MODO EL NUMERO DE PATRONES Y EL TIEMPO NECESARIOS PARA EL ENTRENAMIENTO. EN ESTE SENTIDO, SE HAN DESARROLLADO METODOLOGIAS DE PREPROCESADO DE LA INFORMACION QUE HAN REDUCIDO ENORMEMENTE LA DIMENSIONALIDAD DEL PROBLEMA. ASIMISMO, SE HAN VERIFICADO LOS PROCEDIMIENTOS REALIZADOS, GENERALIZANDO ESTAS METODOLOGIAS EN LA MEDIDA DE LO POSIBLE.

Autor: AGUIAR FERNANDEZ M. MAR.
Año: 1994.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: OFRECE LA POSIBILIDAD DE ACERCAR LOS DOS COLECTIVOS INVOLUCRADOS EN EL MUNDO DE LA ENSEÑANZA: POR UNA PARTE LOS PROFESORES TIENEN UNA OPINION SOBRE LOS CONOCIMIENTOS QUE DEBEN APORTAR A SUS ALUMNOS, Y POR OTRO LOS ESTUDIANTES TIENEN UNAS NECESIDADES QUE PUEDEN O NO COINCIDIR CON LAS CONSIDERACIONES DE SUS PROFESORES, DEBIDO A DIFERENTES CAUSAS, COMO PUEDEN SER LAS INQUIETUDES PERSONALES, LA ACTUALIDAD DE LA MATERIA, SU EVOLUCION A LO LARGO DEL TIEMPO, ETC. LA BASE DEL ESTUDIO SE HA REALIZADO A PARTIR DE LOS CONCEPTOS QUE LOS EXPERTOS EN LA MATERIA CONSIDERAN FUNDAMENTALES PARA SU CONOCIMIENTO, Y SU SOPORTE HA SIDO LA TEORIA DE BRUNER PARA LA ADQUISICION DE CONCEPTOS, DE FORMA QUE SIRVA A LOS EXPERTOS COMO APOYO PARA ESTRUCTURAR LA INFORMACION NECESARIA PARA CADA CONCEPTO. ADEMAS, LOS EXPERTOS DECIDIRAN UN NIVEL DE DIFICULTAD PARA CADA CONCEPTO. LOS ESTUDIANTES SE ENFRENTARAN A LOS CONCEPTOS QUE LES CORRESPONDAN EN FUNCION DE CIERTAS CARACTERISTICAS Y EL SISTEMA IRA RECORRIENDO ALGUNOS DE LOS NIVELES DE DIFICULTAD HASTA CONSEGUIR ENCONTRAR EL NIVEL DE CONOCIMIENTO QUE LE CORRESPONDA AL ESTUDIANTE, QUE A SU VEZ PODRA SOLICITAR INFORMACIONES INTERESANTES PARA SUS INTERESES NAVEGANDO A TRAVES DEL SISTEMA. LAS INFORMACIONES ORIGINADAS DE LAS CONTESTACIONES DE LOS ESTUDIANTES SERVIRAN PARA REALIZAR UNOS PROCESOS EN LOS QUE LOS CONCEPTOS SE DESPLAZARAN HASTA LOS NIVELES DE DIFICULTAD MAS ADECUADOS A LOS CONOCIMIENTOS DE LOS ESTUDIANTES. DE ESTA FORMA, LOS PROFESORES PODRAN CONOCER LA EVOLUCION QUE VAN SUFRIENDO LOS CONCEPTOS O GRUPOS DE CONCEPTOS DEL SISTEMA, Y TOMAR LAS DECISIONES OPORTUNAS EN CUANTO A SUS ENSEÑANZAS POSTERIORES.

Autor: ALONSO TAPIA EUSEBIO.
Año: 1994.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.

Resumen: SE COMIENZA JUSTIFICANDO LA NECESIDAD DE UNA ALTERNATIVA AL PARADIGMA LOGICO DE LA IA, PROPONIENDOSE LOS PRINCIPIOS BASICOS DE UN PARADIGMA FISICO. DENTRO DE ESTE, SE REVISAN LOS MODELOS DE PROCESAMIENTO DISTRIBUIDO COMPETITIVO. EL PROCESAMIENTO SE INTERPRETA CON REFERENCIA A LAS TEORIAS DE CATEGORIZACION, CONSTATANDO LA DIFICULTAD PARA FORMAR REPRESENTACIONES UNITARIAS DE LAS CLASES CON EL MODELO DE KOHONEN. CON ESTE FIN SE PROPONE EL MODELO DE DENSIDAD DE ESTIMULOS, ANALIZANDOSE SU COMPORTAMIENTO SIGUIENDO LA METODOLOGIA DEL PARADIGMA FISICO. SE COMPRUEBA LA FORMACION DE REPRESENTACIONES UNITARIAS AL CLASIFICAR DIVERSOS ESTIMULOS, CATEGORIAS ARTIFICIALES Y LETRAS IMPRESAS, CON EL MODELO PROPUESTO. FINALMENTE SE DISCUTEN LAS CONCLUSIONES DE LA INVESTIGACION Y SE SEÑALAN LAS ORIENTACIONES MAS RELEVANTES PARA EL FUTURO.

Autor: ARREGI IPARRAGIRRE XABIER.
Año: 1994.
Universidad: PAIS VASCO .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ASPECTOS TEORICOS DE LA INTELIGENCIA ARTIFICIAL Y SU RELACION CON OTRAS TECNOLOGIAS..

Resumen: EN ESTE TRABAJO SE HA DISEÑADO EL SISTEMA DICCIONARIAL MULTILINGUE ANHITZ. EL SISTEMA AUXILIA EN LA TRADUCCION HUMANA DE UNIDADES LEXICAS, MOSTRANDO COMPORTAMIENTOS PASIVOS Y ACTIVOS. DE ESTE MODO, ADEMAS DE SER UN SISTEMA DE CONSULTA, ANHITZ ADQUIERE LA DIMENSION DE UN SISTEMA DE AYUDA INTELIGENTE. SE HAN TRATADO LOS CAMPOS DE LA TRADUCCION HUMANA ASISTIDA POR ORDENADOR, LA LEXICOGRAFIA COMPUTACIONAL Y LOS SISTEMAS DE AYUDA BASADOS EN EL CONOCIMIENTO EN UN INTENTO DE INTEGRAR ESTAS DISCIPLINAS. EN NUESTRA OPINION ESTE TIPO DE INTENTOS DE INTEGRACION RESULTAN FRUCTIFEROS Y ENRIQUECEDORES. Y NOS ATREVERIAMOS A DECIR QUE HASTA NECESARIOS, PUESTO QUE LA AYUDA A LOS USUARIOS HUMANOS EN EL USO DE LOS DICCIONARIOS DEBERIA IR MAS ALLA DE LOS DICCIONARIOS PASIVOS CLASICOS. LOS DICCIONARIOS DEBEN SER INSTRUMENTOS ESPECIALIZADOS, ACTIVOS Y CAPACES DE AUXILIAR EN EL DESARROLLO DE TAREAS COMPLEJAS. COMO METODOLOGIA DE DISEÑO, EN LUGAR DEL PROTOTIPADO RAPIDO, SE PROPONE LA UTILIZACION DE MODELOS FORMALES Y LA DISTINCION CLARA ENTRE LA ESPECIFICACION Y LA IMPLEMENTACION. EN NUESTRO TRABAJO Y RESULTADOS SE HA REFLEJADO UNA DIFERENCIACION EN CUATRO NIVELES DE CONOCIMIENTO: DEL DOMINIO, DE INFERENCIA, DE TAREA Y ESTRATEGICO. EL NIVEL DE DOMINIO E INFERENCIA ESTAN RECOGIDOS EN LA BASE DE CONOCIMIENTO DICCIONARIAL ANHITZ. EN ESTE AMBITO SE HA DESARROLLADO UNA PROPUESTA DE REPRESENTACION DEL CONOCIMIENTO DICCIONARIAL BILINGUE. PARA EL MANEJO DEL NIVEL DE TAREA SE HA MODELIZADO EL USO DE LOS DICCIONARIOS EN LOS PROCESOS DE TRADUCCION LEXICA Y EL NIVEL ESTRATEGICO SE TRATA EN LA ARQUITECTURA DEL SISTEMA. LA FUNCIONALIDAD DE ANHITZ SE ASEMEJA A LOS SISTEMAS DE AYUDA ACTIVOS Y AMOLDABLES, PERO TIENE CARACTERISTICAS INNOVADORAS.

Autor: CARACA VALENTE HERNANDEZ JUAN PEDRO.
Año: 1994.
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: EN EL PRESENTE TRABAJO SE PROPONE UN MODELO DE RAZONAMIENTO, O MAS CONCRETAMENTE DE MULTIRAZONAMIENTO, DENOMINADO DIARIA, QUE PERMITE COMBINAR LA APLICACION DE LOS TRES METODOS DE RAZONAMIENTO BASICOS, DEDUCCION, INDUCCION Y ABDUCCION, PARA ESTUDIAR NUEVAS POSIBILIDADES EN LA DEFINICION DE MOTORES DE INFERENCIA PARA SISTEMAS BASADOS EN CONOCIMIENTOS. EL ASPECTO MAS ORIGINAL DE ESTE TRABAJO RESIDE EN LA FORMA EN QUE SE REALIZA LA ACTUACION CONJUNTA DE LOS TRES METODOS. CADA METODO DE RAZONAMIENTO SE DESARROLLA A TRAVES DE UNA O MAS TECNICAS DE INFERENCIA QUE SE EJECUTAN EN FUNCION DEL TIPO DE PROBLEMA A RESOLVER Y SU ESTADO ACTUAL DE RESOLUCION, SIN QUE EXISTAN OTRO TIPO DE RESTRICCIONES DEFINIDAS A PRIORI.