Made available in DSpace on 2015-05-14T16:53:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-10-01Bitstream added on 2015-05-14T16:59:20Z : No. of bitstreams: 1 000824721.pdf: 610426 bytes, checksum: 94b9d42fa010372a822820dab627e120 (MD5) / O objetivo da presente dissertação é analisar os conceitos de informação e de abdução no contexto dos estudos dos processos criativos e de descoberta científica. A questão central que direciona o presente trabalho pode ser assim formulada: há uma lógica subjacente à criação e à descoberta científica? Propomos uma resposta a essa questão, relacionando os conceitos de informação e de raciocínio abdutivo, argumentando que a descoberta e a criação científica podem ser entendidas como uma forma de aplicação do raciocínio abdutivo na tentativa de expansão do universo informacional em que um problema científico está inserido. / The aim of this work is to analyze the concepts of Information and Abduction in the context of studies of creative processes and scientific discovery. The central question addressed can be formulated as follows: Is there a logic underlying creativity and scientific discovery? We propose an answer to this question based on concepts of information and abductive reasoning, arguing that scientific discovery and creativity could be understood as a type of application of abductive reasoning in an attempt to expand the informational universe within which a scientific problem is inserted.

A escolha do sistema de terminação de suínos e controle de dejetos, que melhor contemple os valores sociais atuais, implica considerar, simultaneamente, pelo menos dois aspectos disciplinarmente distintos - o econômico e o ambiental - o que eleva a complexidade da escolha. Conjuntos fuzzy, por traduzir ordenadamente a percepção expressa pela linguagem, o entendimento relevante porém impreciso da realidade, é uma ferramenta conveniente para o estudo desta situação, a respeito da qual diversos especialistas possuem apreciável conhecimento parcial. Analisa-se o custo de produção de terminadores de suínos da encosta do Vale do Caí, utilizando-se conjuntos fuzzy para identificar causas necessárias e/ou suficientes para o alcance de um baixo custo de produção. Posteriormente, é apresentado um modelo fuzzy para a combinação dos custos de produção com as percepções de suinocultores e de agrônomos quanto ao impacto ambiental da suinocultura.

Orientador: Kleber Tomás de Resende / Banca: Ivete Susin / Banca: Luis Orlindo Tedeschi / Banca: Izabelle Auxiliadora Molina de Almeida Teixeira / Banca: Nilva Kazue Sakomura / Resumo: Os objetivos deste estudo foram estimar as exigências nutricionais e desenvolver equações para predizer a composição química do corpo e da carcaça. Trinta e quatro cabritos Boer o Saanen, não castrados, foram utilizados, dos quais sete foram abatidos no início do experimento, com 21,2 kg PV. Outros seis foram abatidos ao atingirem 28,2 kg PV. Os 21 restantes foram distribuídos aleatoriamente em sete grupos de três animais. Os tratamentos foram definidos por três níveis de consumo de matéria seca (CMS): à vontade e restrição de 30 ou 60% do CMS. Cada grupo foi abatido quando o animal do tratamento à vontade atingiu 35 kg de PV. Foi utilizado o método da abate comparativo para o cálculo das exigências. A exigência líquida (EL) diária de energia e proteína para mantença foram estimadas em 78,2 kcal/kg0,75 de peso do corpo vazio (PCV) e 2,4 g/kg0,75 PCV. Com relação aos macrominerais, a EL diária para mantença foi estimada em 32,3 mg Ca; 30,8 mg P; 1,31 mg Mg; 8,41 mg K e 5,14 mg Na por kg de PCV. A EL para ganho de energia, para animais pesando entre 20 a 35 kg PV, variou entre 2,5 a 3,0 Mcal/kg ganho PCV (GPCV); a de proteína variou entre 178,8 e 185,2 g/kg GPCV e a de macrominerais variou de 6,5 a 7,0 g Ca; 5,3 a 5,4 g P; 0,29 a 0,31 g Mg; 0,67 a 0,62 g Na e 1,18 a 1,05 g K por kg GPCV. A composição química (CQ) do corpo e da carcaça foram melhores estimadas por meio da CQ dos componentes não carcaça e das costelas, respectivamente. / Abstract: Meat production of goats has become an important livestock enterprise in several parts of the world. Nonetheless, energy and protein requirements of meat goats have not been defined thoroughly. The objective of this study was to determine energy and protein requirements for maintenance and growth and to develop equations to predict the chemical composition of body and carcass using chemical composition of body components of Boer and oSaanen crossbred, intact male kids. In the first trial, 34 Boer and oSaanen crossbred, intact male kids were used. The baseline group (BL) was comprised of seven randomly selected kids, averaging 21.2 l 0.36 kg of BW. An intermediate group consisted of six randomly selected kids that were slaughtered when they reached 28.2 l 0.39 kg BW. The remaining kids (n = 21) were allocated randomly to three levels of DMI (treatments: ad libitum and restricted to 30 or 60% of the ad libitum intake) within seven slaughter groups. A slaughter group consisted of one kid from each treatment and was slaughtered when the ad libitum treatment kid reached 35 kg BW. Individual body components were weighed, ground, mixed, and subsampled for chemical analyses. The calculated daily NEm requirement was 78.2 kcal/kg0.75 of empty BW (EBW). A value of 2.44 g of net protein/kg0.75 of EBW for daily maintenance was determined. Net energy and protein (NPg) requirements for growth ranged from 2.55 to 3.0 Mcal/kg of empty weight gain (EWG) and 178.8 to 185.2 g/kg of EWG for 20 and 35 kg of BW, respectively. The daily net requirement of macrominerals for maintenance was 32.3 mg of Ca; 30.8 mg of P; 1.31 mg of Mg; 8.41 of K and 5.14 mg of Na per kg of EBW. Net macrominerals requirements for growth ranged from 6.5 to 7.0 g of Ca; 5.3 to 5.4 g of P; 0.29 to 0.31 g of Mg; 0.67 to 0.62 g of Na and 1.18 to 1.05 g of K per kg of EWG. The chemical composition of the non-carcass components...(Complete abstract, acess undermentioned eletronic adress) / Doutor

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: As empresas estão sendo sobrecarregadas rapidamente com grandes volumes de dados e ao mesmo tempo estão se tornando, predominantemente, orientadas ao conhecimento. O aumento do domínio do conhecimento não melhora apenas os produtos, mas também é uma fonte para decisões estratégicas. Do ponto de vista da ciência da computação, os requisitos de conhecimento exigidos pelas empresas sempre dão mais ênfase a "conhecer que" (conhecimento declarativo) do que "conhecer como" (conhecimento procedural). A lógica matemática tem sido a representação preferida para o conhecimento declarativo e portanto, técnicas de descoberta do conhecimento são utilizadas, as quais geram fórmulas lógicas a partir dos dados. Programas lógicos oferecem uma representação poderosa e flexível para restrições, gramáticas, equações e relacionamentos temporais e espaciais. A técnica que induz conceitos a partir de dados gerando programas lógicos é chamada de Programação Lógica Indutiva (ILP - Inductive Logic Programming). Este trabalho descreve a implementação de um sistema para a descoberta do conhecimento (mineração de dados) em bancos de dados relacionais utilizando fundamentos de ILP e SQL. Esse sistema, DBILP (DataBase miner based on ILP), trabalha com dois mecanismos básicos: um que, baseado em ILP, especializa e, em seguida, generaliza as regras construídas, e outro que instância e valida essas regras, baseado em comandos SQL. ILP e SQL foram escolhidos pois o primeiro é uma técnica relativamente moderna e expressiva para a mineração de dados, e o segundo permite que grande volume de dados sejam manipulados, graças ao controle feito por um Sistema Gerenciador de Banco de Dados (SGBD). O funcionamento do DBILP é discutido ao longo desse trabalho, apresentando os módulos que o compõe, a sintaxe da linguagem de entrada definida, e a forma que as regras são construídas dentro do espaço de busca. A eficiência do DBILP é apresentada através de um experimento utilizando três outros sistemas bem conceituados no meio acadêmico, dois orientados a atributo-valor: C4.5 e CN2; e um sistema ILP: Progol. A análise desse experimento indica que o DBILP é particularmente útil no processo de descoberta do conhecimento em banco de dados (KDD - Knowledge Discovery in Databases).

Orientador : Newton Antonio Paciulli Bryan / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-06T14:26:15Z (GMT). No. of bitstreams: 1 Zeuri_Mauro_M.pdf: 2056056 bytes, checksum: 5521ac0b54add035b34906a5f925a2a7 (MD5) Previous issue date: 2002 / Resumo: A proposta apresenta, inicialmente, os antecedentes históricos dos modernos métodos de planejamento, localizando o Método ZOPP neste contexto, bem como analisa as técnicas utilizadas.Busca-se assim compreender a lógica de funcionamento do Método aplicado pela GTZ, exatamente para o que foi concebido: o planejamento e a gestão de projetos de cooperação do governo alemão, a partir da experiência do Projeto de Consolidação do Pólo Tecnológico de Santa Rita do Sapucaí no âmbito do A.C.I. Brasil-Alemanha. Além disso, são identificadas e analisadas as mutações ocorridas tanto no âmbito da GTZ, como nas aplicações resultantes da utilização de instituições e de pessoas, que das mais variadas formas e motivos começam a aplicar o Método. Finalmente, observa-se o conjunto de técnicas sistematizadas para a elaboração participativa, coletiva e compartilhada do plano e do processo de gestão, conforme organizado no ZOPP, comparando-as com as variações ocorridas, como forma de analisar o método na sua formação original, nas suas derivações, nas suas adaptações e nas apropriações feitas ao longo do tempo / Abstract: The proposal, presents, initially, the historical antecedents of the modern methods of planning, locating Method ZOPP in this context, as well as analyzes the employed techniques. Thus, the aim is to understand, the logic of the Method¿s functioning, applied for the GTZ, accurately for what it was conceived: the planning and the management of projects of cooperation of the German government, from the experience of the project of consolidation of the science parks region of Santa Rita do Sapucaí in the scope of the A.C.I. Brazil-Germany. Moreover, it identifies and analyzes the occurred transformations both in the scope of the GTZ, and in the resultant applications of the use of institutions and people, that starts to apply the Method by the most varied forms and reasons. Finally, it observes the set of techniques systematized for the participatory, collective elaboration and shared of the plan and the process of management, as organized in the ZOPP, comparing them with the occurred variations, as a form to analyze the Method in its original formation, derivations, adaptations and in the appropriations done all this while / Mestrado / Mestre em Educação

Orientador: Ricardo Pereira Tassinari / Banca: José Eduardo Marques Baioni / Banca: Pedro Geraldo Aparecido Novelli / Resumo: Nossos objetos de pesquisa são as definições do Absoluto tal como elaboradas por Hegel na Enciclopédia das Ciências Filosóficas em Compêndio (1830). Podemos observar, ao longo da história da filosofia, os intentos de diversos filósofos em explicitar o sentido da totalidade. Tal sentido último recebe a denominação de "Absoluto" na filosofia hegeliana. Como um profundo conhecedor da história da filosofia e autor de um complexo sistema filosófico que se propõe a abarcar o todo, Hegel vê nos esforços de filósofos que se sucederam ao longo do tempo o desenvolvimento de uma única Filosofia, cujo objeto é o Absoluto, apreendido temporalmente em uma História do Pensar pelas diversas filosofias. Hegel considera que o Absoluto também pode ser apreendido em uma História interior própria, cujos graus lógicos originam-se uns dos outros tais quais as diferentes filosofias se sucederam ao longo do tempo. Nesse sentido, cada grau lógico possibilita uma definição do Absoluto, que também foi assim apreendido ao longo da história da filosofia em algum momento de seu desenvolvimento. No primeiro capítulo desta dissertação, justificamos a escolha da Enciclopédia como obra principal a ser analisada, indicamos quais são as definições presentes e as suas respectivas localizações no corpo do texto, e explicitamos a compreensão que Hegel tem acerca da definição, questionando o sentido e propondo uma solução à possibilidade de várias definições acerca do mesmo objeto. Além disso, indicamos a definição ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Our objects of inquiry are the definitions of the Absolute as elaborated by Hegel in the Encyclopaedia of Philosophical Sciences in Compendium (1830). Throughout the history of philosophy we can observe the attempts of various philosophers to make explicit the meaning of the totality. This ultimate meaning is called the "Absolute" in Hegel's philosophy. As a profound connoisseur of the history of philosophy and author of a complex philosophical system which proposes to embrace the whole, Hegel sees in the efforts of philosophers who have succeeded in the course of time the development of a single Philosophy whose object is the Absolute, which was temporarily seized in a History of Thinking by the various philosophies. Hegel considers that the Absolute can also be apprehended in an internal History of its own, whose logical degrees originate from each other such that different philosophies have succeeded each other over time. In this sense, each logical degree enables a definition of the Absolute, which was also thus apprehended throughout the history of philosophy at some point in its development. In the first chapter of this dissertation, we justify the choice of the Encyclopaedia as the main work to be analyzed, we indicate the present definitions and their respective locations in the body of the text, and we explain Hegel's understanding of the definition, questioning the meaning and proposing a solution to the possibility of various definitions about the same Absolute. In... (Complete abstract click electronic access below) / Mestre

The topic of this thesis lies in the intersection between proof theory and algebraic logic. The main object of discussion, constructive reasoning, was introduced at the beginning of the 20th century by Brouwer, who followed Kant’s explanation of human intuition of spacial forms and time points: these are constructed step by step in a finite process by certain rules, mimicking constructions with straightedge and compass and the construction of natural numbers, respectively. The aim of the present thesis is to show how classical reasoning, which admits some forms of indirect reasoning, can be made more constructive. The central tool that we are using are induction principles, methods that capture infinite collections of objects by considering their process of generation instead of the whole class. We start by studying the interplay between certain structures that satisfy induction and the calculi for some non-classical logics. We then use inductive methods to prove a few conservation theorems, which contribute to answering the question of which parts of classical logic and mathematics can be made constructive.

[pt] Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri. Define-se uma codificação composicional para as Redes de Petri através de redes básicas, apresentando uma semântica composicional. Uma axiomatização é definida para a qual o sistema é provado ser correto, e completo em relação à semântica proposta. Três Lógicas Dinâmicas são apresentadas: uma para efetuar inferências sobre Redes de Petri Marcadas ordinárias e duas para inferências sobre Redes de Petri Estocásticas marcadas, possibilitando a modelagem de cenários mais complexos. Alguns sistemas dedutivos para essas lógicas são apresentados. A principal vantagem desta abordagem concerne em possibilitar efetuar inferências sobre Redes de Petri [Estocásticas] marcadas sem a necessidade de traduzí-las a outros formalismos. / [en] Propositional Dynamic Logic (PDL) is a multi-modal logic used for specifying and reasoning on sequential programs. Petri Net is a widely used formalism to specify and to analyze concurrent programs with a very intuitive graphical representation. In this work, we propose some extensions of Propositional Dynamic Logic for reasoning about Petri Nets. We define a compositional encoding of Petri Nets from basic nets as terms. Second, we use these terms as PDL programs and provide a compositional semantics to PDL Formulas. Then we present an axiomatization and prove completeness regarding our semantics. Three versions of Dynamic Logics to reasoning with Petri Nets are presented: one of them for ordinary Marked Petri Nets and two for Marked Stochastic Petri Nets yielding to the possibility of model more complex scenarios. Some deductive systems are presented. The main advantage of our approach is that we can reason about [Stochastic] Petri Nets using our Dynamic Logic and we do not need to translate it into other formalisms. Moreover our approach is compositional allowing for construction of complex nets using basic ones.