Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

A função do verbo no texto proverbial: o verbo como instanciador lexical, modal, temporal e aspectual

Universidade da Madeira - Centro de Ciência e Tecnologia da Madeira - Fundo Social Europeu e Propragama Operacional Plurifundos da Região Autónoma da Madeira

Um sistema para a inferência de variáveis usando redes neurais artificiais

This work aims to obtain a low-cost virtual sensor to estimate the quality of LPG. For the acquisition of data from a distillation tower, software HYSYS ® was used to simulate chemical processes. These data will be used for training and validation of an Artificial Neural Network (ANN). This network will aim to estimate from available simulated variables such as temperature, pressure and discharge flow of a distillation tower, the mole fraction of pentane present in LPG. Thus, allowing a better control of product quality

Correlações genéticas entre escores visuais e características reprodutivas em bovinos Nelore usando inferência bayesiana

O objetivo deste trabalho foi estimar a herdabilidade e as correlações genéticas entre escores visuais e características reprodutivas de animais da raça Nelore. As características avaliadas foram: precocidade, musculatura, e escores de conformação à desmama (PD, MD e CD, respectivamente) e ao sobreano (PS, MS e CS, respectivamente); idade ao primeiro parto (IPP); e perímetro escrotal (PE). Foram utilizadas informações de 66.244 animais, nascidos entre 1990 e 2006. Os parâmetros genéticos foram estimados em análises bicaracterísticas, com inferência bayesiana. Foi utilizado um modelo linear para IPP e PE, e um modelo não linear (threshold) para os escores visuais. As herdabilidades estimadas foram: CD, 0,19±0,02; PD, 0,23±0,02; MD, 0,20±0,02; CS, 0,26±0,01; PS, 0,33±0,02; MS, 0,32±0,02; IPP, 0,16±0,03; e PE, 0,36±0,02. As correlações genéticas estimadas entre os escores visuais e IPP foram negativas, de -0,18±0,03 a -0,29±0,02. Correlações genéticas positivas foram obtidas entre os escores visuais e o PE, de 0,19±0,01 a 0,31±0,01. A seleção de animais com os maiores escores visuais, principalmente ao sobreano, permite melhorar o desempenho reprodutivo dos rebanhos

Sistema Híbrido de Inferência Baseado em Análise de Componentes Principais e Redes Neurais Artificiais Aplicado a Plantas de Processamento de Gás Natural

Nowadays, where the market competition requires products with better quality and a constant search for cost savings and a better use of raw materials, the research for more efficient control strategies becomes vital. In Natural Gas Processin Units (NGPUs), as in the most chemical processes, the quality control is accomplished through their products composition. However, the chemical composition analysis has a long measurement time, even when performed by instruments such as gas chromatographs. This fact hinders the development of control strategies to provide a better process yield. The natural gas processing is one of the most important activities in the petroleum industry. The main economic product of a NGPU is the liquefied petroleum gas (LPG). The LPG is ideally composed by propane and butane, however, in practice, its composition has some contaminants, such as ethane and pentane. In this work is proposed an inferential system using neural networks to estimate the ethane and pentane mole fractions in LPG and the propane mole fraction in residual gas. The goal is to provide the values of these estimated variables in every minute using a single multilayer neural network, making it possibly to apply inferential control techniques in order to monitor the LPG quality and to reduce the propane loss in the process. To develop this work a NGPU was simulated in HYSYS R software, composed by two distillation collumns: deethanizer and debutanizer. The inference is performed through the process variables of the PID controllers present in the instrumentation of these columns. To reduce the complexity of the inferential neural network is used the statistical technique of principal component analysis to decrease the number of network inputs, thus forming a hybrid inferential system. It is also proposed in this work a simple strategy to correct the inferential system in real-time, based on measurements of the chromatographs which may exist in process under study

Inferência do ponto de orvalho em amostras de gás natural processado

This dissertation aims to assess the representativeness of the manual chilled mirror analyzer (model II Chanscope 13-1200-CN-2) used for the determination of condensed hydrocarbons of natural gas compared to the indirect methods, based on thermodynamic models equation of state. Additionally, it has been implemented in this study a model for calculating the dew point of natural gas. The proposed model is a modification of the equation of state of Peng-Robinson admits that the groups contribution as a strategy to calculate the binary interaction parameters kij (T) temperature dependence. Experimental data of the work of Brown et al. (2007) were used to compare the responses of the dew point of natural gas with thermodynamic models contained in the UniSim process simulator and the methodology implemented in this study. Then two natural gas compositions were studied, the first being a standard gas mixture gravimetrically synthesized and, second, a mixture of processed natural gas. These experimental data were also compared with the results presented by UniSim process simulator and the thermodynamic model implemented. However, data from the manual analysis results indicated significant differences in temperature, these differences were attributed to the formation of dew point of water, as we observed the appearance of moisture on the mirror surface cooling equipment

Inferência filogenética revela a complexa etiologia das manchas areolada e foliar em seringueira e em outras espécies cultivadas na Amazônia

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Atributos polarimétricos de imagem radar na inferência de parâmetros morfológicos de macrófitas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A inferência causal na filosofia moral de Hume.

Starting from the idea that the result of the Humean analysis of causal inferences must be applied coherently to the remaining part of his work, including its moral theory, the present master thesis aims at investigating whether Hume´s moral philosophy is essentially based on feeling, or whether this would not be rather essentially a consequence of our causal inferences in human actions and deliberations. The main idea consists in showing that our moral inferences, to the extent that they are for Hume empirical , depend on our belief in a connexion between something which has been previously observed and something which is not being observed ( but that it is expected to occur or to be observed in the future). Thus, this very belief must base our moral inferences concerning the actions and deliberations of the individuals. Therefore, must e o ipso induce us to associate actions and behaviors, as well as character and moral claims of men to certain moral feelings. Accordingly, the thesis is unfolded in three chapters. In the first chapter Hume´s theory of the perception is reported as essential part of the explanation or the principles that bind ideas in our mind and constitute our inferences. In the second chapter, the Humean analysis of causal inferences is presented and the way they contribute in the formation of our moral inferences is explained. In the third and last chapter, the formation of our moral inferences and the real contribution of the doctrine of freedom and necessity for the examination or our actions are analysed and discussed.

Inferência geográfica para delimitação de corredores ecológicos: um estudo de caso para a Mata Atlântica do município de Tibau do Sul/RN

The Atlantic Forest biome occupies much of the Atlantic coast of Brazil, in addition to portions of Paraguay and Argentina. Due mainly to its biodiversity which falls in the group of global hotspots, i.e., areas that have high priority for conservation. Although currently there are some available devices that assist in their protection in the course of the history of occupation and exploitation of the Brazilian territory, this biome has gone, and is still going through, an intense process of devastation, caused mainly by the pressure from economic activities, culminating in a significant reduction of its area and consequent fragmentation of the landscape, which brings with hosts a series of problems at various scales and aspects. As in most municipalities included in the reach area of the biome, the situation of forest fragmentation in Tibau do Sul / RN is quite critical, reflecting on a truly diverse landscape with broad typology of land uses. Among the alternatives aimed at the conservation of this biome include the creation of protected areas and the creation of ecological corridors, the latter being more efficient by connecting the remaining forests, increasing landscape connectivity, providing significant gains in relation to biodiversity. However, a major problem on implementation of Ecological Corridors projects is related to the selection of areas for this purpose, in this sense Geography can provide important contributions through the integrated study of landscape in the light of the geosystemic approach and the use of Geographical Information System (GIS) in order to permit assessment of reality having as a base the integration of ecological, biological and man-made aspects. Thus, this research aims to indicate potential areas and propose scenarios delimitation of Ecological Corridors in the municipality of Tibau do Sul / RN through Geographic Inference techniques in GIS platform. Therefore, the methodology adopted is based on the Geosystemic approach. From these elements were created 4 models to indicate potential areas for implementation of Ecological Corridors from the environmental perspective (potential erosion), socioeconomic (cover and land prices), legislative (areas protected by environmental legislation) and integrated (combination of environmental factors, socioeconomic and legislative), which in turn served as a basis for proposing scenarios aimed at this purpose. The results showed that all models can be quite useful in indicating potential areas for the establishment of ecological corridors, especially when based on an integrated approach between environmental and anthropogenic. The Corridors delimitation proposes shown may perform duties beyond the establishment of connectivity between fragments, since they also may have usefulness in controlling erosion and protecting fragile environments. Among the models developed, the integrated constituted itself as the best option because it enabled the interconnection of a larger number of fragments from a better use of the potentialities present in the landscape

As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical

No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de engenharia da linguagem humana, acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de representação do conhecimento, desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da concepção linguístico-computacional de léxico, elucidam-se os principais paradigmas de representação do conhecimento, enfatizando a abordagem do significado e a metalinguagem formal vinculadas a cada um deles.

Inferência fuzzy para o problema de corte de estoque com sobras aproveitáveis de material

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

Inferência bayesiana aplicada à estimação de herdabilidades dos parâmetros da curva de crescimento de fêmeas da raça Nelore

Objetivou-se estimar parâmetros genéticos, utilizando inferência Bayesiana, para as estimativas dos parâmetros individuais de peso à maturidade (Â) e taxa de crescimento, obtidos pela função de crescimento Brody. O arquivo estava constituído de 14.563 registros de pesos e idades referentes a 1.158 fêmeas da raça Nelore, participantes do Programa de Melhoramento Genético da Raça Nelore. Para a análise das estimativas dos parâmetros da curva, via inferência bayesiana, foi proposto um modelo animal unicaráter, que incluiu como fixo o efeito de grupo contemporâneo (animais nascidos no mesmo estado, no mesmo trimestre do ano, mesmo ano e mesmo regime alimentar) e como aleatórios os efeitos genético direto e residual. Nessa análise, foram utilizados dois diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs, de 550 e 1.100 mil ciclos, com períodos de descarte amostral de 50 e 100 mil ciclos, respectivamente, e amostragens a cada 500 e 1.000 ciclos, respectivamente. As médias posteriores da variância genética aditiva e residual foram próximas, tanto para  quanto para a, mesmo quando implementados diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs. Os coeficientes de herdabilidade estimados para Â, variaram de 0,44 a 0,46, amplitude semelhante aos 0,46 a 0,48 obtidos para as estimativas de. Essas magnitudes indicam que a seleção pode ser usada como instrumento para alterar a forma da curva de crescimento desses animais. Entretanto, o uso das informações obtidas, visando à alteração da curva de crescimento dos animais, deve ser feito com grande cautela, uma vez que as características a serem trabalhadas na modificação do formato da curva de crescimento, de acordo com resultados da literatura especializada, são negativamente correlacionadas.