O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações. / The goal of this work is to provide the studens who need to deal with modal logic as a tool with a text which might be concise but complete enough at the same time. Although this is a rather mathematical text, an effort is made in order to maintain the equilibrium between mathematical concepts and their philosophical origins for believing this equilibium is of great importance for clarifing the ideas in a work for beginners. The first chapter starts with a brief historical approach of logic and then discusses some fundamental concepts from a syntactical point of view. The second chapter discusses the same concepts from a semantical point of view and links syntact and semantics. The third chapter presents the concept of bisimulation and paves the way for working with applications.

Orientador : Arnaldo Vieira Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-02T15:30:06Z (GMT). No. of bitstreams: 1 Yunes_TallysHoover_M.pdf: 6565656 bytes, checksum: 4ef3637ed1584172d24419ae96564bcc (MD5) Previous issue date: 2000 / Resumo: Este trabalho de mestrado procurou estudar e resolver um problema real de escalonamento de mão-de-obra oriundo da operação diária de uma empresa de ônibus urbanos da cidade de Belo Horizonte. Por questões de complexidade, este tipo de problema é normalmente dividido em dois subproblemas, a saber: crew scheduling, que trata a alocação diária de viagens a duplas de funcionários (motorista e cobrador), e crew rostering, que parte da solução do subproblema anterior e constrói uma escala de trabalho de mais longo prazo, e.g. um mês. Cada um desses subproblemas foi abordado utilizando-se técnicas de Programação Matemática e Programação por Restrições. Para o problema de crew scheduling, em particular, desenvolveu-se também um algoritmo híbrido de geração de colunas combinando as duas técnicas mencionadas e cujo desempenho foi significativamente melhor que o dos métodos isolados. Em geral, os modelos matemáticos resultantes de problemas dessa natureza são de grande porte. No caso aqui tratado, a matriz de coeficientes do programa linear associado a algumas instâncias dos problemas chega a conter dezenas de milhões de colunas. Todos os algoritmos propostos para a solução do problema foram implementados e testados sobre dados reais obtidos junto à empresa em questão. A análise dos resultados computacionais mostra que foi possível obter soluções de excelente qualidade em um tempo de computação adequado para as necessidades da empresa. Em particular, para o subproblema de scheduling, foi possível comprovar que as soluções obtidas são ótimas / Abstract: This dissertation aimed at studying and solving a real world crew management problem. The problem considered arises from the daily operation of an urban transit bus company that serves the metropolitan area of the city of Belo Horizonte, in Brazil. Due to its intrinsic complexity, the problem is usualIy divided in two distinct subproblems, namely: crew scheduling, that deals with the daily alIocation of trips to crews, and crew rostering, which takes the solution of the first subproblem and extends the scheduling to a longer planning horizon, e.g. a month. We have tackled each one of these subproblems using Mathematical Programming (MP) and Constraint Logic Programming (CLP) approaches. Besides, we also developed a hybrid column generation algorithm for solving the crew scheduling problem, combining MP and CLP, which performed much better than the two previous approaches when taken in isolation. Real world crew management problems typicalIy give rise to large scale mathematical models. In our case, the coefficient matrix of the linear program associated with some instances of the problem contains tens of millions of columns. AlI the proposed algorithms have been implemented and tested over real world instances obtained from the aforementioned company. The analysis of our experiments indicates that it was possible to find high quality solutions within computational times that are suitable for the company's needs. In particular, we were able to find provably optimal solutions for the crew scheduling problem / Mestrado / Mestre em Ciência da Computação

Orientador: Stelamaris Rolla Bertoli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-08-03T17:24:12Z (GMT). No. of bitstreams: 1 Alvarenga_BeneditoSergioTavaresde_M.pdf: 1200162 bytes, checksum: ac4e26b89e05718a132f263527a0ea0c (MD5) Previous issue date: 2003 / Mestrado

Orientadores : Fernando Gomide, Rosangela Ballini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T22:20:23Z (GMT). No. of bitstreams: 1 LunaHuamani_IvetteRaymunda_M.pdf: 990940 bytes, checksum: 8ef170d41279a1e177af8a10947c6d0e (MD5) Previous issue date: 2003 / Resumo: Este trabalho apresenta um estudo comparativo entre redes neurof uzzy hibridas, redes neurais e sistemas fuzzy, aplicados a problemas de identificação e controle de sistemas dinamicos nao lineares. Devido a necessidade de representação temporal e de elementos de memoria, para a resolução dos problemas tratados, duas estruturas de redes neuro fuzzy recorrentes sao propostas, a partir de uma rede neuro fuzzy estatica. As relações temporais sao induzidas por realimentação local e global internas nas redes neurofuzzy recorrentes. Para a aprendizagem das redes neurofuzzy propoe-se um algoritmo baseado no m'etodo do gradiente e no m'etodo de treinamento por reforço associativo. Resultados de simulação mostram que as redes neurofuzzy propostas proporcionam uma alternativa efetiva para modelar e controlar sistemas dinamicos nao lineares / Abstract: This work compares the performance of neural fuzzy, neural network and fuzzy systems, to model and control non-linear dynamical systems. Due to the need of temporal representations, two recurrent neural fuzzy networks are proposed based on an hybrid static neural fuzzy architecture. Temporal processing is induced by local and global recurrence in the hidden layer neurons. A learning method based on gradient search and associative reinforcement learning is proposed. Computational experiments suggest that recurrent neural fuzzy networks provide an effective alternative to model and control non-linear dynamical systems / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador : Anna Regina Lanner de Moura / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-03T23:05:07Z (GMT). No. of bitstreams: 1 Sousa_MariadoCarmode_D.pdf: 17781478 bytes, checksum: 302c40ab06db23fdfeb4c985682bd460 (MD5) Previous issue date: 2004 / Doutorado

Made available in DSpace on 2014-06-12T18:02:36Z (GMT). No. of bitstreams: 2 arquivo6743_1.pdf: 380313 bytes, checksum: fbe99f7cc521c651679e2657738fc3f7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na introdução de Os fundamentos da aritmética (Die Grundlagen der Arithmetik), de 1884, obra em que se ocupa com o esboço informal da definição lógica de número, Frege apresenta os três princípios fundamentais de sua investigação. Particularmente, interessa-nos o segundo deles que veio a ser conhecido como o princípio do contexto. Ele reaparece no §60 em uma passagem essencial (§§55-61) que considera os números como objetos autônomos e é reiterado no §62, no começo de uma passagem igualmente importante (§§62-69), onde são expostas as razões para definir os números cardinais como extensões de conceitos. E, finalmente, aparece no §106, no curso da recapitulação dos principais resultados do livro. Apresentamos nesta dissertação uma análise sistemática do princípio, tendo em vista que o papel exercido por ele no projeto logicista de Frege tem sido alvo de intensos debates. Há diversas interpretações sobre seu uso em Os fundamentos da aritmética. As formulações que aparecem no livro não exercem um papel homogêneo. Outra questão que também divide os comentadores é se o princípio do contexto é ou não reafirmado implícita ou explicitamente em trabalhos posteriores. Entre os comentadores, não há concordância acerca da manutenção ou não do princípio do contexto em outros escritos. Nosso principal objetivo é mapear as questões relativas a este princípio

Orientadores: Antonio E. Costa Pereira, Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:56:33Z (GMT). No. of bitstreams: 1 Cohn_PauloGomide_M.pdf: 11566794 bytes, checksum: f91095d37be2b90e3632446d7c42da36 (MD5) Previous issue date: 1991 / Resumo: Apresenta-se inicialmente uma introdução à programação em lógica através de uma abordagem evolutiva. Começando de um sistema formal de primeira ordem bastante complexo, descreve-se o conceito de prova de teoremas e sua automação. A partir daí apresenta-se a idéia de eficiência da prova. Os principais avanços obtidos durante o século XX nesta área são apontados, dando-se ênfase ao princípio de resolução de Robinson. Ao restringir a linguagem do sistema formal às sentenças de Horn, obtem-se uma grande melhora da eficiência do mecanismo de prova, preservando razoável poder de expressão. Alguns problemas relativos à expressividade da linguagem são apontados assim como formas em que têm sido abordados na atualidade. Uma delas é a programação por restrições. Na segunda parte do trabalho é apresentada a implementação de um interpretador/sistema de execução para a linguagem Prolog. A partir de uma especificação breve, de alto nivel, são introduzidos, incrementalmente, os detalhes de implementação de nivel mais baixo (estruturas de dados, controle de execução) até se obter um programa puramente procedimental escrito numa linguagem convencional (C). Finalmente, os conceitos de programação por restrições mencionados no inicio do trabalho são apresentados de forma mais detalhada para que se possa ter uma visão mais clara do seu funcionamento na prática. Assim, adotando uma abordagem semelhante à utilizada para descrever o compilador Prolog, é apresentado um interpretador de alto nivel para programas de restrições e, após alguns refinamentos, é obtido um conjunto de instruções que pode ser implementado numa linguagem de programação convencional. / Abstract: An introduction to logic programming is initially presented by means of an evolutionary approach. Starting with a fairly complex first order formal system, the concepts of theorem proving and its automatization are described. From there the idea of proof efficiency is presented. The most significant advances obtained during the 20th century in this area are pointed out emphasizing Robinson's resolution principle. Restraining the formal system's language to Horn sentences, a major improvement of the proof mechanism is obtained, preserving reasonable expressive power. Some problems related to language expressiveness and the ways in which they have been recently approached are shown. One of these approaches is constraint programming. In the second part of the work, the implementation of an interpreter/runtime system for the Prolog language is shown. From a brief, high-level specification, lower-level implementation details (data structures, execution control) are introduced until a purely procedural program written in a conventional language (C) is obtained. Finally, the contraint programming concepts mentioned in the first part are presented in a more detailed form in order to allow for a clearer vision of how it works in practice. Thus, by means of an approach similar to that used to describe the Prolog compiler, a high-level interpreter for constraint programs is presented and, after some refinements, an instruction set that may be implemented in a conventional programming language is obtained. / Mestrado / Mestre em Ciência da Computação

Orientador : Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T23:41:21Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_M.pdf: 17577824 bytes, checksum: 42b3db4ea8164c8778cb4b8c0927b7cd (MD5) Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador : Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T11:11:33Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_M.pdf: 4387558 bytes, checksum: 53ae15e0d9bb7091eead68294bfd8ecc (MD5) Previous issue date: 1988 / Resumo: Não encontrado / Abstract: Not informed / Mestrado / Mestre em Matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this master thesis, guided by the search of the relationship between mathematical logic and traditional logic, we address the characterizations of logic offered by Kant and Frege. First, we considered and specified several ways to understand the thesis according to which logic can be distinguished from other sciences through its abstraction of matter or knowledge content, and its attention to form. Two of these notions turned out to be indispensable to make explicit the relationships between the two conceptions of logic; namely, generality i.e. normative validity on all domains of the thought and formality i.e. complete abstraction of semantic content. Second, we pointed out the fundamental role of these notions in the Kantian characterization of logic. Kant, in consonance with his contemporaries, begins characterizing logic by its generality, but when he arrives at the fundamental thesis of his transcendental idealism, he innovates arguing also for its formality. Third, it becomes clear, at least with regard to the conception of logic, that Frege was under Kantian influence. In his first writings, Frege adopts the Kantian characterization, only later does he become aware that his technical innovations reject the formality of logic. However, the characterization by generality is a constant along the whole Fregean corpus, and it guarantees the link with all the precedent tradition. The main result of this master thesis is to point the common nucleus between the two conceptions of logic, and with it, the grounds for the divergence concerning the status of arithmetic. Only because logic meant the same for both, the miscarried logicist project could have proven that Kant was wrong concerning arithmetic. / Nesta dissertação, orientados pela busca da relação entre a lógica matemática e a lógica tradicional, nos dirigimos às caracterizações de lógica oferecidas por Kant e Frege. Num primeiro momento consideramos e precisamos diversos modos de entender a tese de que a lógica pode ser distinguida das outras ciências por abstrair da matéria ou conteúdo do conhecimento e tratar apenas da forma. Duas destas noções mostraram-se indispensáveis para explicitar as relações entre as concepções de lógica dos dois autores; a saber, generalidade i.é. vigência normativa sobre todos os domínios do pensamento e formalidade i.é. completa abstração do conteúdo semântico. Em um segundo momento, evidenciamos o papel fundamental destas duas noções, na caracterização kantiana de lógica. Kant, em consonância com seus contemporâneos, começa caracterizando a lógica pela generalidade, mas, quando chega às teses fundamentais do seu idealismo transcendental, inova completamente ao argumentar também pela sua formalidade. Em um terceiro momento, evidenciamos a marcante influência kantiana na obra de Frege, que se faz presente de modo especial na concepção de lógica. Nos primeiros escritos, Frege parece adotar a mesma caracterização que Kant, mas, com o amadurecimento de sua obra, acaba por dar-se conta que suas inovações técnicas rejeitam a formalidade da lógica. A caracterização pela generalidade, ao contrário, é uma constante ao longo de todo o corpus fregeano, embora seja também reformulada com o acirramento de seu antipsicologismo. O principal resultado desta dissertação é a explicitação do núcleo comum entre as concepções de lógica dos dois autores, e com ele, do fundamento da divergência acerca do status da aritmética. Somente porque lógica significa o mesmo para ambos, o malogrado projeto logicista poderia ter provado que Kant estava errado acerca da aritmética.