Application of fuzzy logic for the evaluation of livestock slaughtering

A lógica fuzzy admite infinitos valores lógicos intermediários entre o falso e o verdadeiro. Com esse princípio, foi elaborado neste trabalho um sistema baseado em regras fuzzy, que indicam o índice de massa corporal de animais ruminantes com objetivo de obter o melhor momento para o abate. O sistema fuzzy desenvolvido teve como entradas as variáveis massa e altura, e a saída um novo índice de massa corporal, denominado Índice de Massa Corporal Fuzzy (IMC Fuzzy), que poderá servir como um sistema de detecção do momento de abate de bovinos, comparando-os entre si através das variáveis linguísticas )Muito BaixaM, ,BaixaB, ,MédiaM, ,AltaA e Muito AltaM. Para a demonstração e aplicação da utilização deste sistema fuzzy, foi feita uma análise de 147 vacas da raça Nelore, determinando os valores do IMC Fuzzy para cada animal e indicando a situação de massa corpórea de todo o rebanho. A validação realizada do sistema foi baseado em uma análise estatística, utilizando o coeficiente de correlação de Pearson 0,923, representando alta correlação positiva e indicando que o método proposto está adequado. Desta forma, o presente método possibilita a avaliação do rebanho, comparando cada animal do rebanho com seus pares do grupo, fornecendo desta forma um método quantitativo de tomada de decisão para o pecuarista. Também é possível concluir que o presente trabalho estabeleceu um método computacional baseado na lógica fuzzy capaz de imitar parte do raciocínio humano e interpretar o índice de massa corporal de qualquer tipo de espécie bovina e em qualquer região do País.

Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense

Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Case-based reasoning in offshore well design

Petroleum well drilling is an expensive and risky operation. In this context, well design presents itself as a fundamental key to decrease costs and risks involved. Experience acquired by engineers is notably an important factor in good drilling design elaborations. Therefore, the loss of this knowledge may entail additional problems and costs. In this way, this work represents an initiative to model a petroleum well design case-based architecture. Tests with a prototype showed that the system built with this architecture may help in a well design and enable corporate knowledge preservation. (C) 2003 Elsevier B.V. B.V. All rights reserved.

Conditional reasoning: A key to assessing computer-based knowledge-building communication processes

This article describes a methodological approach to conditional reasoning in online asynchronous learning environments such as Virtual-U VGroups, developed by SFU, BC, Canada, consistent with the notion of meaning implication: If part of a meaning C is embedded in B and a part of a meaning B is embedded in A, then A implies C in terms of meaning [Piaget 91]. A new transcript analysis technique was developed to assess the flows of conditional meaning implications and to identify the occurrence of hypotheses and connections among them in two human science graduate mixed-mode online courses offered in the summer/spring session of 1997 by SFU. Flows of conditional meaning implications were confronted with Virtual-U VGroups threads and results of the two courses were compared. Findings suggest that Virtual-U VGroups is a knowledge-building environment although the tree-like Virtual-U VGroups threads should be transformed into neuronal-like threads. Findings also suggest that formulating hypotheses together triggers a collaboratively problem-solving process that scaffolds knowledge-building in asynchronous learning environments: A pedagogical technique and an built-in tool for formulating hypotheses together are proposed. © Springer Pub. Co.

Abductive reasoning, information, and mechanical systems

We investigate, from a philosophical perspective, the relation between abductive reasoning and information in the context of biological systems. Emphasis is given to the organizational role played by abductive reasoning in practical activities of embodied embedded agency that involve meaningful information. From this perspective, meaningful information is provisionally characterized as a selforganizing process of pattern generation that constrains coherent action. We argue that this process can be considered as a part of evolutionarily developed learning abilities of organisms in order to help with their survival. We investigate the case of inorganic mechanical systems (like robots), which deal only with stable forms of habits, rather than with evolving learning abilities. Some difficulties are considered concerning the hypothesis that mechanical systems may operate with meaningful information, present in abductive reasoning. Finally, an example of hypotheses creation in the domain of medical sciences is presented in order to illustrate the complexity of abduction in practical reasoning concerning human activities. © 2007 Springer-Verlag Berlin Heidelberg.

A logical approach to the management of object identifiers in non-conventional database management systems

Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID), because each object in the database has a unique identifier that is used to access and reference it in relationships to other objects. Two approaches can be used for the implementation of OIDs: physical or logical OIDs. In order to manage complex data, was proposed the Multimedia Data Manager Kernel (NuGeM) that uses a logical technique, named Indirect Mapping. This paper proposes an improvement to the technique used by NuGeM, whose original contribution is management of OIDs with a fewer number of disc accesses and less processing, thus reducing management time from the pages and eliminating the problem with exhaustion of OIDs. Also, the technique presented here can be applied to others OODBMSs. © 2011 IEEE.

Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Project ranking and logical design of an investment programming support system

Includes bibliography

Objetivos de desenvolvimento do milênio da ONU: redução da mortalidade na infância e saneamento básico urbano no estado do Pará

Saneamento básico e saúde são inseparáveis. Sob esta premissa, é conduzida a investigação contida neste estudo, que busca contribuir oferecendo à sociedade um ponto de vista interdisciplinar na formulação e acompanhamento das políticas públicas de saneamento básico urbano. O uso de indicadores urbanos é fator de melhoria no planejamento e gestão das cidades, e matéria atualíssima. Há fartura deles, entretanto este estudo busca a simplicidade cognitiva, embora sem reducionismo, e aí reside a preocupação com a interdisciplinaridade contida na abordagem desta investigação, que culmina com a proposição de modelo econométrico relacionando dados censitários sociais e sanitários. São estudadas as relações entre mortalidade na infância, população urbana, provisão de serviços urbanos de abastecimento de água, esgotamento sanitário e coleta de lixo. São verificadas as relações explicativas entre a variável de dependente constituída pelo produto mortalidade na infância x população urbana e as variáveis independentes populações urbanas atendidas com abastecimento de água, rede de esgoto e coleta de lixo. Consideradas as políticas de investimentos em saneamento expressas no Orçamento Geral do Estado do Pará para o ano de 2006 como usuais, e a partir do modelo desenvolvido, a mortalidade na infância é inferida para o ano de 2015, e comparada com a Meta dos Objetivos de Desenvolvimento do Milênio da ONU, a qual consiste na redução da mortalidade na infância em 2/3 entre os anos de 1990 e 2015. As estimativas de recursos para o atingimento dessa Meta indicam a necessidade de manter os investimentos em abastecimento de água, coleta de lixo e incrementálos em esgotamento sanitário. Como conseqüência lógica do raciocínio e das análises contidas no trabalho, é sugerido como critério de priorização no planejamento e alocação de recursos para ampliação da provisão de serviços urbanos de saneamento básico a mortalidade na infância.

Aplicação do processo hierárquico analítico (AHP) na priorização de áreas de risco geológico para a implantação de intervenções em assentamentos urbanos precários

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O estruturalismo em livros didáticos: SMSG e matemática - curso moderno

Pós-graduação em Educação Matemática - IGCE

O princípio da Indução Finita e jogos para o ensino de funções

Pós-graduação em Matemática em Rede Nacional - IBILCE

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained