INTELIGENCIA ARTIFICIAL, 17

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

Resumen: SE DESCRIBE UN SISTEMA, PROGENES, QUE PERMITE RESOLVER AUTOMATICAMENTE UN ALTO PORCENTAJE DE PROBLEMAS Y DEMOSTRACIONES HABITUALES EN LIBROS DE MATEMATICAS. SON TECNICAS QUE PERMITEN INTEGRAR CAPACIDADES DEDUCTIVAS Y DE CALCULO. LA INTEGRACION DE ESTOS ASPECTOS ES MAS SISTEMATICA QUE EN SISTEMAS PREVIOS. COMO CONSECUENCIA DE ESTO, PROGENES PERMITE EL DESARROLLO DE BASES DE CONOCIMIENTO AMPLIABLES, MIENTRAS QUE OTROS SISTEMAS, COMO ANALYTICA, SOLO PUEDEN RAZONAR ACERCA DE FORMULAS MATEMATICAS Y OTROS OBJETOS PREDEFINIDOS FIJOS.

Autor: VELASCO ZAMORA ANGEL.
Año: 1993.
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: DESPUES DE REVISAR EL "ESTADO DEL ARTE" DE LOS SISTEMAS INTELIGENTES DE TUTORIA, Y ANTE LA DESCONEXION Y FALTA DE COOPERACION ENTRE LA PSICOLOGIA COGNITIVA Y LA INTELIGENCIA ARTIFICIAL, SE HA DEDICADO BASTANTE TRABAJO A ANALIZAR LA SITUACION DE LA CIENCIA COGNITIVA Y A ELABORAR MODELOS OPERATIVOS DE ELLA. LOS CAPITULOS 2 Y 3, DENTRO DE ESA DIRECCION, SIENTAN LAS BASES DE UNA AMPLIA LINEA DE INVESTIGACION EN SISTEMAS INTELIGENTES DE TUTORIA A PARTIR DE LA PSICOLOGIA COGNITIVA. POR OTRA PARTE, SE HA CONSTRUIDO UNA ARQUITECTURA FLEXIBLE Y ROBUSTA, MEDIANTE DOS SISTEMAS EXPERTOS COOPERANTES: EL PRIMERO ASUME LA TAREA DE ANALIZAR CONSTANTEMENTE LA SITUACION (O EL ESTADO) DEL ALUMNO Y LA INFORMACION QUE EL GENERA DURANTE LAS DISTINTAS SESIONES DE APRENDIZAJE CON LA MAQUINA. EL SEGUNDO SISTEMA EXPERTO TIENE POR MISION ACONSEJAR Y ACTUAR PARA OPTIMIZAR EL PROCESO DE APRENDIZAJE DESDE EL PUNTO DE VISTA DE LA DIDACTICA GENERAL, SIN CONSIDERAR EN CONCRETO LAS MATERIAS DISTINTAS. EL TUTOR INTELIGENTE (ETI) OPERA EN UN ENTORNO, CONECTADO O RELACIONADO CON DIFERENTES CURSOS DE ENSEÑANZA TUTORIZADA POR ORDENADOR (CETO). SE HA DEDICADO MUCHA ATENCION AL ANALISIS DE LAS FUNCIONES TUTORIALES Y SU INSTRUMENTACION; ETI HA ASUMIDO DIRECTAMENTE ALGUNAS ESTRATEGIAS DE APRENDIZAJE Y OTRAS HAN PASADO A LOS CRUSOS. ETI TAMBIEN TIENE POR MISION DIAGNOSTICAR Y SOLUCIONAR DIFERENTES PROBLEMAS INCLUYENDO ALGUNOS DE MOTIVACION DEL ALUMNO. TRAS CONSTRUIRSE EL PRIMER PROTOTIPO, SE HAN REALIZADO DIVERSAS PRUEBAS CON LA AYUDA DE UN SIMULADOR QUE PERMITE LA INTRODUCCION DE DATOS SIMILARES A LOS QUE EL ALUMNO GENERA AUTOMATICAMENTE DURANTE SUS SESIONES DE APRENDIZAJE. PALABRAS CLAVE: SISTEMAS INTELIGENTES DE TUTORIA, ESTRATEGIA DE APRENDIZAJE, INTELIGENCIA ARTIFICIAL, SISTEMAS EXPERTOS.

Autor: AIBAR PUENTES EDUARDO.
Año: 1992.
Universidad: BARCELONA.
Centro de lectura: FILOSOFIA.
Centro de realización: DEPARTAMENTO: DE LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: HISTORIA Y FILOSOFIA DE LA CIENCIA.

Resumen: LOS SISTEMAS EXPERTOS SON UN TIPO DE PROGRAMAS INFORMATICOS SURGIDOS COMO ALTERNATIVA AL PROGRAMA GENERALISTA CLASICO DE LA INTELIGENCIA ARTIFICIAL. A PESAR DE ELLO LA IMAGEN DEL CONOCIMIENTO SOBRE LA QUE SE APOYA SU CONSTRUCCION COMPARTE LOS PRINCIPIOS BASICOS DE LA CIENCIA COGNITIVA. EN ESTE TRABAJO SE ANALIZAN LOS LIMITES DE DICHA CONCEPCION DEL CONOCIMIENTO Y SE PROPONE UNA IMAGEN ALTERNATIVA DE LA RELACION ENTRE REGLAS Y ACCION. ADEMAS SE EXPLORAN LOS MECANISMOS RETORICOS TAN CARACTERISTICOS DEL CAMPO DE LA INTELIGENCIA ARTIFICIAL Y LOS SISTEMAS EXPERTOS, Y LAS CONSECUENCIAS DE LA ORIENTACION COGNITIVISTA EN EL ESTUDIO DE LA TECNOLOGIA.

Autor: ALCAÑIZ RAYA MARIANO.
Año: 1992.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: EXPRESION GRAFICA EN LA INGENIERIA PROGRAMA DE DOCTORADO: TECNOLOGIA DEL HORMIGON.

Resumen: ESTE TRABAJO DESARROLLA CON TECNICAS BASADAS EN EL CONOCIMIENTO (INTELIGENCIA ARTIFICIAL) UN SISTEMA DE RAZONAMIENTO GEOMETRICO PARA LA REGENERACION GEOMETRICA Y TOPOLOGICA DE INFORMACION GRAFICA INCOMPLETA. LOS ACTUALES SISTEMAS DE RECONOCIMIENTO AUTOMATICO DE PLANOS DE INGENIERIA, SUMINISTRAN, EN EL MEJOR DE LOS CASOS, COMO DATOS DE SALIDA UNA SERIE DE PRIMITIVAS GEOMETRICAS (LINEAS, ARCOS, CIRCULOS, TEXTOS, ETC) SIN NINGUNA RELACION COPOLOGICA. DICHA PERDIDA DE RELACIONES TOPOLOGICAS (P.E PARALELISMO, CONCENTRICIDAD, PERPENDICULARIDAD, ACOTACIONES, TANGENCIAS), SUPONE QUE SOBRE DICHOSRESULTADOS ES NECESARIO LLEVAR A CABO DE FORMA MANUEL, UNA SERIE DE MODIFICACIONES CON OBJETO DE OBTENER FICHEROS CAD UTILES INDUSTRIALMENTE. EL SISTEMA DESARROLLADO PERMITE EL RECONOCIMIENTO AUTOMATICO DE ENTIDADES GEOMETRICAS, RELACIONES TOPOLOGICAS, Y RELACIONES METRICAS (COTAS). DICHO RECONOCIMIENTO ES LLEVADO A CABO A TRAVES DE UN SISTEMA EXPERTO CON REPRESENTACION HIBRIDA DEL CONOCIMIENTO (OBJETOS Y REGLAS). UNA VEZ EFECTUADO DICHO RECONOCIMIENTO ES POSIBLE MODIFICAR LAS RELACIONES METRICAS DEL DISEÑO Y EL SISTEMA REGENERA AUTOMATICAMENTE EL DISEÑO RESPETANDO LAS RELACIONES TOPOLOGICAS DE LAS ENTIDADES GEOMETRICAS. CON ELLO SE CONSIGUE DISPONER DE UN SISTEMA DE GEOMETRIA PARAMETRICA CON TECNICAS BASADAS EN EL CONOCIMIENTO. LA ESTRUCTURA DEL SISTEMA DESARROLLADO ES LA DE UN SISTEMA CAD INTELIGENTE CON RECONOCIMIENTO AUTOMATICO DE "FEATURES" O CARACTERISTICAS, EN ESTE CASO GEOMETRICAS Y TOPOLOGICAS. LA INVESTIGACION DESARROLLADA PRESENTA UTILIDADES EN AQUELLOS CAMPOS EN LOS QUE SE REQUIERA UN RECONOCIMIENTO AUTOMATICO DE ENTIDADES GEOMETRICAS Y SUS RELACIONES TOPOLOGICAS, TALES COMO RECONOCIMIENTO AUTOMATICO DE PLANOS DE INGENIERIA Y/O ENTIDADES ARQUITECTONICAS EN SOPORTE PAPEL, O DIAGRAMAS DE MONTAJES QUE INCLUYAN TEXTO Y GRAFICOS.Ñ

Autor: ALONSO GONZALEZ MANUEL.
Año: 1992.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL.

Resumen: LA TESIS PROPONE UNA CLASE DE ARQUITECTURAS COGNITIVAS MULTINIVEL PARA REPRESENTAR CONOCIMIENTO EN DOMINIOS DETIPO FISICO. SUS PRINCIPALES CARACTERISTICAS CONSISTEN EN LA DEFINICION DE ABSTRACCIONES (TAREAS) PARA EL CONOCIMIENTO CUALITATIVO, ASI COMO LA REPRESENTACION EXPLICITA, CON FORMULACION COGNITIVA, DEL CONOCIMIENTO DE CONTROL A TODOS LOS NIVELES, EN PARTICULAR EN UN NIVEL GENERAL QUE PERMITE ABORDAR PROCESOS DE SIMULACION CUALITATIVA GUIADA POR OBJETIVOS. LA TESIS PROMUEVE UN TIPO DE ENTORNOS DE PROGRAMACION COGNITIVA, A SER DEFINIDOS POR CLASES DE DOMINIOS, SOBRELA CLASE DE ARQUITECTURA PROPUESTA. FINALMENTE, SE APORTA UN LENGUAJE FORMAL PARA DEFINICION DE LOS DISTINTOS TIPOS DE UNIDADES COGNITIVAS Y COMO SOPORTE GENERAL PARA LA CONSTRUCCION DE MODELOS.

Autor: ARRIETA URTIZBEREA AGUSTIN.
Año: 1992.
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 FUNCIONAMIENTOS DE LA INFOR. Y DE LA CIE. COG..

Resumen: EN ESTE TRABAJO HEMOS DESARROLLADO DOS TEMAS QUE RESULTAN RELEVANTES EN EL MUNDO DE LA INTELIGENCIA ARTIFICIAL Y EN CONCRETO EN EL DISEÑO DE AGENTES. EN EL PRIMERO NOS HEMOS OCUPADO DE LAS LOGICAS NO-MONOTONAS Y DE LA POSIBLE TRATABILIDAD DE LAS MISMAS AL RELACIONARIAS CON LA PROGRAMACION LOGICA. Y MOSTRAR NUESTRO ESCEPTICISMO CON RESPECTO A LOS FORMALISMOS NO-MONOTONOS TRIBALENTES FORMULADOS EN ESTE MARCO. EN EL SEGUNDO HEMOS PRESENTADO UNA LOGICA DE LA CREENCIA Y DE LA INTENCION EN EL MARCO DE UN SISTEMA PARA EL TIEMPO.

Autor: BOTANA FERREIRO FRANCISCO.
Año: 1992.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: SE DESARROLLA UN SISTEMA DE APRENDIZAJE INDUCTIVO A PARTIR DE EJEMPLOS. LAS REGLAS DISCRIMINANTES OBTENIDAS A PARTIR DEL GRAFO DE APRENDIZAJE SE REDUCEN UN MOTODO DE AGREGACION UTILIZANDO AUTOMATAS FORMALES. LA COLISION ENTRE EL CONOCIMIENTO PROPORCIONADO POR LOS EJEMPLOS Y EL OBTENIDO DE LA GENERALIZACION DE LAS REGLAS SE CONTROLA MEDIANTE TECNICAS DE ANALISIS CLUSTER.

Autor: CANO OCAÑA JOSE ENRIQUE.
Año: 1992.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.

Resumen: LA PROPAGACION DE LA INCERTIDUMBRE EN GRAFOS DE DEPENDENCIAS TIENE ACTUALMENTE UNA GRAN IMPORTANCIA DENTRO DE LOS SITEMAS PROBALILISTICOS PUROS. EL PROBLEMA FUNDAMENTAL ES QUE NECESITAN UN CONOCIMIENTO DEMASIADO COMPLETO DE LAS DISTINTAS PARTES DEL MISMO. LAS PROBABILIDADES INFERIORES Y SUPERIORES SON UN MODELO ALTERNATIVO PARA ESTO NO SEA ASI. EN ESTA TESIS SE DESARROLLAN LOS SIGUIENTES PUNTOS: 1) ESTUDIO DEL METODO DE CONDICIONAMIENTO DESARROLLADO POR CAMPOS, MORAL (1900). CONSIDERACION DE LOS METODOS DE COMBINACION QUE DE EL SE DERIVAN. 2) ESTUDIO ABSTRACTO DE LA PROPAGACION DE INCETIDUMBRE EN GRAFOS DE DEPENDENCIAS. SE ESTABLECE UNA AXIOMATICA PARA PROPAGAR DISTINTOS TIPOS DE INFORMACION. 3) COMBINACION DE LOS PASOS ANTERIORES PARA PROPONER UN MODELO DE PROPAGACION DE PROBABILIDADES INFERIORES Y SUPERIORES.

Autor: CASLA LUZURIAGA JOSE ANTONIO.
Año: 1992.
Universidad: PAIS VASCO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA PROGRAMA DE DOCTORADO: PLAN 1957.

Resumen: -SE CONSIGUE QUE UNA MAQUINA INTERPRETE LA IMAGEN CORRESPONDIENTE A UN CARACTER Y LA TRANSFORMA EN TEXTO ALFANUMERICO PARA SU POSTERIOR PROCESAMIENTO. -SE ESTUDIA PROCESAMIENTO DE IMAGEN Y PERFILADO. -SE EMPLEAN BASES DE MODELOS Y BASES DE RAICES. -EL RECONOCIMIENTO SE EFECTUA SOBRE MATRICES EN MODO TEXTO.

Autor: CELAYA LLOVER ENRIC.
Año: 1992.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES: SISTEMES INFORMATICS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: EN CIERTAS AREAS DE LA IA, TALES COMO LA PROGRAMACION DE ROBOTS A NIVEL DE OBJETO, PLANIFICACION DE ENSAMBLADOS, INTERPRETACION DE IMAGENES, ETC., SE PRECISA DE CIERTA CAPACIDAD PARA HACER RAZONAMIENTO GEOMETRICO, ES DECIR, HALLAR LAS POSICIONES Y ORIENTACIONES DE UN CONJUNTO DE CUERPOS DE FORMA QUE SE SATISFAGAN UNA SERIE DE RELACIONES ESPACIALES ENTRE ELLOS. LOS RESULTADOS APORTADOS POR LA CINEMATICA A LA SOLUCION DE ESTE PROBLEMA PRESENTAN UN ELEVADO COSTE DE COMPUTACIONAL Y NO OFRECEN LAS CONFIGURACIONES FACTIBLES DE FORMA EXPLICITA, COMO SERIA DE DESEAR. POR OTRO LADO, LOS TRABAJOS EXISTENTES EN IA SE BASAN EN SU MAYORIA EN LA COMPOSICION E INTERSECCION DE RESTRICCIONES, LO QUE, AL NO SER ESTAS OPERACIONES CERRADAS, CONLLEVA LA INCOMPLETITUD DE TALES PROCEDIMIENTOS. EN ESTA TESIS SE PROPONE UN NUEVO ENFOQUE EN EL QUE LA SOLUCION SE EXPRESA MEDIANTE LOS RANGOS DE VALORES QUE CADA VARIABLE PUEDE TOMAR PARA DAR LUGAR A UNA CONFIGURACION FACTIBLE. SE PRESENTA UN PROCEDIMIENTO EFICIENTE PARA HALLAR TALES RANGOS EN CUALQUIER CICLO PLANO O ESFERICO, ASI COMO UN ALGORITMO DE PROPAGACION DE INTERVALOS QUE PERMITE INCORPORAR RESTRICCIONES DE NO-INTERSECCION Y HALLAR SOLUCIONES COMPATIBLES CON VARIOS CICLOS CONECTADOS. EL PROCEDIMIENTO PUEDE TAMBIEN APLICARSE A UNA CLASE RESTRINGIDA DE PROBLEMAS ESPACIALES.

Autor: CUBILLO VILLANUEVA SUSANA.
Año: 1992.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL.

Resumen: LA TESIS CONSTITUYE UNA NUEVA VISION Y UN CONJUNTO DE NUEVAS APORTACIONES SOBRE ALGUNOS CONCEPTOS BASICOS DE LA LOGICA DIFUSA. EL PRIMER CAPITULO SE DEDICA A LOS CONECTIVOS, PARTICULARMENTE A LA CONJUNCION, LAS T-NORMAS HAN SIDO LAS FUNCIONES COMUNMENTE UTILIZADAS A FIN DE REPRESENTAR EL "Y" EN LOGICA DIFUSA; EN ESTE TRABAJO SE PROPONE UN MODELO DE CONJUNCION QUE INCLUYE LA MEDIA GEOMETRICA, Y PARCIALMENTE, LAS MEDIAS PONDERADAS. EL CAPITULO II RECOGE ALGUNOS RESULTADOS SOBRE CONDICIONALES, Y SOBRE ESTADOS LOGICOS. SE APORTA UNA GENERALIZACION DE LA TRANSFORMADA LOGICA DE ZADEH, Y SE ESTUDIAN LAS DIVERSAS GENERALIZACIONES DEL CONDICIONAL MATERIAL CLASICO. EL SIGUIENTE CAPITULO SE DEDICA A LA MONOTONIA, OBTENIENDO UNA CARACTERIZACION PARA LOS PREORDENES, POR MEDIO DE LOS ESTADOS LOGICOS, Y ESTUDIANDO DIVERSOS TIPOS DE MONOTONIA DEBILITADA. COMPLETA LA TESIS EL ANALISIS DE CIERTAS PROPIEDADES PARA ALGUNAS RELACIONES "RACIONALES" DEFINIDAS EN UN ALGEBRA PROBABILIZADA.

Autor: DIAZ DE RADA BRUN JUAN ANTONIO.
Año: 1992.
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 DE ESTA TESIS ES OFRECER UNA TEORIA SOBRE LA "ACCION-RELEVANTE" EN UN MARCO CONSTRUCTIVO. EL PRODUCTO FINAL SERA UNA HERRAMIENTA DE REPRESENTACION DE CONOCIMIENTO (MODELO COMPUTACIONAL) SINTESIS, EN PARTE, DE LAS HERRAMIENTAS EXISTENTES. EL OBJETIVO ES CONSTRUIR UNA TEORIA DE LA REPRESENTACION, ENTENDIENDO QUE UNA TEORIA PSICOLOGICA DE LA REPRESENTACION DEBE SER UNA TEORIA DE LA ACCION COMUNICATIVA.

Autor: LOPEZ IBAÑEZ M. BEATRIZ.
Año: 1992.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUAJGES I SISTEMES INFORMATICS PROGRAMA DE DOCTORADO: INTELLIGENCIA ARTIFICIAL .

Autor: MORENO PICOT SALVADOR.
Año: 1992.
Universidad: VALENCIA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y ELECTRONICA PROGRAMA DE DOCTORADO: 240 A PROCESO DIGITAL DE SEÑALES.

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.

Autor: PULGAR ALLENDES JORGE OSVALDO.
Año: 1992.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE CAMINOS.
Centro de realización: DEPARTAMENTO: CONSTRUCCION.

Resumen: LA TESIS COMIENZA CON UN BREVE ESTUDIO DEL CAMPO DE LA CONSTRUCCION, PARA PASAR A EXAMINAR QUE ES Y QUE DESARROLLOS HA TENIDO LA INTELIGENCIA ARTIFICIAL, SUS TECNICAS Y HERRAMIENTAS APLICADAS A LOS SISTEMAS EXPERTOS Y CUAL ES LA TECNOLOGIA DE ESTOS.A CONTINUACION ESTUDIA EL ESTADO DEL ARTE DE LOS SISTEMAS EXPERTOS APLICADOS AL AREA DE LA INGENIERIA CIVIL, SUBAREA DE LA DIRECCION Y GESTION DE LOS PROYECTOS DE CONSTRUCCION. RECOPILA LOS DIFERENTES SISTEMAS EXISTENTES EN EL MERCADO ANGLOSAJON Y SE PLANTEA EL PROYECTO DE CONSTRUCCION A LA VISTA DE LA LEY DE CONTRATOS DEL ESTADO Y DEL REGLAMENTO GENERAL DE CONTRATACIONES, VIENDO EL PROYECTO COMO UN PROCESO A REALIZAR POR ETAPAS A LAS QUE SE PUEDEN APLICAR LOS SISTEMAS EXPERTOS. PLANTEA LOS PROBLEMAS DE ADMINISTRACION, ORGANIZACION Y COORDINACION DE LOS PROYECTOS DE CONSTRUCCION. FINALMENTE ESTUDIA UNA METODOLOGIA PARA ABORDAR CON SISTEMAS EXPERTOS LAS DIFERENTES ETAPAS O FASES, TERMINANDO CON UNAS CONCLUSIONES QUE PUEDEN ABRIR EL CAMINO EN LA BUSQUEDA DE UN SISTEMA EXPERTO INTEGRADO.

Autor: SANCHEZ AVILA CARMEN .
Año: 1992.
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: LA ECUACION DE FREDHOLM DE PRIMERA ESPECIE MODELA MATEMATICAMENTE UN PROBLEMA TRADICIONAL EN EL TRATAMIENTO DIGITAL DE LA SEÑAL: LA DECONVOLUCION DE SEÑALES. LA RESOLUCION DE ESTA ECUACION ES, GENERALMENTE, EN ESPACIOS DE HILBERT UN PROBLEMA MAL CONDICIONADO; SE PRECISA POR TANTO UNA TECNICA DE REGULARIZACION PARA SU RESOLUCION. ESTA TESIS: 1) FORMULA, ANALIZA, APLICA Y EVALUA DIFERENTES ALGORITMOS DE REGULARIZACION PARA LA RESOLUCION DE ESTA ECUACION, BASADOS EN EL METODO DE OPERADORES DE PROYECCION EN CONJUNTOS CONVEXOS (POCS) ESTANDAR; 2) INTRODUCE UN NUEVO METODO POCS ADAPTATIVO, MEDIANTE LA DEFINICION DE NUEVOS OPERADORES DE PROYECCION ADAPTATIVOS; Y, BASADOS EN EL, FORMULA, ANALIZA, APLICA Y VALORA ALGORITMOS POCS ADAPTATIVOS DE REGULARIZACION -EN EL SENTIDO DE TIKHONOV-MILLER- PARA LA RESOLUCION DE LA ECUACION DE FREDHOLM DE PRIMERA ESPECIE QUE MODELA ESTE PROBLEMA, ESTUDIANDOSE, A SU VEZ, LA CONVERGENCIA DE LOS NUEVOS METODOS DE REGULARIZACION ESTANDAR Y ADAPTATIVA VIA POCS. LOS ALGORITMOS FORMULADOS SE APLICAN AL PROBLEMA CONCRETO DE LA DECONVOLUCION DE SECUENCIAS DISPERSAS CON BORDES Y SINUSOIDALES.

Autor: TABOADA IGLESIAS M. JESUS.
Año: 1992.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA .
Centro de realización: DEPARTAMENTO: ELECTRONICA Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION AVANZADA E INTELIGENCIA ARTIFICIAL.

Resumen: EN ESTA MEMORIA PRESENTAMOS EL DISEÑO, DESARROLLO E IMPLEMENTACION DE UN SISTEMA DE GESTION DE INTERFACES CON EL USUARIO, CON FACILIDADES ESPECIFICAS PARA LA INTEGRACION DE SISTEMAS DE INFORMACION Y AYUDA A LA DECISION EN MEDICINA. PARA ELLO HEMOS ELEGIDO UN CAMINO: APLICAR LAS TECNICAS DE LA INGENIERIA DEL CONOCIMIENTO AL DESARROLLO DE INTERFACES GRAFICOS. LAS APORTACIONES ORIGINALES PODEMOS RESUMIRLAS EN: 1) PROPONEMOS UNA "ARQUITECTURA" DE INTERFAZ SEPARABLE, 2) PROPONEMOS UN "MODELO CONCEPTUAL DE INTERACCION" QUE INCLUYE LOS NIVELES DE DESCRIPCION FISICA, ESTRUCTURAL Y FUNCIONAL, 3) HEMOS DEFINIDO UN "LENGUAJE DE REPRESENTACION" DE LA INTERACCION BASADO EN EL MODELO TEORICO ANTERIOR, 4) INCLUIMOS FACILIDADES PARA LA INTEGRACION CON BASES DE DATOS Y SISTEMAS EXPERTOS EN MEDICINA, 5) HEMOS USADO EL SISTEMA PARA IMPLEMENTAR UN INTERFAZ A UNA "APLICACION REAL" EN ONCOLOGIA, Y 6) HEMOS PRESENTADO RESULTADOS DE UNA EVALUACION Y COMPARADO EL SISTEMA CON OTROS.

Autor: BARREIRO GARCIA ALVARO.
Año: 1991.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: FISICA DE PARTICULAS Y ELECTRONICA PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL (BIENIO 86-88) .

Resumen: LA TESIS ABORDA EL DESARROLLO DE UN SISTEMA EXPERTO PARA EL SEGUIMIENTO DE PACIENTES ONCOLOGICOS SOMETIDOS A PROTOCOLOS CLINICOS DE TERAPIA, HACIENDO USO DE UNA HERRAMIENTA PROPIA DEL GRUPO DE INVESTIGACION (HEDTOOL). SE PROPONE UN MODELO CUALITATIVO DEL PROBLEMA MEDICO BASADO EN LA CONOCIDA TEORIA DE "EL NIVEL DEL CONOCIMIENTO" DE NEWELL. SE REVISA MEDTOOL JUSTIFICANDO SU IDONEIDAD EN DOMINIOS MEDICOS DONDE EXISTE UN PLAN DE TRATAMIENTO ESPECIFICADO A PRIORI Y DONDE SON FUNDAMENTALES LOS ASPECTOS TEMPORALES. LA DESCRIPCION DEL SISTEMA EXPERTO SE REALIZA A PARTIR DE LAS ACCIONES Y OBJETIVOS (DIAGNOSTICOS Y TERAPEUTICOS) DEFINIDOS PREVIAMENTE EN EL MODELO Y SE COMPLEMENTA CON EL INTERFAZ Y LOS PROCEDIMIENTOS DE INTERACCION CON EL SISTEMA EN LA IMPLEMENTACION SOBRE UNA ESTACION DE TRABAJO. FINALMENTE SE ABORDA LA CONSTRUCCION DE UN SISTEMA DE ADQUISICION DEL CONOCIMIENTO QUE PERMITE GENERAR BASES DE CONOCIMIENTO REFLEJANDO DISTINTOS PROTOCOLOS Y QUE OPERA SOBRE UN MODELO FUERTE DE LOS OBJETOS DEL DOMINIO.

Autor: BILBAO TEROL AMELIA.
Año: 1991.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: MATEMATICAS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: ESTA TESIS SE BASA EN UNA LINEA DE EVOLUCION DE LA LOGICA CLASICA HACIA UNA LOGICA DE PRIMER ORDEN CAPAZ DE MANEJAR CUANTIFICADORES NO ESTANDAR. EL CALCULO DE PREDICADOS DE PRIMER ORDEN SE ENRIQUECE CON EL OBJETIVO DE PERMITIR EL ESTUDIO DE LAS INFERENCIAS EXPRESADAS EN LENGUAJE NATURAL QUE INCLUYEN LOS DETERMINANTES "POCOS", "BASTANTES" Y "MUCHOS", DE UNA FORMA PARALELA A LA UTILIZADA POR EL CALCULO QUE TRATA DE EXPLICAR INFERENCIAS EXPRESADAS CON "TODOS" Y "ALGUNOS". A PARTIR DE LOS PRINCIPIOS DE UNIFICACION Y RESOLUCION DE ROBINSON SE GENERAN SENDOS ALGORITMOS PARA EL CASO DE SENTENCIAS CON CUANTIFICACION INTERMEDIA. SE DEFINE INICIALMENTE UNA SEMANTICA Y UNA SINTAXIS PARA LAS NUEVAS FORMULAS. POSTERIORMENTE SE CONSTRUYE UN PROCESO DE NORMALIZACION DE SENTENCIAS CON CUANTIFICACION INTERMEDIA.

Autor: COUTO SAYALERO JULIA ISABEL.
Año: 1991.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: MODELIZACION DE PROBLEMAS ESTRUCTURALES EN BB.CE QUE USEN LOGICAS DE PRIMER ORDEN.