INTELIGENCIA ARTIFICIAL, 19

Autor: BALSA RUA RAMON.
Año: 1989.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.

Resumen: LOS OBJETIVOS DE ESTE TRABAJO SE CENTRAN EN LA INTEGRACION DE UN BASE DE CONOCIMIENTO RELATIVA A LAS PATOLOGIAS GLAUCOMATOSAS EN UN ENTORNO INSTRUMENTAL. ESTE INCLUYE BASICAMENTE A TECNICAS DE PROCESADO DE IMAGENES DEL DISCO OPTICO Y A EXPLORACION SELECTIVAS DEL CAMPO VISUAL, EN TANTO QUE LA BASE DE CONOCIMIENTO IMPLEMENTADA ES, EN SU PARTE DESCRIPTIVA, LA DESARROLLADA EN EL PROYECTO CASNET. EL PROBLEMA DE LA IDENTIFICACION DE UNA PATOLOGIA GLAUCOMATOSA PUEDE DESDOBLARSE EN TRES NIVELES DE INFORMACION, REFERENCIADOS COMO GLOBAL, LOCAL Y DOWN RESPECTIVAMENTE, EN EL PRIMER NIVEL SE CONSIDERAN LAS REFERENCIAS A TODO TIPO DE INFORMACION CLINICA DISPONIBLE DEL PACIENTE Y SE GESTIONAN LOS RECURSOS INFORMATICOS DISPONIBLES, EN NIVEL LOCAL SE RELACIONA EXCLUSIVAMENTE CON EL DESARROLLO DE LA CONSULTA ACTUAL Y CONTIENE UN CONTROL DE LOS TESTS O PROCESOS DE MEDIDA EJECUTADOS, UNA LISTA DE LAS POSIBLES INDENTIFICACIONES PATOLOGICAS Y LAS ALTERNATIVAS MEDICAS DISPONIBLES: POR ULTIMO, EN EL NIVEL DOWN SE AGRUPAN TODOS LOS PROCESOS DE MEDIDA DE LOS PAREMETROS CLINICOS. EN CUANTO A LOS PROCESOS DE MEDIDA INCORPORADOS (PROCESADO DE IMAGENES Y EXPLORACIONES DEL CAMPO VISUAL) CONSISTEN EN TECNICAS STANDARD Y QUE UTILIZAN EL CONOCIMIENTO MEDICO GLOBAL TANTO PARA LA OBTENCION DE LOS PROPIOS PARAMETROS FISIOPATOLOGICOS COMO PARA LA OPTIMIZACION DE LOS ALGORITMOS.

Autor: BOLIVAR TOLEDO OLGA.
Año: 1989.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO DE INFORMATICA Y SISTEMAS DE LA UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA.

Resumen: EL OBJETIVO CENTRAL DE ESTA TESIS HA SIDO EL INTEGRAR DOS CONSTRUCTOS GENERALES QUE CLASICAMENTE SE HAN PLANTEADO EN EL ANALISIS DE IMAGENES, EL CONSTRUCTO ANALITICO Y EL ALGEBRAICO, Y DESDE AMBOS PROSEGUIR HACIA TEOREMAS, LEMAS Y DEMOSTRACIONES PRACTICAS QUE PERMITAN ESTABLECER UN MARCO TEORICO UNIFICADO DEL PROCESO DE IMAGENES. DICHO OBJETIVO, HA PROPORCIONADO UNA CONEXION NATURAL CON LA COMPUTACION DISTRIBUIDA, LA COMPUTACION RAPIDA Y LAS FUNCIONES DE LA RETINA Y EL CORTEX VISUAL. DENTRO DEL CONSTRUCTO ANALITICO, HEMOS INTRODUCIDO EL CONCEPTO DE CONVOLUCIONES GENERALIZADAS, QUE NOS HA LLEVADO A SUSTITUIR EL ESPACIO DE ENTRADA COMO CAMPO RECEPTIVO, POR UN CAMPO DE DATOS, MAS GENERAL Y MAS CLARO. COMO RESULTADO SE HAN DESARROLLADO REGLAS DE PRODUCCION DE CONVOLUCIONES GENERALIZADAS, ANALITICAS O NO. LAS CONTRIBUCIONES FUNDAMENTALES DE NUESTRO TRABAJO SE REFIEREN A LOS CONCEPTOS DE CAMPOS DE DATOS Y PARTICIONES DE LOS MISMOS. DENTRO DE ESTE CONTEXTO, HEMOS PROPUESTO UN TEOREMA QUE INTEGRA EL ALGEBRA Y EL ANALISIS DE LOS CAMPOS DE DATOS, AL DEMOSTRAR QUE, DADA UNA PARTICION ALGEBRAICA CON CIERTOS REQUISITOS, ENTONCES EL COMPUTO DE CIERTO NUMERO DE COEFICIENTES ANALITICOS INDEPENDIENTES EN CADA PARTICION, PROPORCIONAN UN DESCRIPCION COMPLETA Y NO REDUNDANTE DEL CAMPO DE DATOS. DESDE EL PUNTO DE VISTA PRACTICO, PRESENTAMOS LA ESTRUCTURA COMPUTACIONAL CORRESPONDIENTE A LAS TRANSFORMACIONES DESARROLLADAS Y ORIENTADA AL RECONOCIMIENTO DE FORMAS.

Autor: BORRAJO MILLAN DANIEL.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID.

Resumen: LOS SERES HUMANOS APRENDEN POR MEDIO DEL ESTUDIO DE SUS DECISIONES CORRECTAS Y ERRONEAS, DESCARTANDO AQUELLAS SITUACIONES EN LAS QUE NO SE DISPONE DE ALTERNATIVA . ASIMISMO,SE ESPECIFICA LA CONSTRUCCION DE UN ALGORITMO QUE MODELA EL COMPORTAMIENTO HUMANO EN DOMINIOS EN LOS QUE ES NECESARIO TOMAR DECISIONES. LOS RESULTADOS DEL ALGORITMO DEMUESTRAN NO SOLO QUE EL COMPORTAMIENTO DEL SISTEMA ES ANALOGO AL HUMANO EN ESOS DOMINIOS, SINO QUE ADEMAS ES FEXIBLE PARA PODERSE INTEGRAR A OTROS MODELOS DE APRENDIZAJE.

Autor: CASTELL ARIÑO NURIA.
Año: 1989.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAT D'INFORMATICA DE BARCELONA.

Resumen: EL TRABAJO REALIZADO CONSITE EN ESTUDIAR UN CONJUNTO DE PROBLEMAS RELACIONADOS CON EL TRATAMIENTO DEL ELNGUAJE ESCRITO (TEXTOS NARRATIVOS). SE HA TOMADO, COMO PUNTO CENTRAL DE LA INVESTIGACION, LA INFORMACION TEMPORAL: COMO SE EXPRESA EN EL TEXTO, COMO SE INTERPRETA, COMO AYUDA AL PROCESO DE COMPRENSION DEL TEXTO Y COMO SE REPRESENTA EN UN SISTEMA DE CONOCIMIENTO. SE HA DISEÑADO UN PROTOTIPO (COTEM), BASADO EN LA INVESTIGACION REALIZADA. ESCOGIENDO LAS NOTICIAS DE PERIODICO COMO MUESTRA DE TEXTOS NARRATIVOS. UTILIZANDO UN FORMALISMO BASADO EN FRANCES, SE HA IMPLEMENTADO UNA BASE DE CONOCIMIENTO EN LA QUE SE REPRESENTAN LOS ELEMENTOS DEL DOMINIO, EL CONOCIMIENTO LINGUISTICO Y EL CONOCIMIENTO GENERAL, CON LA INCLUSION DE UN MODELO DEL TIEMPO. LAS INSTANCIAS DE ELEMENTOS TEMPORALES Y LAS RELACIONES ENTRE ELLAS SE CREAN Y MANTIENEN APARTE EN EL SISTEMA TEMPORAL. LA EXPRESION LINGUISTICA DELTIEMPO SE HA ESTUDIADO A DOS NIVELES. A NIVEL DE FRASE, POROPONEMOS UNA CLASIFICACION DE LAS EXPREIONES TEMPORALES, LOS PATRONES E-R-S PARA LOS TEIMPOS VERBALES EN CASTELLANO Y LA COMBINACION DE LAS EXPRESIONES TEMPORALES CON LOS PATRONES VERBALES. A NIVEL DE DISCURSO, LAS NOTICIAS SON CLASIFICADAS SEGUN SU ESTRUCTURA NARRATIVA Y HEMOS DEFINIDO RELACIONES ENTRE ESTOS TIPOS ESTRUCTURALES, LOS LEXEMAS VERBALES Y LOS TIEMPOS VERBALES. EL SISTEMA TEMPORAL DISEÑADO ES INDEPENDIENTE DEL DOMINIO Y CONSTA DE UNA RED DE ELEMENTOS TEMPORALES DE DIFERENTES TIPOS (PUNTO, INTERVALO CADENA) CONECTADA CON UN CALENDARIO. APORTA LA NOVEDAD, ENTRE OTRAS, DE DISTINGUIR ENTRE ELEMENTOS TEMPORALES CERRADOS Y ABIERTOS SEGUN SI TIENEN O NO, RESPECTIVAMENTE, RELAICON CON ELEMENTOS DE CALENDARIO. ELLO PERMITE QUE EL ALGORITMO DE PROPAGACION DE RELACIONES TEMPORALES SEA MAS EFICIENTE. EL PROTOTIPO IMPLEMENTADO TRATA LAS NOTICIAS A PARTIR DE UNA REPRESENTACION SEMANTICA DEL TEXTO. LAS NOTICIAS SON INTERPRETADAS Y SU INFORMACION ES INCORPORADA A TODO EL SISTEMA DE REPRESENTACION (ECONOMICO Y TEMPORAL). LAS REGLAS PARA LA INTERPRETACION DE LA INFORMACION TEMPORAL SON INDEPENDIENTES DEL DOMINIO, SI BIEN ADMITEN RESTRICCIONES PROPIAS DEL DOMINIO.

Autor: GARCIA AGUADO CARMEN.
Año: 1989.
Universidad: GRANADA.
Centro de lectura: CIENCIAS .
Centro de realización: DEPARTAMENTO: FTAD. DE CIENCIAS. UNIVERSIDAD DE GRANADA.

Resumen: EN EL PRIMER CAPITULO SE INTRODUCE EL CONCEPTO DE NUMERO DIFUSO, SE VE QUE FUNCION DE PERTENENCIA CORRESPONDE A UNA COMBINACION CONVEXA DE LOS MISMOS, PARA LOS DIFERENTES CASOS QUE SE CONSIDERAN, Y SE PASA A ANALIZAR LAS DISTINTAS FORMAS EXISTENTES DE COMPARAR TALES NUMEROS, PARTICULARIZANDO AL TIPO DE RESTRICCIONES QUE INTERVIENEN EN UN PROBLEMA DE PROGRAMACION LINEAL DIFUSA. EN EL SEGUNDO CAPITULO SE ENFOCA EL PROBLEMA DE LA SENSIBILIDAD PARA RESTRICCIONES DIFUSAS CON COEFICIENTES REALES Y, EN EL TERCERO, SE ABORDA EL MISMO PROBLEMA, PERO PARA EL CASO DEL MODELO MAS GENERAL POSIBLE DE PROGRAMACION LINEAL DIFUSA, ESTO ES, QUE CONTEMPLA TANTO RESTRICCIONES COMO NUMEROS DIFUSOS EN EL CONJUNTO FACTIBLE, TENIENDO EN CUENTA LOS DIFERENTES TIPOS DE NUMEROS QUE PODEMOS USAR PARA CADA UNA DE LAS FORMAS DE COMPARAR QUE HEMOS ANALIZADO CON ANTERIORIDAD.

Autor: GODO LACASA LLUIS.
Año: 1989.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: CENTRE D'ESTUDIS AVANCATS DE BLANES (C.S.I.C.).

Resumen: EL MODELO POSIBILISTICO ES UN MODELO DE RAZONAMIENTO APROXIMADO QUE TIENE COMO ESPECIAL OBJETIVO EL TRATAMIENTO DE LA INFORMACION IMPRECISA Y/O VAGA, Y QUE UTILIZA EL FORMALISMO DE LOS CONJUNTOS DIFUSOS PARA REPRESENTARLA. EN EL PRIMER CAPITULO, EN EL MARCO DE LAS LOGICAS MULTIVALUADAS SOBRE (0,1), SUBYACENTES A LA TEORIA DE LOS CONJUNTOS DIFUSOS, SE ANALIZA LA DUALIDAD "IMPLICACION MATERIAL/REGLA DEL MODUS PONENS" A PARTIR DE LA AXIOMATICA DE LAS FUNCIONES DE IMPLICACION Y DE LAS FUNCIONES GENERADORAS DE MODUS PONENS. EN EL SEGUNDO CAPITULO SE MUESTRA COMO LAS LOGICAS MULTIVALUADAS PUEDEN SER FORMALIZADAS COMO FAMILIAS DE INSTITUCIONES CUANDO LOS VALORES DE VERDAD SE CONSIDERAN PARTE INTEGRANTE DE LOS ENUNCIADOS DE LA LOGICA, ESTANDO CADA UNA DE ESTAS FAMILIAS INDEXADA POR UNA CLASE DE ALGEBRAS DE VALORES DE VERDAD. DE ESTA FORMA, SE PUEDE DEFINIR UNA RELACION DE SATISFACCION CLASICA, QUE A LA VEZ PERMITE DEFINIR UN SISTEMA DE CONSECUENCIAS ENTRE ENUNCIADOS. LA ULTIMA PARTE DE ESTE CAPITULO ESTA DEDICADA A LA IDENTIFICACION Y FORMULACION DE DIVERSOS ESQUEMAS DE INFERENCIA A PARTIR DEL SISTEMA ANTERIOR DE CONSECUENCIAS. YA EN EL MARCO DE LOS SISTEMAS POSIBILISTICOS PROPIAMENTE DICHOS, EN EL TERCER CAPITULO SE DA PRIMERAMENTE UNA CARACTERIZACION DE LA REGLA COMPOSICIONAL DE INFERENCIA, PRINCIPAL MECANISMO DE INFERENCIA EN ESTOS SISTEMAS. A CONTINUACION SE ANALIZA Y JUSTIFICA LA FORMULACION ALTERNATIVA QUE SE HACE DE ESTA REGLA DE INFERENCIA A TRAVES DE LAS LLAMADAS FUNCIONES DE INFERENCIA DIRECTA, UTILIZANDO LAS FUNCIONES DE COMPATIBILIDAD ENTRE DISTRIBUCIONES DE POSIBILIDAD. SEGUIDAMENTE SE MUESTRA QUE LAS ESPECIALES CARACTERISTICAS DE ESTAS FUNCIONES HACEN QUE PUEDAN SER CONSIDERADAS COMO VALORES DE VERDAD DE LA LOGICA DIFUSA, Y BAJO ESTA PERSPECTIVA SE DAN LAS BASES DE UN CALCULO LOGICO CON ESTAS FUNCIONES. FINALMENTE, EN EL CUARTO Y ULTIMO CAPITULO SE PLANTEA EL PROBLEMA DE OBTENER UN CALCULO LOGICO CUANDO EXISTE LA RESTRICCION DE TRABAJAR CON UN NUMERO FINITO DE VALORES, COMO PUEDE SER EL CASO DE UN SISTEMA EXPERTO. ESTO LLEVA A ANALIZAR EL PROBLEMA DE LA GENERACION Y ELICITACION DE OPERADORES DE UNA LOGICA FINITAMENTE VALORADA, Y SE PROPONE RESOLVERLO COMO UN PROBLEMA DE SATISFACCION DE RESTRICCIONES.

Autor: GONZALEZ CRISTOBAL JOSE CARLOS.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: E.T.S.I. TELECOMUNICACION (UNIV. POLITECNICA DE MADRID).

Resumen: ESTE TRABAJO EXTIENDE LA CONCEPCION CLASICA DE LAS ARQUITECTURAS DE METANIVEL UTILIZADAS PARA LA CONSTRUCCION DE SISTEMAS BASADOS EN CONOCIMIENTO A FIN DE ALCANZAR EL NUCLEO DEL CONOCIMIENTO DE CONTROL. EL OBJETIVO PRINCIPAL CONSISTE EN HACER POSIBLE QUE LA INTERPRETACION DE LAS OPERACIONES ELEMENTALES Y REGLAS DE INFERENCIA EMPLEADAS POR LAS DISTINTAS TEORIAS DE RAZONAMIENTO APROXIMADO SEA DECLARADA DE FORMA EXPLICITA. ELIMINANDO ESTA LIMITACION SE FACILITA LA COMPARACION, SELECCION, UTILIZACION Y ENSEÑANZA DE ESTAS METODOLOGIAS. EN CONSECUENCIA, SE HA DEFINIDO UNA NUEVA ARQUITECTURA MULTINIVEL Y UN NUEVO LENGUAJE QUE MATERIALIZAN LAS IDEAS ANTERIORES, DANDO LUGAR A UN ENTORNO HIBRIDO PARA EL DESARROLLLO DE SISTEMAS EXPERTOS DENOMINADO ENAMORA (ENTORNO PARA EL ANALISIS DE METODOLOGIAS ORIENTADAS A RAZONAMIENTO APROXIMADO). EL ENTORNO ES ESPECIALMENTE ADECUADO PARA AQUELLOS DOMINIOS EN QUE LAS RELACIONES ENTRE OBJETOS DEL UNIVERSO DEL DISCURSO SE ESTRUCTUREN DE MODO NATURAL EN FORMA DE RED DE INFERENCIA.

Autor: MAOJO GARCIA VICTOR MANUEL.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: FACULTAD DE INFORMATICA (DPTO. DE INTELIGENCIA ARTIFICIAL).

Resumen: SE RETOMA LA HIPOTESIS DE WALTER, INCONCLUSA EN SU TIEMPO POR FALTA DE LOS MEDIOS TECNICOS ADECUADOS Y SE DEMUESTRA LA EXISTENCIA DE UNA CORRELACION CLARA ENTRE LA ACTIVIDAD ELECTRICA Y EL PROCESAMIENTO DE INFORMACION CEREBRALES.SE APLICA POSTERIORMENTE A UN PROBLEMA CLAVE, AUTENTICO CUELLO DE BOTELLA, EN LA INGENIERIA DEL CONOCIMIENTO, LA ADQUISICION DEL CONOCIMIENTO DEL EXTERTO, PARA LO QUE SE REALIZA UN SISTEMA EXPERTO MANEJANDO LOS DATOS OBTENIDOS EN EL TRABAJO.COMO COROLARIO SE DEMUESTRA EL PARALELISMO EXISTENTE ENTRE LA ACTIVIDAD ELECTRICA CEREBRAL Y LOS DOS FUNDAMENTOS DE LAS DOS RAMAS PREDOMINANTES EN LA INTELIGENCIA ARTIFICIAL, EL MODO SIMBOLICO O INGENIERIA DEL CONOCIMIENTO Y EL MODO DE EMULACION O CONEXIONISMO.

Autor: ROCA BENNASAR MIQUEL.
Año: 1989.
Universidad: ISLAS BALEARES.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPARTAMENT DE PSICOLOGIA UNIVERSITAT DE LES ILLES BALEARS.

Resumen: S'HA CONSTRUIT UNA EINA DE INTELILIGENCIA ARTIFICIAL, EL SISTEMA EXPERT "KRAEPELIN", PER EL DIAGNOSTIC PSICOPATOLOGIC DELS TRASTORNS OBSSESIU COMPULSIUS I ELS DIAGNOSTICS DIFERENCIALS DE L'ESFERA OBSSESIVA: TRASORNS AFECTIUS, TRASTORNBS PSICOTICS, TRASTORNS FOBIES I TRASTORNS DE GILLES DE LA TOURETTE. ES TRACTA D'UN SISTEMA EXPERT SOBRE UN PROGRAMA LISP QUE TREBALLA SOBRE UN COMPUTADOR PERSONAL AMB DISC DUR. ESTUDIA LA PERSONALITAT PREVIA, L'ANSIETAT LA CLINICA OBSSESIVA COMPULSIVA, IDEES O PENSAMENTS I CONDUCTES. ACCEPTA VARIABLES D'UN SOL VALOR O MALTIVALUADES AL LLARG DE 50 PREFUNTES EN LLENGUATGE NATURAL FETES A L'USUARI I UN TOTAL DE 98 REGLES DE INFERENCIA. ES VARON TRIAR 40 HISTORIES CLINIQUES DE TRASTORNS OBSSESIUS I DIFERENCIALS, INTRODUIDES A LA BASE INFORMATICA SEGONS PROTOCOL DETERMINAT. POSTERIORMENT, "KRAEPELIN" ES APLICAT A LA BASE DE DADES CLINICA I POT OFERIR EL DIAGNOSTIC AUTOMATITZAT D'ACORD AMB ELS RESULTATS, S'ESTUDIA LA FIABILITAT I VALIDESA DEL SISTEMA EXPERT RESPECTE ALS DIAGNOSTICS CLINICS.

Autor: RODRIGUEZ HONTORIA HORACIO.
Año: 1989.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE CATALUNYA.

Resumen: GUAI (GENERADOR UNIVERSAL AUTOMATICO DE INTERFACES) ES UN GENERADOR DE INTERFACES EN LENGUA NATURAL. SU MISION CONSISTE EN ADQUIRIR, A TRAVES DE INTERACCIONES CON EXPERTOS HUMANOS EN LAS DIFERENTES CLASES DE CONOCIMIENTO IMPLICADS, EL LIGADO A LAS CARACTERISTICAS ESPECIFICAS QUE UNA INTERFAZ CONCRETA DEBE POSEER Y GENERARLO. LA INTERFAZ GENERADA SE INCLUIRA DENTRO DE LA APLICACION PARA LA QUE HA SIDO DISEÑADA Y ASUMIRA EN FORMA AUTONOMA E INTELIGENTE, LA TAREA COMUNICATIVA, EN LENGUA NATURAL, ENTRE DICHA APLICACION Y SU INTERLOCUTOR HUMANO. GUAI PERMITE EXPRESAR UNA AMPLIA GAMA DE CARACTERISTICAS DEFINITORIAS DE UNA INTERFAZ. ESTAS CARACTERISTICAS TRANSPORTABLES AFECTAN A LA DEFINICION DEL ENTORNO OPERATIVO, LA DEL DOMINIO SEMANTICO Y A LA COBERTURA LINGUISTICA Y CONCEPTUAL DEL SISTEMA.

Autor: SIMON GRANDA JOSE.
Año: 1989.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FILOLOGIA.
Centro de realización: FACULTAD DE FILOSOFIA Y LETRAS (UNIVERSIDAD COMPLUTENSE).

Resumen: EN ESTE TRABAJO NOS PROPONEMOS UN DOBLE OBJETIVO: - TRAZAR LAS LINEAS QUE HAN DIRIGIDO LA INVESTIGACION LINGUISTICA EN LAS AREAS DE INTERSECCION CON LAS MATEMATICAS Y LA INTELIGENCIA ARTIFICIAL. - LLEVAR ALGUNOS DE LOS METODOS DE TRABAJO DESARROLLADOS EN ESTOS CAMPOS AL DOMINIO DE LO PRACTICO (ESCRIBIENDO PROGRAMAS DE UTILIDAD PARA FILOLOGOS Y LINGUISTAS) Y ASEQUIBLE (OPERANDO SOBRE MICROORDENADORES). HEMOS OBTENIDO LAS SIGUIENTES CONCLUSIONES: - EXISTEN DOS VIAS DIFERENTES DE APROXIMACION DE LA MATEMATICA AL ESTUDIO DE LOS FENOMENOS LINGUISTICOS: UNA ESENCIALMENTE CUANTITATIVA Y OTRA BASADA EN DIVERSOS MODELOS MATEMATICOS. - EXISTEN IGUALMENTE DOS VIAS DE APROXIMACION AL TRATAMIENTO AUTOMATICO DEL LENGUAJE: UNA DESCRIPTIVA, EMPARENTADA CON LA LINGUISTICA CUANTITATIVA, QUE PROCESA DATOS, Y OTRA SIMBOLICA, QUE TRATA DE COMPRENDER EL LENGUAJE ACUMULANDO CONOCIMIENTO PROPIO DEL DOMINIO ESPECIFICO SOBRE EL QUE VERSA EL DISCURSO. DE CARA AL FUTURO, POSTULAMOS LA NECESIDAD DE DESARROLLAR NUEVAS ARQUITECTURAS, NO NECESARIAMENTE BINARIAS Y SERIADAS, Y NUEVOS MODELOS LINGUISTICOS BASADOS EN LA DESCRIPCION MINUCIOSA E INTEGRADA DE LOS LENGUAJES, SOLO ALCANZABLE EN EL MARCO DE LA LINGUISTICA TEXTUAL.

Autor: TORRENS SASTRE JOAN.
Año: 1989.
Universidad: ISLAS BALEARES.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENT DE CIENCIES MATEMATIQUES I INFORMATICA..

Resumen: COMENCAM AQUESTA MEMORIA ESTUDIANT LA SUBDISTRIBUTIVITAT, SUBMODULARITAT I SUBORTOMODULARITAT DINS UNA TERNA DE DE MORGAN, CARACTERITZANT EN EL CAS ARQUIMEDIA, CADA UNA D'AQUESTES PROPIETATS. ESTUDIAM DESPRES, POSSIBLES MODELS PER A CONNECTIUS SOBRE UN CONJUNT ORDENAT QUALSEVOL, INTRODUINT EL CONCEPTE D'ALGEBRA FILTRANT. ANALITZAM LES SEVES PROPIETATS I VEIM QUE SOBRE L'INTERVAL (0,1) COINCIDEIXEN AMB LES TERNES DE DE MORGAN CONTINUES. ES REALITZA UN ESTUDI DELS IDEALS I FILTRES EN UN ALGEBRA FILTRANT FINS ARRIBAR EN EL CAS SUBDISTRIBUTIU, A UN TEOREMA GENERALITZACIO DEL TEOREMA DE STONE PER A RETICLES DISTRIBUTIUS. ACABAM AQUEST CAPITOL, AMB UNA CARACTERITZACIO COMPLETA DE TOTES LES ALGEBRES FILTRANTS SOBRE UN CONJUNT FINIT I TOTALMENT ORDENAT. EN EL ULTIM CAPITOL, A PARTIR DE LA NOCIO MES GENERAL DE FUNCIO D'AGREGACIO, ESTUDIAM DUES BRANQUES POSSIBLES: ELS T-OPERADORS I LES FUNCIONS D'AGREGACIO LINEALS. ELS PRIMERS, ELS CARACTERITZAM TOTALMENT I VEIM QUE SON ELS CONNECTIUS MES APROPIATS PER A DEFINIR PRE-ORDRES "FUZZY". QUAN A LES SEGONES, N'INTRODUIM UN CAS PARTICULAR: LES FUNCIONS D'AGREGACIO L-REPRESENTABLES. VEIM UN TEOREMA D'UNICITAT DE GENERADORS, CARACTERITZAM LES QUE SON T-NORMES I ESTUDIAM ELS ISOMORFISMES ENTRE FUNCIONS L-REPRESENTABLES. ANALITZAM ELS REPRESENTANTS CANONICS DE CADA CLASSE D'ISOMORFIA, DONAM UNA CARACTERITZACIO FUNCIONAL DELS MATEIXOS I VEIM QUINS SON COPULES. ESTUDIAM LES FUNCIONS QUE SON COMBINACIO LINEAL CONVEXA D'UNA FUNCIO L-REPRESENTABLE I LA SEVA DUAL. CARACTERITZAM LES QUE SON IDEMPOTENTS A TRAVES D'UNA EQUACIO DE CAUCHY RESTRINGIDA (DE DOMINI RESTRINGIT) I DONAM UNA FITA INFERIOR DEL SEU GRAU D'ASSOCIATIVITAT. PER ULTIM, ES VEUEN DUES CARACTERIZACIONS DIFERENTS DE LES FUNCIONS L-REPRESENTABLES I ES DONEN CONDICIONS NECESSARIES I SUFICIENTS PER A QUE SIGUIN COPULES.

Autor: BASAGOITI SATRUSTEGUI PEDRO.
Año: 1988.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS INDUSTRIALES .
Centro de realización: ESCUELA TECNICA SUPERIOR INGENIEROS INDUSTRIALES DE MADRID.

Resumen: EN LA PRESENTE TESIS SE REALIZA UN ESTUDIO DE LA ESTRUCTURA Y DE LOS MECANISMOS DE RAZONAMIENTO EXISTENTES EN LOS SISTEMAS EXPERTOS CON ESPECIAL ATENCION EN AQUELLOS APLICADOS AL CONTROL DE PROCESOS INDUSTRIALES. SE DEFINEN CLARAMENTE LOS MODULOS DE QUE DEBE CONSTAR UN SISTEMA EXPERTO DE ESTE TIPO Y SE DETALLAN LOS DISTINTOS MODOS DE RAZONAMIENTO APLICABLES A CADA CASO ESPECIFICO. DENTRO DE ESTE CAMPO, SE HACE ESPECIAL MENCION EN EL RAZONAMIENTO CON INCERTIDUMBRE EN SUS DIVERSAS POSIBILIDADES. SE REALIZA UNA APLICACION PRACTICA EN EL LENGUAJE PROLOG PARA LA OPERACION CON RAZONAMIENTO CON INCERTIDUMBRE SEGUN EL MODELO DE GRADOS DE CERTEZA. A CONTINUACION, SE REALIZA UN BREVE RESUMEN SOBRE LAS APLICACIONES EXISTENTES DE LOS SISTEMAS EXPERTOS AL CAMPO INDUSTRIAL Y SE PRESENTA UN SISTEMA ORIGINAL DE CONTROL Y SIMULACION DE UN SISTEMA FLEXIBLE DE FABRICACION DESARROLLADA EN LA TESIS. POSTERIORMENTE, SE DESCRIBE EL DESARROLLO Y CUALIDADES DE UNA HERRAMIENTA DE DESARROLLO DE SISTEMAS EXPERTOS DISEÑADA Y CODIFICADA SOBRE EL ENTORNO SMALLTALK. ESTA HERRAMIENTA PERMITE AUNAR LA PROGRAMACION BASADA EN MODELOS Y EN REGLAS Y PRESENTA UNA SERIE DE FACILIDADES GRAFICAS QUE FACILITAN SU USO. SE PRESENTA TAMBIEN UNA APLICACION PRACTICA DESARROLLADA EN ESTA HERRAMIENTA. FINALMENTE, SE HACE UN RESUMEN DE LOS PRINCIPALES LOGROS OBTENIDOS, Y SE ESTABLECEN UNA SERIE DE LINEAS DE INVESTIGACION A SEGUIR A PARTIR DE LOS DESARROLLOS REALIZADOS.

Autor: SIERRA GARCIA CARLOS.
Año: 1988.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: CENTRE D'ESTUDIS AVANCATS DE BLANES. CSIC..

Resumen: DISEÑO DE UN ENTORNO DE PROGRAMACION Y DESARROLLO DE SISTEMAS EXPERTOS PARA TAREAS DE CLASIFICACION. COMO PUNTOS PRINCIPALES DESTACAN: 1) REPRESENTACION FLEXIBLE MEDIANTE RAZONAMIENTO APROXIMADO (LOGICA DIFUSA) 2) MANEJO EXPLICITO DE LOS DISTINTOS NIVELES DE CONTROL MEDIANTE ARQUITECTURA MULTI-NIVEL ESTRUCTURADA SEGUN EL DOMINIO CONCRETO DE CONOCIMIENTOS A MODELIZAR. 3) MODULARIZACION DE LAS REGLAS Y DEL LENGUAJE, QUE PUEDE UTILIZARSE ASI EN OTROS ENTORNOS Y QUE INCORPORA ELEMENTOS TALES COMO: HERENCIA, COMPARTICION Y TIPAJE. 4) APLICACION PRACTICA DEL SISTEMA EN CUATRO ENTORNOS YA DESARROLLADOS Y EN FUNCIONAMIENTO.

Autor: ALONSO BETANZOS AMPARO.
Año: 1987.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.
Centro de realización: FACULTAD DE FISICA..

Resumen: SE DESARROLLO UN SISTEMA EXPERTO PARA DIAGNOSIS, PROGNOSIS Y TERAPIA DEL ESTADO FETAL DURANTE EL TRABAJO DE PARTO IMPLEMENTADO CON UNA HERRAMIENTA DE ADQUISICION DE CONOCIMIENTO LLAMADA GENIE QUE ADMITE UNA ESTRUCTURA MEZCLADA FRAME-RULES. LA BASE DE CONOCIMIENTO DEL SISTEMA PUEDE TAMBIEN EMPLEARSE EN EL DIAGNOSTICO DE TEST NO ESTRESANTE PERFIL BIOFISICO FETAL Y TEST ESTRESANTE.

Autor: CASTELLANOS PEÑUELA JUAN BAUTISTA.
Año: 1987.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA .
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID .

Resumen: LA PRESENTE TESIS DESARROLLA A PARTIR DE LOS CONCEPTOS DE MARCOS Y REGLAS PRODUCCION UNA ESTRUCTURACION DE ESTOS DOS FORMALISMOS DE REPRESENTACION DEL CONOCIMIENTO.SE COMPRUEBA QUE LOS MARCOS Y LAS REGLAS CON SUS OPERACIONES ASOCIADAS TIENEN UNA ESTRUCTURA ALGEBRAICA DE ESPACIO VECTORIAL. PARA ELLO SE DOTA AL CONJUNTO DE MARCOS DE UNA OPERACION INTERNA DEMOSTRANDOSE QUE CON ELLA SE TIENE ESTRUCTURA DE GRUPO ABELIANO. SE DEFINEN DOS OPERACIONES EN EL CONJUNTO DE LAS REGLAS BASANDOSE EN LAS CONJUNCIONES Y DISYUNCIONES LOGICAS CUMPLIENOSE QUE LAS REGLAS CON ESTAS OPERACIONES DEFINIDAS ES CU CUERPO. POR ULTIMO SE DEFINE UNA OPERACION EXTERNA DEL CONJUNTO DE REGLAS POR EL CONJUNTO DE MARCOS EN EL CONJUNTO DE MARCOS VERIFICANDO LAS PROPIEDADES DE ESPACIO VECTORIAL UNO DE LOS RESULTADOS PRAGMATICOS DE ESTA TESIS ES EL PODER ESTABLECER UN NUCLEO COMUN DE DESARROLLO DE SISTEMAS EXPERTOS EN AREAS TAN DISPERSAS COMO SON LAS FINANZAS LA ADMINISTRACION PUBLICA O LA EDUCACION.

Autor: GARCIA CALVES PERE.
Año: 1987.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA..

Resumen: EL TREBALL QUE S'HA REALITZAT S'HA D'ENMARCAR EN ELS ESTUDIS DE LOGICA ALGEBRAICA QUE S'HA DEDICAT A MODELITZAR LES DIFERENTES LOGIQUES UTILITZANT TECNIQUES D'ALGEBRA UNIVERSAL. AIXI LES ALGEBRES DE BOOLE MODELITZEN EL CALCUL PROPOSICIONAL DE LA LOGICA CLASSICA, LES ALGEBRES DE DE MORGAN, DE POST I DE LUCKASIEWICZ SON ELS MODELS MES USUALS DE LA LOGICA MULTIVALUADA, AMB LES QUALS HAN SORGIT TOT UN SEGUIT DE LOGIQUES DESVIADES. UN TIPUS DE LOGIQUES MULTIVALUADES ES POT MODELITZAR A TRAVES DE LES ALGEBRES DE OKHAM, INTRODUIDES PER J. BERMAN L'ANY 1977. UNA ALGEBRA DE OKHAM ES UN RETICLE DISTRIBUTIU AMB UN MAXIM 1 I MINIM 0, A MES D'UNA OPERACIO UNARIA N AMB N(0)=1, N(1)=0 I QUE VERIFICA LES LLEIS DE DE MORGAN, ES A DIR, N'ES UN MORFISME DUAL DEL RETICLE; PER TANT LES ALGEBRES DE OKHAM INCLOUEN COM A SUBVARIETATS LES ALGEBRES DE BOOLE, LES DE DE MORGAN, LES DE STONE, ETC... LES ALGEBRES DE OKHAM DONEN LLOC A LES SUBVARIETATS N IMPOSANT LA CONDICIO ADDICIONAL A LA NEGACIO, I ES EN L'ESTUDI DE TOTES AQUESTES VARIETATS ON ES CENTRA AQUESTA MEMORIA. AQUESTES SUBVARIETATS N DONEN DOS TIPUS MOLT DIFERENCIATS D'ALGEBRES, LES ON I PER TANT N'ES BIJECTIVA, QUE LES ANOMENEM ALGEBRES P-SIMETRIQUES I EN LES QUALS LA N NO TE PERQUE SER BIJECTIVA. ELS RESULTATS FONAMENTALS QUE ES TROBEN EN AQUEST TREBALL ELS PODEM RESUMIR EN ELS QUATRE SUBAPARTATS SEGUENTS: 1) PRIMERAMENT ES DONA UNA GENERALITZACIO PER A LES ALGEBRES P,Q DEL TEOREMA DE BIALYNIKI-BIRULA PER A ALGEBRES DE DE MORGAN. EN LA QUAL ES DIU QUE TOTA ALGEBRA DE P,Q ES SUBALGEBRA DEL PRODUCTE DIRECTE DE COPIES D'UN MATEIX TIPUS D'ALGEBRA PER CADA P,Q N. PER TANT, AQUEST TIPUS D'ALGEBRES, PER PRODUCTES I SUBALGEBRES, ENS DONEN TOTES LES ALGEBRES DE P,Q. 2) S'ESTUDIA LA REPRESENTACIO DE LES ALGEBRES DE P,Q PER PRODUCTES SUBDIRECTES. 3) PER A LES P-SIMETRIQUES ES DONEN TOTES LES ALGEBRES SUBDIRECTAMENT IRREDUIBLES. FINALMENT, ES FA UN ESTUDI D'UNA CLASSE D'ALGEBRES QUE ANOMENEM SIMETRIQUES (N-BIJECTIVA).

Autor: GARCIA DEL REAL RUIZDELGADO JULIO.
Año: 1987.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA. DEPARTAMENTO DE METODOS ESTADISTICOS INVESTIGACION DE OPERACIONES E INTELIGENCIA ARTIFICIAL..

Resumen: ESTA TESIS CONSTA DE DOS PARTES BIEN DIFERENCIADAS. EN LA PRIMERA SE REALIZA UNA DESCRIPCION DE LOS PRINCIPALES SISTEMAS DE RESOLUCION DE INCERTIDUMBRE, CON UN DOBLE OBJETIVO. EN PRIMER LUGAR, PONER DE MANIFIESTO LA CONFUSION EXISTENTE, ESPECIALMENTE EN LO RELATIVO A LA SEMANTICA DE LAS DIFERENTES MEDIDAS PROPUESTAS PARA EVALUAR LA INCERTIDUMBRE DEL CONOCIMIENTO Y, EN SEGUNDO LUGAR, ESTABLECER LAS BASES QUE PERMITIRAN LA CONSTRUCCION DE UNA NUEVA MEDIDA. LOS MODELOS QUE SE DESCRIBEN SON LOS SIGUIENTES: 1) EL MODELO PROSPECTOR, DE APLICACION DIRECTA DE LA TEORIA DE LA PROBABILIDAD; 2) EL MODELO MYCIN DE LOS FACTORES DE CERTEZA, DE AMPLIA DIFUSION, AUNQUE CON UNA FUNDAMENTACION TEORICA MUY CRITICADA; 3) LA TEORIA DE LA EVIDENCIA DE DEMPSTER Y SHAFER, QUE PERMITE ABORDAR PROBLEMAS ESTRUCTURADOS EN UNA JERARQUIA DE HIPOTESIS; 4) LA TEORIA DE LA POSIBILIDAD DE ZADEH, QUE A TRAVES DE LA LOGICA DIFUSA, PERMITE UN ACERCAMIENTO A LA IMPRECISION INHERENTE AL CONOCIMIENTO Y, FINALMENTE, 5) LAS MEDIDAS DE POSIBILIDAD Y NECESIDAD DE DUBOIS Y PRADE QUE, COMO UNA EXTENSION DEL ANTERIOR, TRATA CON CONOCIMIENTO A LA VEZ INCIERTO E IMPRECISO. EN LA SEGUNDA PARTE, TRAS ANALIZAR EL MOTOR DE INFERENCIA DESARROLLADO POR DUBOIS Y PRADE, SE PROPONE UNA MODIFICACION DE LA VALORACION DE LA INCERTIDUMBRE DE LOS HECHOS, REUNIENDO LA DOBLE MEDIDA POSIBILIDAD-NECESIDAD EN UNA SOLA, QUE ESENCIALMENTE VIENE A SER LA UTILIZADA EN MYCIN, MOSTRANDO DE FORMA CLARA LA RELACION ENTRE AMBAS MEDIDAS. A CONTINUACION, SE ADAPTAN LOS MECANISMOS DE PROPAGACION DE INCERTIDUMBRE A LA NUEVA MEDIDA. DOS SON LAS CONCLUSIONES FUNDAMENTALES: 1) EL MODELO DE D-P COINCIDE ESENCIALMENTE CON EL MODELO MYCIN Y 2) MANTENIENDO INTERNAMENTE LA RELACION ENTRE POSIBILIDAD-NECESIDAD Y FACTOR DE CERTEZA DE UN SUCESO, SE AMPLIA LA APLICABILIDAD DEL MODELO MYCIN A CUERPOS DE CONOCIMIENTO INCIERTO O DIFUSOS. COMO CONSECUENCIA DE ESTE ESTUDIO, SE CLARICA EL AMPLIO Y CONFUSO PANORAMA DEL TRATAMIENTO DE LA INCERTIDUMBRE EN SISTEMAS EXPERTOS.

Autor: GARRIDO TALAVERA LUIS ANTONIO.
Año: 1987.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: ARQUITECTURA .

Autor: GONZALEZ MUÑOZ ANTONIO.
Año: 1987.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: FACULTAD DE CIENCIAS DE LA UNIVERSIDAD DE GRANADA.

Resumen: EL PROBLEMA PLANTEADO EN ESTA MEMORIA ES EL ESTUDIO DE METODOS DE COMPARACION SOBRE NUMEROS DIFUSOS. EXISTEN MUCHAS SITUACIONES IMPRECISAS EN LAS QUE EL VALOR DE CIERTAS MAGNITUDES NO ES CONOCIDO EXACTAMENTE, Y EN LA MAYORIA DE LOS CASOS ESTO ES DEBIDO A QUE LA INFORMACION PROVIENE DE AFIRMACIONES TALES COMO "X ES APROXIMADAMENTE IGUAL A CIERTO VALOR REAL" O "X ES ALGO MAYOR QUE CIERTO VALOR REAL", ETC. TODAS ELLAS REFLEJAN DATOS NUMERICOS NO EXACTOS QUE PUEDEN CALIFICARSE COMO CANTIDADES IMPRECISAS. LOS SUBCONJUNTOS DIFUSOS PROPORCIONAN UN ADECUADO MARCO TEORICO PARA LA REPRESENTACION DE TALES CANTIDADES. EL MODELO QUE SE PROPONE ES EL DE CANTIDAD O NUMERO DIFUSO. ASOCIADO A LA DEFINICION DE CANTIDAD DIFUSA SE HAN DESARROLLADO TECNICAS NECESARIAS PARA EFECTUAR COMPARACIONES, OPERACIONES ARITMETICAS, ETC. LAS OPERACIONES ENTRE CANTIDADES DIFUSAS HAN SIDO DESARROLLADAS BASTANTE SATISFACTORIAMENTE POR DISTINTOS AUTORES, MEDIANTE LA APLICACION DEL PRINCIPIO DE EXTENSION. NO OCURRE ASI, EN EL TEMA DE LA COMPARACION, EN DONDE SI BIEN SE HAN REALIZADO NUMEROSOS ESTUDIOS, NO EXISTE AUN UNA SOLUCION LO SUFICIENTEMENTE ADECUADA. CON ESTE PROPOSITO Y UTILIZANDO EL PROCESO DE ORDENACION MEDIANTE UNA FUNCION Y UN CONJUNTO ORDENADO, HEMOS DESARROLLADO EN LA MEMORIA DOS METODOS DE COMPARACION SOBRE EL CONJUNTO DE NUMEROS DIFUSOS. EN DEFINITIVA SE TRATA DE HACER USO DEL ORDEN DE RM O R, MEDIANTE LA CONSTRUCCION DE UNA FUNCION ORDENADORA, QUE TRASLADA EL ORDEN DE UN CONJUNTO A OTRO. EN LA MEMORIA ESTUDIAMOS COMO EL MODELO DE COMPARACION DEFINIDO CONDUCE A UNAS RELACIONES DE ORDEN COMPATIBLES CON LAS OPERACIONES ARITMETICAS ENTRE NUMEROS DIFUSOS, QUE MEJORAN LOS PROCEDIMIENTOS EXISTENTES, PERMITIENDO UNA FLEXIBLE CLASIFICACION SEGUN DISTINTOS TIPOS DE DOMINANCIA Y UNA ACEPTABLE RELACION DE INDIFERENCIA, Y QUE PERMITEN INTRODUCIR ELEMENTOS SUBJETIVOS EN EL PROBLEMA DE ELECCION. FINALMENTE, RELACIONADO CON EL PROBLEMA DE LA COMPARACION ENTRE NUMEROS DIFUSOS, ESTUDIAMOS MEDIDAS DE INFORMACION.