Made available in DSpace on 2015-05-14T12:11:48Z (GMT). No. of bitstreams: 1 ArquivoTotalEugenia.pdf: 1111400 bytes, checksum: 8d0150bdfd73d917028015cfe5760882 (MD5) Previous issue date: 2013-03-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work deals with the question of logical consistency inside the context of moral dilemmas or, more specifically, genuine moral dilemmas, which are situations where someone has a conflict between two obligatory actions guided by the same moral principle. In other words, it is a situation where there are two moral obligations which should be satisfied, but since they are incompatible, while sometimes one is the negation of the other, they cannot be both accomplished. When we formalize moral dilemmas along with some deontic principles, the result is a contradiction. Inside the framework of classical deontic logic, due to its limitation of dealing with paradoxes of such kind, the existence of moral dilemmas is taken as something absurd, as an affront to rationality. Thus, given the inconsistency, the solution would be to deny the existence of the dilemmas, which has been the most widespread solution, or to deny the deontic principles involved in the inconsistency. We do not agree with these two solutions. Instead, we propose to weaken the rationalist argumentation based on the existence of dialetheias and on the suggestion of dealing with moral dilemmas inside a paraconsistent framework, in such a way that the existence of inconsistence would not be a reason any more to deny the existence of such dilemmas. / RESUMOO presente trabalho aborda a questão da consistência lógica dentro do contexto dos dilemas morais; mais especificamente dilemas morais genuínos, que são situações nas quais uma pessoa tem o conflito entre duas ações obrigatórias guiadas pelo mesmo princípio. Ou seja, existem duas obrigações que deveriam ser satisfeitas, mas por se tratarem de ações incompatíveis, em que uma é a negação da outra, não podem ambas ser praticadas. Quando se faz a formalização do dilema moral conjuntamente com alguns princípios deônticos o resultado é uma contradição. Dentro do framework da Lógica Deôntica clássica, por causa de sua limitação em tratar com paradoxos devido a alguns princípios clássicos, a existência dos dilemas morais é tida como algo absurdo ou uma afronta à racionalidade. Assim, dada à inconsistência, a solução seria negar a existência dos dilemas ou negar os princípios deônticos envolvidos na inconsistência. A solução mais propagada foi a negação da existência dos dilemas. Entretanto, discordando dessa solução, tentamos enfraquecer a argumentação racionalista com base na ideia de dialetéias e consequentemente sugerindo que, se os dilemas morais forem tratados em um framework paraconsistente a inconsistência não seria motivo suficiente para negar a existência desses dilemas.

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.

A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem que tanto as sentenças lógicas como as probabilidades sejam especificadas por especialistas. Entretanto, a crescente disponibilidade de dados relacionais sugere o uso de técnicas de aprendizado de máquina para produzir sentenças lógicas e estimar probabilidades. Este trabalho apresenta contribuições em termos de representação de conhecimento e aprendizado. Primeiro, uma linguagem lógica probabilística de primeira ordem é proposta. Em seguida, três algoritmos de aprendizado de lógica de descrição probabilística crALC são apresentados: um algoritmo probabilístico com ênfase na indução de sentenças baseada em classificadores Noisy-OR; um algoritmo que foca na indução de inclusões probabilísticas (componente probabilístico de crALC); um algoritmo de natureza probabilística que induz sentenças lógicas ou inclusões probabilísticas. As propostas de aprendizado são avaliadas em termos de acurácia em duas tarefas: no aprendizado de lógicas de descrição e no aprendizado de terminologias probabilísticas em crALC. Adicionalmente, são discutidas aplicações destes algoritmos em processos de recuperação de informação: duas abordagens para extensão semântica de consultas na Web usando ontologias probabilísticas são discutidas. / The combination of logic and probabilities (probabilistic logics) is a topic that has been extensively explored in past decades. The majority of work in probabilistic logics assumes that both logical sentences and probabilities are specified by experts. As relational data is increasingly available, machine learning algorithms have been used to induce both logical sentences and probabilities. This work contributes in knowledge representation and learning. First, a rst-order probabilistic logic is proposed. Then, three algorithms for learning probabilistic description logic crALC are given: a probabilistic algorithm focused on learning logical sentences and based on Noisy-OR classiers; an algorithm that aims at learning probabilistic inclusions (probabilistic component of crALC) and; an algorithm that using a probabilistic setting, induces either logical sentences or probabilistic inclusions. Evaluation of these proposals has been performed in two situations: by measuring learning accuracy of both description logics and probabilistic terminologies. In addition, these learning algorithms have been applied to information retrieval processes: two approaches for semantic query extension through probabilistic ontologies are discussed.

Informe de Seminario para optar al grado de Licenciado en Filosofía. / Con el fin de hacerse del punto de vista del pensamiento de Hegel se intenta determinar el contenido lógico del concepto como Dios, atendiendo a su doctrina de la lógica y de la religión. Tal objetivo conduce a centrarse en los elementos fundamentales del pensamiento hegeliano, haciéndose abstracción de la plenitud del contenido, y a trazar una exposición libre y sintética de aquel contenido, pero, a la vez, ceñidamente apegada a la palabra del autor. En una primera parte se aportan los elementos básicos del contenido lógico de Dios, marcándose los contrapuntos con la lógica del sentido común y de la metafísica moderna que inevitablemente opera como trasfondo: la posibilidad de la cognoscibilidad de Dios, su existencia referida a la experiencia religiosa, el carácter ontológico de la lógica y del concepto hegeliano, la automediación y la autobjetivación como principales caracteres divinos. Así también en esta primera parte se comparan a grandes rasgos los desarrollos del contenido lógico divino en la doctrina de la lógica y en la doctrina de la religión, estableciéndose la mayor pertinencia de este último para alcanzar el objetivo general propuesto, sobre todo porque se postula que en tal desarrollo se da un enriquecimiento lógico de lo lógico, esto es, se da una relación lógica en el ámbito de lo religioso que no es reducible a alguna figura presente en la doctrina de la lógica. En la segunda parte se expone, pues, propiamente este momento lógico del concepto como Dios desde la doctrina hegeliana de la religión. Establecer tal momento es recorrer la historia lógica divina, es recorrer los conceptos en que Dios se fue determinando en el devenir religioso. A lo largo de este devenir divino se coloca énfasis en explicitar la ampliación lógica postulada y la problemática en la que está inserta. Finalmente, tras haberse expuesto la historia divina, se vuelve sobre aquella problemática. Se establece que la figura lógica que emerge en lo religioso es la figura del poner un otro, la figura de un Dios que pone a la historia humana para sí. En torno a esta figura lógica se halla el problema del comienzo: de la exposición de la necesidad de que el contenido de la experiencia religiosa sea nombrado como Dios. Es el problema de la existencia de Dios en la singular versión hegeliana. Es la tensión entre defender la existencia de Dios o la libertad de la comunidad humana lo que se juega en ello. La solución hegeliana, que se vierte en la figura del poner un otro, parece que inevitablemente lleva consigo la enajenación de la libertad para la historia humana. Sin embargo, volverse al pensamiento hegeliano debiera constituir una urgencia para nuestro mundo de la dominación globalizada. Hoy cuando la realidad toda parece una matriz devenida cristal, una matriz que ya no puede dejar de ser, debiéramos levantar nuestras voces y decir: porque nada tiene que haber, libertad podemos ser.

La terminología “Robótica” es utilizada por primera vez por el escritor Isaac Asimov en 1942, en su cuento titulado como “Runaround”, cuando definió esta palabra como “el estudio sistemático de robots, su construcción, mantenimiento y comportamiento”. Desde ese entonces se ha internacionalizado este concepto, siendo esta rama de la ciencia la que se ocupa de todo el desarrollo respectivo al tema de los robots. Después de la aparición del nombre por primera vez en 1942, sucedieron un sinnúmero de hitos que sirvieron para el desarrollo de la robótica. A continuación mencionamos algunos hechos en orden cronológico para tener una mejor perspectiva del desarrollo de la robótica. En 1948 se publica el libro llamado Cybernetics, por Norbert Wiener, en el cual, por primera vez se incluyen conceptos para la operación de robots. En 1954 se patenta, por primera vez en la historia, el diseño de un robot y fue por George C. Devol en Estados Unidos. Esto sirve como ejemplo y es seguido por otras personas en todo el mundo como es el caso de C.W. Kenward del Reino Unido. En 1961 vuelve a aparecer George C. Devol quien con la ayuda de J.F. ENGELBERG, construyen el primer robot industrial denominado “Unimate-2000”. Al año siguiente, este robot se instala en las fábricas de General Motors. Por esta razón a estos dos investigadores se les considera como padres de la robótica industrial.

Sostiene que la lógica griega parece elaborada sobre las mismas bases que la india: Gotama y Aristóteles parecen sometidos a una misma influencia y que obedecen a una misma inspiración: el uno prepara los elementos que el otro puede y combina con artificios. Gotama bosqueja con rasgos rigorosos, aunque imperfectos, el silogismo que, después Aristóteles expone en un cuadro sencillo y acabado; el lógico indio hecha sin pensarlo las bases sobre las que debía levantarse la escolástica, el lógico griego depura su obra e impulsado por inspiraciones más atrevidas se hace el verdadero fundador de ese escolasticismo que se agitó aun en la filosofía moderna. / Tesis

Em nossa dissertação de mestrado, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO estávamos interessados na construção de um sistema deôntico paraconsistente a partir de uma lógica dialética e na introdução de operadores de interpretação na lógica clássica. A pesquisa atual pretende ampliar o uso de lógicas deônticas paraconsistentes para formalizações com quantificadores e operador de igualdade e apresentar a lógica DL-DQ=, como uma melhor formalização do que os sistemas input/out e algumas lógicas de proposições normativas. Pretendemos aplicar a lógica DL-DQ= na solução de paradoxos deônticos. / In our masters dissertation, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO (Studies of Paraconsistent Logic DL and its applications in Law) we focused on establishing a paraconsistent deontic system based on specific dialectical logic and urging in interpretations symbols in classical logic. In this research we try to expand the paraconsistent deontic logic to formal languages with symbols for quantifiers and equality and to develop the logic DL-DQ= which we believe presents a better formalization, compared to two other system called Input\\Output and Normative Propositional Logics. We intend to apply DL-DQ= as tool to solve deontic paradoxes.

Orientador: Suely Cunha Amaro Mantovani / Banca: Nobuo Oki / Banca: Carlos Aurélio Faria da Rocha / Resumo: A proposta deste trabalho consiste no desenvolvimento de um sistema de navegação de um robô móvel autônomo utilizando-se de técnicas da lógica fuzzy, aqui desenvolvida na linguagem de descrição de hardware, VHDL, e a sua implementação em uma placa DE2 do fabricante Altera, usando o software de desenvolvimento, Quartus II, do mesmo fabricante. O objetivo do sistema de navegação proposto é o de que o protótipo do robô caminhe sem colidir em nenhum obstáculo (ande para frente, para esquerda, para direita e pare) usando para comunicação externa com o ambiente, três sensores de distância localizados um em cada lado do robô e um na frente, atuando através dessas informações em dois motores de passo. Os resultados desta implementação obtidos em simulação são satisfatórios e foram comparados aos resultados obtidos como o mesmo processo no MATLAB. / Abstract: The purpose of this work is to develop a navigation system of an autonomous mobile robot using fuzzy logic techniques, developed here in the hardware description language, VHDL, and its implementation on a DE2 - Altera board manufacturer, using the software development Quartus II, from the same manufacturer. The navigation system proposed in this work aims that the prototype robot rides without bumping into any obstacles (goes forward, to the left, to the right and stop) using for communication with the external environment three distance sensors, located one on each side of the robot and one at the front and acting through these information in two stepper motors. Simulation results obtained in the implementation developed here are reasonable compared to the same process done in MATLAB. / Mestre

Orientador: Marcelo Carvalho Minhoto Teixeira / Banca: Erica Regina M. D. Machado / Banca: José Roberto Castilho Piqueira / Resumo: Este trabalho aborda o problema de modelagem e controle de uma classe de sistemas não-lineares utilizando modelos Fuzzy Takagi-Sugeno (TS). A contribuição principal foi a flexibilização dos ganhos do controlador, em função das condições iniciais da planta, tornando os controladores mais relaxados. A matriz X, positiva definida, relacionada à função de Lyapunov V(x(t))=xT(t)X-1x(t) é relaxada utilizando o conceito de politopo, em relação ao politopo das condições iniciais. O controlador, descrito por modelos fuzzy TS do mesmo tipo da planta, apresenta seus ganhos dependentes das condições iniciais. As análises de estabilidade e problemas de projetos de sistemas de controle são descritos através de Desigualdades Matriciais Lineares (em inglês, Linear Matrix Inequalities (LMIs)), que podem ser resolvidos eficientemente por técnicas de programação convexa. As técnicas de projeto também permitem a especificação da resposta transitória através da taxa de decaimento e especificação de restrições nas entradas e saídas do sistema. O projeto e a simulação do controle de um sistema bola-viga ilustram a aplicação das condições relaxadas de estabilidade para sistemas não-lineares. / Abstract: This work considers the problem of modeling and designing of a class of nonlinear systems, described by Takagi-Sugeno (TS) fuzzy models. The main contribution was the flexibility of the controller s gains, was a functions of the initial conditions of plant, making the controllers to be more relaxed. The matrix X, positive definite, related to the Lyapunov function V(x(t))=xT(t)Px(t) is relaxed using the concept of convex polytope, in relation to the polytope of the initial conditions. The controller, that is described by a Takagi-Sugeno model with the same structure of the plant, has its gains depending on the initial conditions of the plant. The analysis of stability and problems of designing of control systems are described as the solution of LMIs (Linear Matrix Inequalities) that can be efficiently solved by convex programming techniques. The design methods also allows the specification of the decay rate, constraints on control input and output. One of the proposed methods system is applied in the control of a ball-beam. / Mestre

\"As Investigações lógicas\", de Edmund Husserl, têm sua origem na busca por uma nova fundamentação para a lógica. Tal objetivo resulta, em grande parte, de insatisfações em relação à compreensão da lógica como ramificação da psicologia, que, para Husserl, culminaria em contradição. Em oposição a essa teoria, o autor argumenta em prol de uma lógica verdadeira em si, possível apenas a partir de uma compreensão da verdade como ideia, independente de toda facticidade empírica. Husserl recusa-se, contudo, a subscrever à noção de uma idealidade hipostatizada, parte de uma realidade própria, separada do mundo sensível. Como é possível, então, sustentar simultaneamente essas duas posições? Para responder a essa questão e clarificar a relação entre as esferas do real e do ideal na obra, examinarei o texto das Investigações dando especial atenção ao lugar ocupado pela idealidade. Mostrarei, assim, que a compreensão husserliana de conceitos como expressão, ato mental e intencionalidade permite ao autor atribuir uma posição peculiar aos objetos ideais, que existem como objetos legítimos, sem situá-los num domínio totalmente separado daquele dos objetos da sensibilidade. / Edmund Husserl\'s \"Logical Investigations\" have their starting point in the search for a new foundation for Logic. This goal springs to a great extent from dissatisfactions regarding the prevailing theory of Logic as a branch of Psychology, which results, to the author, in blatant contradiction. Opposing this theory, Husserl argues for a logical science that is true in itself, possible only when truth is taken as an idea, free from all empirical facticity. At the same time, the author refuses to subscribe to the idea of a hypostatized ideality, pertaining to its own realm, separate from the world of sensibility. How is it possible, then, to concurrently support these two positions? To answer this question and clarify the relationship between the spheres of real and ideal, we will delve into the Logical Investigations with an eye to the role fulfilled by ideality in their pages. In doing this, I will show that Husserl\'s understanding of concepts such as expression, act and intentionality allow him to assign a special role to ideal objects, which exist as legitimate objects, without consigning them to a realm completely foreign to that of the objects of sensory perception.