Contribución al estudio de la incompatibilidad y otras medidas relacionadas en la lógica borrosa

Resumen La investigación descrita en esta memoria se enmarca en el campo de la lógica borro¬sa. Más concretamente, en el estudio de la incompatibilidad, de la compatibilidad y de la suplementaridad en los conjuntos borrosos y en los de Atanassov. En este orden de ideas, en el primer capítulo, se construyen, tanto de forma directa como indirecta, funciones apropiadas para medir la incompatibilidad entre dos conjuntos borro-sos. Se formulan algunos axiomas para modelizar la continuidad de dichas funciones, y se determina si las medidas propuestas, y otras nuevas que se introducen, verifican algún tipo de continuidad. Finalmente, se establece la noción de conjuntos borrosos compatibles, se introducen axiomas para medir esta propiedad y se construyen algunas medidas de compa¬tibilidad. El segundo capítulo se dedica al estudio de la incompatibilidad y de la compatibilidad en el campo de los conjuntos de Atanassov. Así, en primer lugar, se presenta una definición axiomática de medida de incompatibilidad en este contexto. Después, se construyen medidas de incompatibilidad por medio de los mismos métodos usados en el caso borroso. Además, se formulan axiomas de continuidad y se determina el tipo de continuidad de las medidas propuestas. Finalmente, se sigue un camino similar al caso borroso para el estudio de la compatibilidad. En el tercer capítulo, después de abordar la antonimia de conjuntos borrosos y de conjuntos de Atanassov, se formalizan las nociones de conjuntos suplementarios en estos dos entornos y se presenta, en ambos casos, un método para obtener medidas de suplementaridad a partir de medidas de incompatibilidad vía antónimos. The research described in this report pertains to the field of fuzzy logic and specifically studies incompatibility, compatibility and supplementarity in fuzzy sets and Atanassov's fuzzy sets. As such is the case, Chapter 1 describes both the direct and indirect construction of appropriate functions for measuring incompatibility between two fuzzy sets. We formulate some axioms for modelling the continuity of functions and determine whether the proposed and other measures introduced satisfy any type of continuity. Chapter 2 focuses on the study of incompatibility and compatibility in the field of Ata¬nassov's fuzzy sets. First, we present an axiomatic definition of incompatibility measure in this field. Then, we use the same methods to construct incompatibility measures as in the fuzzy case. Additionally, we formulate continuity axioms and determine the type of conti¬nuity of the proposed measures. Finally, we take a similar approach as in the fuzzy case to the study of compatibility. After examining the antonymy of fuzzy sets and Atanassov's sets, Chapter 3 formalizes the notions of supplementary sets in these two domains, and, in both cases, presents a method for obtaining supplementarity measures from incompatibility measures via antonyms.

Evaluación de la sostenibilidad de proyectos con lógica borrosa

La sostenibilidad constituye un criterio esencial para evaluar la calidad de un proyecto. En este sentido este trabajo presenta el desarrollo de una metodología y un programa para la evaluación de la sostenibilidad social, económica y medio-ambiental de proyectos para llegar a conseguir una evaluación global de sostenibilidad de dichos proyectos. Tradicionalmente los estudios y evaluación de proyectos se realizan sólo desde el punto de vista económico. Se aplica la lógica borrosa a cada uno de los cálculos que se realizan en el análisis global de la sostenibilidad: valoración de indicadores, la evaluación cuantitativa y cualitativa del impacto que produce un proyecto en los diferentes factores medioambientales, sociales y económicos. Cabe destacar que dependiendo del tipo de proyecto se tendrá un peso de cada indicador y de cada factor distinto. Se ha tomado como base la normativa existente para la evaluación del impacto ambiental

Lógica y volatilidad de la máquina digital

Un método habitual de formarse una idea del futuro de la tecnología es leer a un reducido grupo de personajes, tales como Gates o Negroponte. Estos también confunden sus deseos con la realidad, tienden a ver el mundo en colorines y yerran, pero tienen sobre nosotros la ventaja de que sus palabras son las palabras de un selecto y denso colectivo de superespecialistas a sus órdenes. En parte, ellos son los dueños del futuro, lo están diseñando, construyendo o comprando en sus laboratorios o empresas. Tienen poder.

Manejo de memoria en programación lógica con tabulación

Los lenguajes de programación son el idioma que los programadores usamos para comunicar a los computadores qué queremos que hagan. Desde el lenguaje ensamblador, que traduce una a una las instrucciones que interpreta un computador hasta lenguajes de alto nivel, se ha buscado desarrollar lenguajes más cercanos a la forma de pensar y expresarse de los humanos. Los lenguajes de programación lógicos como Prolog utilizan a su vez el lenguaje de la lógica de 1er orden de modo que el programador puede expresar las premisas del problema que se quiere resolver sin preocuparse del cómo se va a resolver dicho problema. La resolución del problema se equipara a encontrar una deducción del objetivo a alcanzar a partir de las premisas y equivale a lo que entendemos por la ejecución de un programa. Ciao es una implementación de Prolog (http://www.ciao-lang.org) y utiliza el método de resolución SLD, que realiza el recorrido de los árboles de decisión en profundidad(depth-first) lo que puede derivar en la ejecución de una rama de busqueda infinita (en un bucle infinito) sin llegar a dar respuestas. Ciao, al ser un sistema modular, permite la utilización de extensiones para implementar estrategias de resolución alternativas como la tabulación (OLDT). La tabulación es un método alternativo que se basa en memorizar las llamadas realizadas y sus respuestas para no repetir llamadas y poder usar las respuestas sin recomputar las llamadas. Algunos programas que con SLD entran en un bucle infinito, gracias a la tabulación dán todas las respuestas y termina. El modulo tabling es una implementación de tabulación mediante el algoritmo CHAT. Esta implementación es una versión beta que no tiene implementado un manejador de memoria. Entendemos que la gestión de memoria en el módulo de tabling tiene gran importancia, dado que la resolución con tabulación permite reducir el tiempo de computación (al no repetir llamadas), aumentando los requerimientos de memoria (para guardar las llamadas y las respuestas). Por lo tanto, el objetivo de este trabajo es implementar un mecanismo de gestión de la memoria en Ciao con el módulo tabling cargado. Para ello se ha realizado la implementación de: Un mecanismo de captura de errores que: detecta cuando el computador se queda sin memoria y activa la reinicialización del sitema. Un procedimiento que ajusta los punteros del modulo de tabling que apuntan a la WAM tras un proceso de realojo de algunas de las áreas de memoria de la WAM. Un gestor de memoria del modulo de tabling que detecta c realizar una ampliación de las áreas de memoria del modulo de tabling, realiza la solicitud de más memoria y realiza el ajuste de los punteros. Para ayudar al lector no familiarizado con este tema, describimos los datos que Ciao y el módulo de tabling alojan en las áreas de memoria dinámicas que queremos gestionar. Los casos de pruebas desarrollados para evaluar la implementación del gestor de memoria, ponen de manifiesto que: Disponer de un gestor de memoria dinámica permite la ejecución de programas en un mayor número de casos. La política de gestión de memoria incide en la velocidad de ejecución de los programas. ---ABSTRACT---Programming languages are the language that programmers use in order to communicate to computers what we want them to do. Starting from the assembly language, which translates one by one the instructions to the computer, and arriving to highly complex languages, programmers have tried to develop programming languages that resemble more closely the way of thinking and communicating of human beings. Logical programming languages, such as Prolog, use the language of logic of the first order so that programmers can express the premise of the problem that they want to solve without having to solve the problem itself. The solution to the problem is equal to finding a deduction of the objective to reach starting from the premises and corresponds to what is usually meant as the execution of a program. Ciao is an implementation of Prolog (http://www.ciao-lang.org) and uses the method of resolution SLD that carries out the path of the decision trees in depth (depth-frist). This can cause the execution of an infinite searching branch (an infinite loop) without getting to an answer. Since Ciao is a modular system, it allows the use of extensions to implement alternative resolution strategies, such as tabulation (OLDT). Tabulation is an alternative method that is based on the memorization of executions and their answers, in order to avoid the repetition of executions and to be able to use the answers without reexecutions. Some programs that get into an infinite loop with SLD are able to give all the answers and to finish thanks to tabulation. The tabling package is an implementation of tabulation through the algorithm CHAT. This implementation is a beta version which does not present a memory handler. The management of memory in the tabling package is highly important, since the solution with tabulation allows to reduce the system time (because it does not repeat executions) and increases the memory requirements (in order to save executions and answers). Therefore, the objective of this work is to implement a memory management mechanism in Ciao with the tabling package loaded. To achieve this goal, the following implementation were made: An error detection system that reveals when the computer is left without memory and activate the reinizialitation of the system. A procedure that adjusts the pointers of the tabling package which points to the WAM after a process of realloc of some of the WAM memory stacks. A memory manager of the tabling package that detects when it is necessary to expand the memory stacks of the tabling package, requests more memory, and adjusts the pointers. In order to help the readers who are not familiar with this topic, we described the data which Ciao and the tabling package host in the dynamic memory stacks that we want to manage. The test cases developed to evaluate the implementation of the memory manager show that: A manager for the dynamic memory allows the execution of programs in a larger number of cases. Memory management policy influences the program execution speed.

Estructuras óptimas de detección y corrección de errores dirigidas a computadores construidos con lógica de alto nivel de Integración: aplicación industrial

Este trabajo trata de la aplicación de los códigos detectores y correctores de error al diseño de los Computadores Tolerantes a Fallos, planteando varias estrategias óptimas de detección y corrección para algunos subsistemas. En primer lugar,"se justifica la necesidad de aplicar técnicas de Tolerancia a Fallos. A continuación se hacen previsiones de evolución de la tecnología de Integración, así como una tipificación de los fallos en circuitos Integrados. Partiendo de una recopilación y revisión de la teoría de códigos, se hace un desarrollo teórico cuya aplicación permite obligar a que algunos de estos códigos sean cerrados respecto de las operaciones elementales que se ejecutan en un computador. Se plantean estrategias óptimas de detección y corrección de error para sus subsistemas mas Importantes, culminando en el diseño, realización y prueba de una unidad de memoria y una unidad de proceso de datos con amplias posibilidades de detección y corrección de errores.---ABSTRACT---The present work deals with the application of error detecting and correctíng codes to the désign of Fault Tolerant Computers. Several óptimo» detection and correction strategies are presented to be applied in some subsystems. First of all, the necessity of applying Fault Tolerant techniques is explained. Later, a study on íntegration technology evolution and typification of Integrated circuit faults 1s developed. Based on a compilation and revisión of Coding Theory, a theoretical study is carried out. It allows us to force some of these codes to be closed over elementary operations. Optimum detection and correction techniques are presented for the raost important subsystems. Flnally, the design, building and testing of a memory unit and a processing unit provided with wlde error detection and correction posibilities 1s shown.

Bases para un planteamiento jerárquico de la lógica aplicable a la representación e interpretación del conocimiento

Uno de los campos de investigación más activos hoy en dia dentro del terreno de la inteligencia artificial (I.A.) es el de la representación del conocimiento. Actualmente es usual el clasificar los esquemas de representación del conocimiento en tres grandes grupos [Mylos 82]: Lógicos, de redes semánticas y procedimentales. Ponemos en primer lugar las representaciones lógicas porque es precisamente dentro de ellas donde el presente trabajo se puede encuadrar.

Tratamiento N-categorial de la lógica de la programación

En el contexto de las técnicas de validación de programas, de las estructuras de axiomatización de la programación planteadas por Hoare y del desarrollo de la Lógica de la Programación que Dijkstra realiza con el operador wp, hemos dotado a los elementos esenciales que intervienen en dicho desarrollo de una estructura que permite su estudio en el ámbito de las categorias. En este trabajo se demuestra que el conjunto de precondiciones de un fragmento de programa anotado tiene estructura de N-categoría y que sucede lo mismo con el conjunto de postcondiciones. Más aún, se ha puesto de manifiesto (y probado) que el operador wp actúa como un funtor entre estos pares de N-categorías. Además, los conjuntos de guardas surgen de un modo natural en la lógica de la programación, han sido tratados desde el punto de vista de la semántica denotacional (Wlrth para el PASCAL y Scott y otros, después, en un enfoque más general) y presentados por Manes y Arbib en su semántica parcialmente aditiva. Pues bien, en este trabajo se demuestra que los conjuntos de guardas tienen también estructura de N-categoría y gue cualguier N-categoría dotada de una suma definida adecuadamente tiene estructura de conjunto de guardas, de tal modo, además, gue el preorden inducido por la suma en el conjunto de guardas coincide con la flecha de la N-categoría. Esta suma es, en concreto, la disyunción exclusiva, lo que adicionalmente supone una sorprendentemente sencilla definición alternativa a la suma de las categorías parcialmente aditivas definida por Manes y Arbib. Con todo esto, se aportan herramientas conceptuales para entender mejor y resolver más eficientemente los problemas que tiene planteados la lógica de la programación, pues se dispone de un punto de vista distinto y nuevo y de toda una familia de instrumentos adicionales.---ABSTRACT---In the context of program validation techniques, Hoare's systems for programming and Dijkstra's development of the logic of programming, based on the operator wp, we have endowed the essential features of this development with a structure that permits to study them in the frame of category theory. In this thesis we show that the set of preconditions of an annotated program segment is an N-category, and the same happens for the set of postconditions. Even more, it is shown that the operator wp acts as a functor between those pairs of Ncategories. Furthermore, guard sets come out in a natural way in the logic of programming, they have been considered from a denotational semantics point of view (Wirth for Pascal and afterwards Scott and al. in a more general setting) and they have been embodied by Manes and Arbib in their partially additive semantics. Then, it is shown in this thesis that the above mentioned guard sets also have the structure of an N-category and that any N-category with an appropiately defined sum has the structure of a guard set in such a way that, besides, the preorder defined in the guard set by the sum operation coincides with the arrows of the N-category. This sum is just the exclusive or of Boolean Logic and this fact adds a surprisingly simple alternative definition for the sum operation in Manes and Arbib partially additive categories. The present work, in summary, makes a contribution of conceptual tools for a better understanding and a more efficient solution of the problems posed to the logic of programming and it does so by providing a new different point of view and a whole family of additional techniques.

Desenvolvimento da linguagem oral e interação educação-criança na educação pré-escolar

Relatório de estágio apresentado para obtenção do grau de mestre na especialidade profissional de Educação pré-escolar

Preservação Ambiental e Publicidade: uma relação possível

A questão ambiental e sua preservação é assunto de interesse global, impulsionado por todos os setores. Com o objetivo principal de mostrar que, mesmo inseridas em uma lógica empresarial, peças publicitárias bem elaboradas podem modificar comportamentos para que se efetive a preservação ambiental, o trabalho apresenta a análise do corpus selecionado por conveniência, a partir de amplo levantamento junto aos diversos formatos de anúncios veiculados na mídia impressa e eletrônica. O levantamento de opiniões, assim como pesquisas do tipo survey, contribuiu com a abordagem analítica que trabalhou com conceitos de comunicação, interação, linguagem, cultura e representações para compreender, a possibilidade da relação da preservação ambiental com a publicidade. O trabalho agregou sugestões apresentadas nas considerações que não se pretendem finais, mas que poderão contribuir para profissionais da atividade publicitária, empresas, governos, e organizações da sociedade civil no tocante à responsabilidade socioambiental de suas comunicações.(AU)

Preservação Ambiental e Publicidade: uma relação possível

A questão ambiental e sua preservação é assunto de interesse global, impulsionado por todos os setores. Com o objetivo principal de mostrar que, mesmo inseridas em uma lógica empresarial, peças publicitárias bem elaboradas podem modificar comportamentos para que se efetive a preservação ambiental, o trabalho apresenta a análise do corpus selecionado por conveniência, a partir de amplo levantamento junto aos diversos formatos de anúncios veiculados na mídia impressa e eletrônica. O levantamento de opiniões, assim como pesquisas do tipo survey, contribuiu com a abordagem analítica que trabalhou com conceitos de comunicação, interação, linguagem, cultura e representações para compreender, a possibilidade da relação da preservação ambiental com a publicidade. O trabalho agregou sugestões apresentadas nas considerações que não se pretendem finais, mas que poderão contribuir para profissionais da atividade publicitária, empresas, governos, e organizações da sociedade civil no tocante à responsabilidade socioambiental de suas comunicações.(AU)

A TRAJETÓRIA DO SESCTV: desafios na busca por uma nova linguagem televisiva

O SESCTV, canal de televisão administrado pelo Serviço Social do Comércio de São Paulo, caracteriza-se como uma iniciativa peculiar em seu âmbito midiático por diversos fatores. Estes condicionantes, por terem múltiplas origens - da natureza institucional à linguagem criada - desenham uma emissora que desperta inúmeros pontos de debate em torno dela e do meio televisivo. O objeto configura-se como referência também no que diz respeito ao amadurecimento da televisão por assinatura, sobretudo no campo educativo-cultural. Procura-se, aqui, considerar as variantes basilares do canal, que compreendem a construção de linguagem nele processada e o respectivo modo de produzir sentidos, sendo estes dois eixos analisados mediante uma contextualização social, política, econômica e cultural interna e externa ao objeto. Já o percurso metodológico traçado disseca os pontos convergentes e divergentes das relações estabelecidas pelo canal ao longo de sua trajetória. Trata-se de uma reflexão que mensura, a partir dos condicionantes expostos, os potenciais caminhos para que o SESCTV firme-se na história televisiva brasileira como iniciativa de protagonismo e vanguarda. Uma visão crítica que enxerga o atual como ponto de partida e não como fim.(AU)

A TRAJETÓRIA DO SESCTV: desafios na busca por uma nova linguagem televisiva

O SESCTV, canal de televisão administrado pelo Serviço Social do Comércio de São Paulo, caracteriza-se como uma iniciativa peculiar em seu âmbito midiático por diversos fatores. Estes condicionantes, por terem múltiplas origens - da natureza institucional à linguagem criada - desenham uma emissora que desperta inúmeros pontos de debate em torno dela e do meio televisivo. O objeto configura-se como referência também no que diz respeito ao amadurecimento da televisão por assinatura, sobretudo no campo educativo-cultural. Procura-se, aqui, considerar as variantes basilares do canal, que compreendem a construção de linguagem nele processada e o respectivo modo de produzir sentidos, sendo estes dois eixos analisados mediante uma contextualização social, política, econômica e cultural interna e externa ao objeto. Já o percurso metodológico traçado disseca os pontos convergentes e divergentes das relações estabelecidas pelo canal ao longo de sua trajetória. Trata-se de uma reflexão que mensura, a partir dos condicionantes expostos, os potenciais caminhos para que o SESCTV firme-se na história televisiva brasileira como iniciativa de protagonismo e vanguarda. Uma visão crítica que enxerga o atual como ponto de partida e não como fim.(AU)

ISTO NÃO É TV, É MTV: linguagem da MTV brasileira

A MTV brasileira está no ar há 15 anos no Brasil e desde o início de suas transmissões, em 1990, evoluiu consideravelmente a variedade de programas que oferece diariamente em sua grade de programação, saindo da simples reprodução de videoclipes. Essa variedade de programas, no entanto, é caracterizada por uma unidade discursiva que diferencia a MTV das outras emissoras de televisão aberta. Enquanto outras emissoras trabalham com gêneros diferentes de programas, em especial as que compõem a grade de programação de televisão aberta, a MTV consegue criar uma grade de programação diversificada, sempre direcionada a um público específico: o universo jovem. Objetivou-se realizar uma leitura qualitativa da linguagem do material simbólico que esta emissora produz a uma faixa de público especializada, subsidiada pela análise crítica de discurso, a semiótica e os estudos teóricos da Comunicação Social. Compõem o corpus de análise, os programas e vinhetas inéditos da semana de 23 a 29 de janeiro de 2006. Não foram consideradas as reprises. Demonstrou-se que é possível identificar uma estrutura discursiva que compõe uma linguagem, um discurso, que caracterizam a MTV e a diferenciam de outros canais de televisão aberta e a cabo. Uma linguagem que combina elementos do universo de sua principal audiência, os jovens. Palavras-chave: comunicação, MTV, análise de discurso, semiótica, jovem.

ISTO NÃO É TV, É MTV: linguagem da MTV brasileira

A MTV brasileira está no ar há 15 anos no Brasil e desde o início de suas transmissões, em 1990, evoluiu consideravelmente a variedade de programas que oferece diariamente em sua grade de programação, saindo da simples reprodução de videoclipes. Essa variedade de programas, no entanto, é caracterizada por uma unidade discursiva que diferencia a MTV das outras emissoras de televisão aberta. Enquanto outras emissoras trabalham com gêneros diferentes de programas, em especial as que compõem a grade de programação de televisão aberta, a MTV consegue criar uma grade de programação diversificada, sempre direcionada a um público específico: o universo jovem. Objetivou-se realizar uma leitura qualitativa da linguagem do material simbólico que esta emissora produz a uma faixa de público especializada, subsidiada pela análise crítica de discurso, a semiótica e os estudos teóricos da Comunicação Social. Compõem o corpus de análise, os programas e vinhetas inéditos da semana de 23 a 29 de janeiro de 2006. Não foram consideradas as reprises. Demonstrou-se que é possível identificar uma estrutura discursiva que compõe uma linguagem, um discurso, que caracterizam a MTV e a diferenciam de outros canais de televisão aberta e a cabo. Uma linguagem que combina elementos do universo de sua principal audiência, os jovens. Palavras-chave: comunicação, MTV, análise de discurso, semiótica, jovem.

“O CRISTO AFOGADO: UMA NÃO-CRISTOLOGIA” RELIGIÃO, LITERATURA E PÓS-COLONIALISMO

O objetivo dessa tese é aprofundar, a partir do discurso pós-colonial, uma crise na perspectiva teológica da libertação. Esta promoveu, na década de 1970, uma reviravolta nos estudos teológicos no terceiro mundo. Para tanto, leremos um conto de Gabriel García Márquez chamado “El ahogado más hermosodel mundo” (1968) analizando e avaliando as estratégias políticas e culturais ali inscritas. Para levar a frente tal avaliação é preciso ampliar o escopo de uma visão que divide o mundo em secular/religioso, ou em ideias/práticas religiosas e não religiosas, para dar passo a uma visão unificada que compreende a mundanalidade, tanto do que é catalogado como ‘religioso’ quanto do que se pretende ‘não religioso’. A teologia/ciências da religião, como discurso científico sobre a economia das trocas que lidam com visões, compreensões e práticas de mundo marcadas pelo reconhecimento do mistério que lhes é inerente, possuem um papel fundamental na compreensão, explicitação, articulação e disponibilização de tais forças culturais. A percepção de existirem elementos no conto que se relacionam com os símbolos sobre Jesus/Cristo nos ofereceu um vetor de análise; entretanto, não nos deixamos limitar pelos grilhões disciplinares que essa simbologia implica. Ao mesmo tempo, esse vínculo, compreendido desde a relação imperial/colonial inerente aos discursos e imagens sobre Jesus-Cristo, embora sem centralizar a análise, não poderia ficar intocado. Partimos para a construção de uma estrutura teórica que explicitasse os valores, gestos, e horizontes mundanos do conto, cristológicos e não-cristológicos, contribuindo assim para uma desestabilização dos quadros tradicionais a partir dos quais se concebem a teologia e as ciências da religião, a obra de García Márquez como literatura, e a geografia imperial/colonial que postula o realismo ficcional de territórios como “América Latina”. Abrimos, assim, um espaço de significação que lê o conto como uma “não-cristologia”, deslocando o aprisionamento disciplinar e classificatório dos elementos envolvidos na análise. O discurso crítico de Edward Said, Homi Bhabha e GayatriSpivak soma-se à prática teórica de teólogas críticas feministas da Ásia, da África e da América Latina para formular o cenário político emancipatório que denominaremos teologia crítica secular.