Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-02-24Bitstream added on 2014-06-13T20:13:58Z : No. of bitstreams: 1 rodrigues_ap_me_mar.pdf: 615560 bytes, checksum: 6ad248ede2e9a91f3297ec680b6f9138 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o intuito de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), desenvolvida para tentar aproximar a lógica da linguagem natural. Com este estudo, concluímos que não há uma definição geral de quantificadores e, por isso, trabalhos como o de Sette, Carnielli e Veloso (1999), no qual introduziram a Lógica do Ultrafiltro, são importantes. A Lógica do Ultrafiltro estende a lógica clássica de primeira ordem por meio do acréscimo de um novo quantificador, o qual é chamado de quantificador ‘quase sempre’. Assim, em um segundo momento, formalizamos algebricamente este novo quantificador introduzido pela Lógica do Ultrafiltro. Introduzimos a lógica proposicional do ‘quase sempre’, que estende o cálculo proposicional clássico pela adição de um novo operador, em um sistema hilbertiano, e depois em um sistema de cálculo de sequentes / The objective of this paper is, in a first moment, to do a detailed study on quantifiers, which are studied since Aristotle [384-322 BC]. We show some conceptions of the generalized quantifiers, namely, the conception of Mostowski (1957), created with the purpose of to formalize some mathematical concepts, and the one of Barwise and Cooper (1981), developed to try an approach to the logical nature of language. From this study we concluded that there is no an absolute definition of quantifiers and so the several presentations like the paper of Sette, Carnielli and Veloso (1999), on which it is introduced the Ultrafilter Logic, are important. The Ultrafilter Logic extends the first order classical logic by the addition of a new quantifier called ‘almost always’. Thus, in a second moment, we formalize algebraically this new quantifier introduced in the Ultrafilter Logic. We introduce the ‘almost always’ propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a Hilbert system and in a sequent calculus system

Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.

No description available.

Orientador: Hércules de Araújo Feitosa / Banca: Mauri Cunha do Nascimento / Banca: Juliana Bueno-Soler / Resumo: O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o intuito de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), desenvolvida para tentar aproximar a lógica da linguagem natural. Com este estudo, concluímos que não há uma definição geral de quantificadores e, por isso, trabalhos como o de Sette, Carnielli e Veloso (1999), no qual introduziram a Lógica do Ultrafiltro, são importantes. A Lógica do Ultrafiltro estende a lógica clássica de primeira ordem por meio do acréscimo de um novo quantificador, o qual é chamado de quantificador 'quase sempre'. Assim, em um segundo momento, formalizamos algebricamente este novo quantificador introduzido pela Lógica do Ultrafiltro. Introduzimos a lógica proposicional do 'quase sempre', que estende o cálculo proposicional clássico pela adição de um novo operador, em um sistema hilbertiano, e depois em um sistema de cálculo de sequentes / Abstract: The objective of this paper is, in a first moment, to do a detailed study on quantifiers, which are studied since Aristotle [384-322 BC]. We show some conceptions of the generalized quantifiers, namely, the conception of Mostowski (1957), created with the purpose of to formalize some mathematical concepts, and the one of Barwise and Cooper (1981), developed to try an approach to the logical nature of language. From this study we concluded that there is no an absolute definition of quantifiers and so the several presentations like the paper of Sette, Carnielli and Veloso (1999), on which it is introduced the Ultrafilter Logic, are important. The Ultrafilter Logic extends the first order classical logic by the addition of a new quantifier called 'almost always'. Thus, in a second moment, we formalize algebraically this new quantifier introduced in the Ultrafilter Logic. We introduce the 'almost always' propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a Hilbert system and in a sequent calculus system / Mestre

No description available.

Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos já foram realizados sobre o problema da satisfatibilidade, principalmente sobre fórmulas na Forma Normal Conjuntiva. Com isso, muitas técnicas foram desenvolvidas baseadas nas características exclusivas desse formato. O algoritmo conhecido como DPLL é utilizado como base técnica para os principais resolvedores atuais. Heurísticas de aprendizado sobre erros e melhores estruturas de representação são os pontos fortes dos algoritmos mais modernos. Porém, a utilização de um formato de representação menos restritivo, não clausal, permite aos resolvedores atuarem sobre um número maior de domínios. Testes automatizados de circuitos são um bom exemplo de aplicação para um resolvedor não clausal. Dada a diversidade de aplicações, o processo de desenvolvimento de tais algoritmos exige a decisão de qual conjunto de técnicas e heurísticas deve ser utilizado para um melhor desempenho. Nesse cenário, uma plataforma de desenvolvimento robusta, que permita a implementação de estruturas e heurísticas específicas, facilita esse processo de decisão, possibilitando, assim, análises comparativas mais precisas entre diversas soluções.

No description available.

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-16Bitstream added on 2014-06-13T20:08:10Z : No. of bitstreams: 1 000734174.pdf: 1301603 bytes, checksum: c022c2b4e049a701b1abb5a9e04fe8e9 (MD5) / Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application

[pt] Este trabalho procura verificar o consumo do sofá da sala por agentes posicionados entre as camadas popular ou média baixa no espaço social carioca sob a ótica da dominação simbólica proposta por Bourdieu. Nesse contexto entendemos que simbolicamente esse consumo poderia ser reflexo da expressão individual desse sujeito ou fruto de um processo coercitivo de inculcação gerado pelas instâncias de legitimação e consagração que atuam no campo de design. Para essa verificação, além do apoio da teoria de Pierre Bourdieu, lançamos mão de uma investigação sobre a produção e uso social, no ocidente, dos assentos próximos ao que hoje entendemos ser um sofá, bem como procuramos averiguar como se deu a formação do que chamamos de sala da casa no Brasil. Juntamente a esse aporte teórico realizamos uma pequena pesquisa de campo, de caráter qualitativo, em um primeiro momento com indústrias de sofá, para conhecer como esse produto é elaborado, e, posteriormente, com consumidores, para entender como se dava sua decisão de escolha do sofá. Assim sendo, com a conjugação da teoria supracitada ao trabalho de campo, foi possível confirmar a presença de violência simbólica oriunda dos processos de inculcação, que, associada ao arbitrário social de como uma casa deve ser, exerce forte pressão sobre esses agentes pela aquisição de um modelo hegemônico de sofá. / [en] This work aims to verify the living room sofa consumption by agents positioned between the popular and lower middle layers in the Carioca social space from the perspective of symbolic domination proposed by Bourdieu. In this context, we understand that symbolically this consumption could be a reflection of individual expression of this subject or the result of a coercive process of inculcation generated by instances of legitimation and consecration working in the design field. To check this with the support of Pierre Bourdieu s theory we employ an investigation about the social production and use of it, in the West, of the seats next to what we now understand to be a sofa and tried to figure out how the formation of what we call living room in a brazilian home came to be. Along with this theoretical framework, we conducted a small field research, qualitative at first, with sofa industries, to know how this product is prepared, and later with consumers, to understand how your decision to choose the sofa was made. Thus, with the combination of the above mentioned theory with the field work, it was possible to confirm the presence of symbolic violence that, coming from the inculcation processes associated with the social arbitrary as a home should be, puts strong pressure on these agents for the acquisition of a hegemonic model of sofa.

Made available in DSpace on 2014-06-11T19:31:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-04-24Bitstream added on 2014-06-13T21:03:14Z : No. of bitstreams: 1 bianchi_c_dr_rcla.pdf: 3784213 bytes, checksum: 74a2fc2a0783a2ad9b404b340de5e04e (MD5) / Este trabalho mostra um caminho para a mudança, na prática pedagógica, pela inserção da Lógica no currículo, como tema transdisciplinar, articulador do raciocínio e construtor da argumentação. A proposta é inverter o papel do modo de pensar: de coadjuvante para protagonista. Quando as idéias forem veículos para os alunos compreenderem que podem pensar bem e reinventar idéias, os conteúdos serão menos esquecidos. Ensinando modos de pensar, otimizamos a capacidade de análise de quaisquer textos, tenham informações matemáticas ou não. Pela linguagem, construímos consensos que nos possibilitam viver em sociedade: quanto mais construímos sentidos para nossa vida, mais nos tornamos sujeitos históricos partícipes da realidade, assumindo posição na reconstrução dos discursos, passando da simples repetição das falas dos outros à nossa condição de autores, críticos e criativos. Que esta proposta possa ser um embrião para a Lógica passar a ser meio e método de transformação do conhecimento real pela análise crítica, contribuindo para um futuro melhor, ajudando os educadores a desenvolver em seus alunos as capacidades discursiva e argumentativa, o raciocínio e o senso crítico. / This work shows a way to improve teachers posture by inserting Logic as a subject at regular schools programs. We understand 'Logic as a thought articulator e and argumentation builder. The idea is to create a main role for the ways of how to think. When the ideas are tools for the students to understand they can think about and re-invent ideas, the contents taught will not be so quite forgotten. By teaching how to think, we optimize the analysis capacity of any texts, whether they involve mathematical issues or not. We build consenses that will make our life in society possible: the more we build sense to our life, the more aware we become of our role of citizens who should take part in the society's decisions, not by repeating other people's speeches, but creating our own, becoming authors, critics and creative. May this project be a seed so Logic can become a tool to change real knowledge by critical analysis, contributing to a better future, helping teachers to develop the speech and argumentation capacity of the students, improving their critical sense.