Resumo não disponível

Made available in DSpace on 2014-06-12T15:56:37Z (GMT). No. of bitstreams: 2 arquivo2957_1.pdf: 1211049 bytes, checksum: 7271cbf6edc1ea612933219d2dca57b6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Devido às limitações da Web Atua iniciou-se o desenvolvimento de uma evolução da Web, denominada Web Semântica. Nesta nova Web, o conteúdo e a apresentação das informações devem estar separados e representados em uma notação adequada as novas necessidades da comunidade digital. Devido a isso, várias áreas de pesquisa, como por exemplo, a representação do conhecimento e o raciocínio automático, estão trabalhando com o intuito de tornar a Web Semântica uma realidade. Normalmente, o conhecimento é formado por várias partes e nem sempre é possível representá-lo, apropriadamente, utilizando um único formalismo de representação. Devido a isso, sistemas que lidam com representações diferentes podem ser de grande ajuda. O objetivo deste trabalho é estudar formalismos de representação de conhecimento e métodos de raciocínio automático, para propor um motor de inferência híbrido, chamado MONK, que possa ser utilizado na Web Semântica. Para a criação do MONK foi utilizado como base o projeto do sistema MANTRA. Foram mantidos os algoritmos de unificação (Martelli e Montanari) e inferência (t-entailment), pois são algoritmos decidíveis e eficientes, mas a arquitetura foi modificada para facilitar a inclusão futura de novos formalismos, como Frames, Redes Semânticas e Lógica de Descrições (usada na OWL, que é a linguagem padronizada para a Web Semântica). O MONK dá ênfase a Lógica de Primeira Ordem (baseada em uma Lógica de Quatro Valores), tornando-a seu formalismo padrão. Com isso, desde que algum formalismo possua um mapeamento para a Lógica de Primeira Ordem, ele poderá ser suportado pelo MONK sem que seja necessário implementar novos algoritmos de raciocínio

Made available in DSpace on 2018-08-01T22:33:10Z (GMT). No. of bitstreams: 1 tese_9001_Mariana Lima de Jesus.pdf: 5297272 bytes, checksum: 4b61ccd5675ceed9b42a4f97de9d4ab0 (MD5) Previous issue date: 2016-07-12 / A geoestatística é utilizada no estudo da variabilidade espacial com base na estimativa e identificação das inter-relações dos atributos estudados, no espaço e no tempo, permitindo a otimização das malhas de amostragem, considerando a dependência espacial entre as observações. A classificação fuzzy possibilita gerar agrupamentos considerando a pertinência de cada valor amostrado de determinado atributo associado a cada classe pré-definida. À vista disso, objetivou-se com este trabalho mapear a variabilidade espacial do estado nutricional do mamoeiro, grupo Solo, Golden THB, com base no Sistema Integrado de Diagnose e Recomendação (DRIS) e na classificação fuzzy dos teores foliares do pecíolo. O estudo foi realizado com dados de produtividade e de teores foliares do pecíolo do mamoeiro (2010/2011) de 129 pontos georeferenciados, de uma lavoura comercial de mamão, cultivada no Norte do Estado do Espírito Santo. Na fase de sexagem, contou-se o número de botões florais e coletaram-se folhas recém-maduras, caracterizadas por apresentar uma flor recém-aberta em sua axila. O material, após colhido, foi acondicionado em envelope de papel e seco em estufa a 70ºC até massa constante, moídas e enviadas para análise foliar, onde se obteve as concentrações dos macronutrientes: N, P, K, Ca, Mg, S; e dos micronutrientes: Zn e Mn. A colheita dos frutos, para determinação da produção, foi realizada no nono mês de idade, no estádio 2 de maturação, com a massa dos frutos obtida em balança digital. A partir dos teores foliares foram calculados os índices DRIS e, com os valores, determinaram-se os índices de balanço nutricional (IBN) para cada ponto amostral. Os valores dos teores foliares, IBN, número de botões florais (NBF), massa de fruto (MF) e de produtividade (PRD) foram submetidos à análise exploratória e descritiva. Fez-se análise de correlação de Pearson (p<0,05) entre IBN, índice DRIS de cada nutriente, NBF, MF e PRD. Ajustou-se os semivariogramas para verificar e quantificar a dependência espacial das variáveis avaliadas, seguido da elaboração dos mapas da variabilidade espacial por meio da interpolação por krigagem ordinária. Para a confecção do mapa do estado nutricional por meio do sistema de lógica fuzzy, classificaram-se os mapas de cada nutriente utilizando a função de pertinência trapezoidal. O efeito combinado dos teores foliares foi medido empregando o operador fuzzy soma convexa. A lavoura apresenta desequilíbrio nutricional, indicado pelos dois métodos de avaliação utilizados. O IBN não apresentou correlação linear com a produtividade. A identificação do k k nutriente mais limitantes por falta, Mn, possibilita auxiliar no manejo de adubação nas áreas em que o IBN apresenta maiores valores. A utilização do método fuzzy permitiu visualizar as mudanças de classe dos teores foliares de cada nutriente e facilitou a interpretação do estado nutricional considerando os nutrientes em estudo.

Made available in DSpace on 2018-08-01T22:35:04Z (GMT). No. of bitstreams: 1 tese_9006_Abel Souza da Fonseca.pdf: 2272921 bytes, checksum: 5148e92fe16df7ced2100bd7113e23d6 (MD5) Previous issue date: 2018-04-13 / O Brasil é responsável por cerca de um terço da produção mundial de café, o que o torna o maior produtor e exportador do produto. As localidades onde se cultivam o café têm grande diversidade de características edafoclimáticas, permitindo o cultivo de diversos genótipos com diferentes qualidades de bebida. Essa característica de produção coloca o país em uma condição confiável para atender as diversas demandas dos compradores nacionais e internacionais. Dentre os fatores que influenciam o crescimento, o desenvolvimento e a composição química dos frutos do cafeeiro, têm-se: água, luz, temperatura, genótipo, manejo cultural e nutrição mineral, tidos como necessários para maximizar a produtividade do cafeeiro de maneira sustentável. O objetivo do estudo foi estudar a variabilidade espacial do estado nutricional, produtividade e análise sensorial de bebida do cafeeiro conilon, com auxílio dos métodos DRIS e DOP e utilizando a geoestatística e a lógica fuzzy, bem como avaliar a relação entre os nutrientes no tecido foliar e os atributos químicos do solo utilizando a correlação canônica. O trabalho foi desenvolvido no município de Cachoeiro de Itapemirim, na comunidade Boa Vista, Distrito de São Vicente (20º3731 de latitude S e 41º0522 de longitude W) e altitude média de 520,0 m. De acordo com a classificação climática de Koppen-Geiger (1928), a região possui categorização Cwa. O solo da área foi classificado como Cambissolo, de textura argilo- arenosa. A espécie vegetal utilizada foi a Coffea canephora Pierre, de propagação por sementes no espaçamento de 1,5m x 1,5m (4.444 plantas ha-1). As temperaturas, máxima e mínima, na safra 2015/16 foram de 33,23°C e 15,8°C, respectivamente, com uma precipitação pluvial anual acumulada de 820 mm. Na safra 2016/17 a temperatura máxima foi de 32,71°C e mínima de 14,72°C, com uma precipitação anual acumulada de 1167 mm. Na área experimental foram utilizados 80 pontos amostrais que constituíram a grade irregular, identificados com marcadores de metal, sendo o levantamento topográfico realizado por meio de uma estação total, com área útil de cada ponto amostral de 6,75 m2. A colheita dos frutos foi não seletiva com derriça manual em peneira nas safras 2015/16 e 2016/17. Os resultados do estudo mostraram que a lavoura apresenta desequilíbrio nutricional pela variação da deficiência e excesso de nutrientes. Os métodos DRIS e DOP apresentaram diferença significativa quando comparou a frequência em que os índices de nutrientes se apresentaram como mais negativos ou mais positivos na safra 2015/16. As metodologias DRIS e DOP complementam a avaliação pela faixa de suficiência por permitir o cálculo do &#8721;DOP e IBN. Esses índices de balanço nutricional são usados para comparar o estado nutricional de diferentes lavouras. Os índices avaliados apresentaram variabilidade espacial da área de estudo. Na análise canônica, houve relação direta entre a concentração de potássio no tecido foliar com o potássio no solo nas duas safras. Sendo que outros atributos de solo, como Matéria Orgânica, Ferro, Manganês e Enxofre também influenciaram nessa relação, mostrando que os atributos de solo no grupo independente interagem em conjunto sobre os nutrientes no tecido foliar. Os resultados obtidos demonstram a possibilidade de utilização da correlação canônica para realizar inferências a respeito da interação entre nutrientes no tecido foliar e atributos de solo em Coffea canephora. A produtividade do cafeeiro, massa de grãos, variáveis de rendimento e variáveis biométricas apresentaram dependência espacial nas duas safras estudadas, com ajuste de semivariograma aos modelos esférico e exponencial. A estimativa da produtividade utilizando variáveis biométricas apresenta similaridade com a cokrigagem, indicando que as covariáveis são eficientes na estimativa da produtividade. As médias da nota global para a bebida de café conilon de propagação seminal encontram-se no intervalo classificado como café muito bom (CMB), nas duas safras. Não houve variação temporal entre as médias das notas globais e atributos da análise sensorial que caracterizam a qualidade da bebida do café conilon, nas duas safras estudadas. Com a aplicação da classificação fuzzy observou-se variabilidade espacial para a nota global da bebida na área nas duas safras, o que não ocorreu quando se utilizou os valores observados na análise sensorial.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-17T03:29:03Z (GMT). No. of bitstreams: 1 Rodrigues_TarcisioGenaro_M.pdf: 1141020 bytes, checksum: 59bb8a3ae7377c05cf6a8d8e6f7e45a5 (MD5) Previous issue date: 2010 / Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica. Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima mencionados, uma nova prova de correção e completude para LFI's quantificadas na qual mostramos a necessidade de exigir o Lema da Substituição para a sua semântica / Abstract: Logic Programming arises from the interaction between Logic and the Foundations of Computer Science: first-order theories can be seen as computer programs. Logic Programming have been broadly used in some branches of Artificial Intelligence such as Knowledge Representation and Commonsense Reasoning. From this, a wide research activity has been developed in order to define paraconsistent Logic Programming systems, that is, systems in which it is possible to deal with contradictory information. However, no such existing approaches has a clear logical basis. The basic question is to know what are the paraconsistent logics underlying such approaches. The present dissertation aims to establish a clear and solid conceptual and logical basis for developing well-founded systems of Paraconsistent Logic Programming. In that sense, this text can be considered as the first (and successful) stage of an ambitious research programme. One of the main thesis of the present dissertation is that the Logics of Formal Inconsistency (LFI's), which encompasses a broad family of paraconsistent logics, provide such a logical basis. As a first step towards the definition of genuine paraconsistent logic programming we shown, in this dissertation, a simplified version of the Herbrand Theorem for a first-order LFI. Such theorem guarantees the existence, in principle, of automated deduction methods for the (quantified) logics in which the theorem holds, a fundamental prerequisite for the definition of logic programming over such logics. Additionally, in order to prove the Herbrand Theorem we introduce sequent calculi for two quantified LFI's, and cut-elimination is proved for one of the systems. We also present, as an indispensable requisite for the above mentioned results, a new proof of soundness and completeness for first-order LFI's in which we show the necessity of requiring the Substitution Lemma for the respective semantics / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Rodolfo Ilari / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-20T23:36:58Z (GMT). No. of bitstreams: 1 Moura_HeronidesMauriliodeMelo_D.pdf: 30904721 bytes, checksum: da0d729fbb7bcfec4580130950ac7d5a (MD5) Previous issue date: 1996 / Resumo: O objetivo desta tese é analisar os predicados vagos, especialmente substantivos e adjetivos, como 'montanha', 'cristão', 'calvo', 'alto', etc. No primeiro capítulo, delimita-se o conceito de vagueza, diferenciando-o de outros conceitos semânticos, como ambigüidade, generalidade e não dito. Após exposição do conceito de vagueza na teoria de Quine, tenta-se mostrar que a definição de vagueza em termos de condições de verdade (predicados vagos são aqueles que não são nem verdadeiros, nem falsos de certos objetos) apresenta sérios dilemas para uma semântica lógica. No segundo capítulo, examina-se o contexto teórico no qual se insere o conceito de vagueza de Quine. Mostra-se que a questão da vagueza é extremamente relevante para os problemas (como o da aprendizagem lingüística e o da indeterminação da ontologia) que a teoria de Quine põe em jogo e que, ao mesmo tempo, tal questão acarreta alguns dilemas para essa teoria. No terceiro capítulo, aborda-se em detalhes um modelo semântico (A Teoria dos Topoi, desenvolvida por Ducrot e outros) que tenta dar conta de fatos semânticos abrangidos pela vagueza, entendida como gradualidade de predicados. Argúi-se, então, que a abordagem da Teoria dos Topoi, segundo a qual a gradualidade dos predicados é de natureza argumentativa (um predicado é vago, neste modelo, porque os topoi a eles associados podem ser aplicados com maior ou menor força argumentativa), é insatisfatória na sistematização e explicação do conceito de predicados vagos. Finalmente, no quarto capítulo, critica-se a descrição semântica dos 'modificadores de vagueza' (especialmente a construção comparativa e os intensificadores) que o conceito de vagueza definido em termos de condições de verdade proporciona (seja na teoria de Quine, seja em modelos lógicos alternativos, como a teoria de supervaluation). Como alternativa a estes modelos (e também à Teoria dos Topoi) é proposto um modelo com marcações de graus de vagueza, no qual sentenças com predicados vagos não são consideradas 'proposições'. Predicados vagos são definidos como aqueles que são passíveis de 'complementação de sentido' (operação semântica que afeta a estrutura semântica de um termo, tornando-o menos vago). A solução proposta leva a uma reavaliação da relação entre sentido e referência / Abstract: The aim of this thesis is to analyse vague predicates, specially nouns and adjectives such as "mountains", "christian", "bald", "tall", among others. In the first chapter, one shows the concept of vagueness distinguishing it from other semantic concepts, such as ambiguity, generality, and 'unsaid'. After discussing the concept of vagueness in Quine's theory, one attempts to demonstrate that the definition of vagueness in terms of truth conditions (vague predicates are the ones which are neither true nor false of some objects) displays serious dilemmas for a logic semantics. 1n the second chapter, one investigates the theoretical frame in which Quine's concept of vagueness is inserted. One also shows that vagueness is extremely relevant to the problems (such as language learning and indeterminacy of ontology) which Quine's theory puts at stake and, at 'the same time, such a question brings some dilemmas within it to this theory. In the third chapter, one approaches in detail a semantic model (the Topoi Theory developed by Ducrot and collaborators) which intends to handle semantic facts encompassed by vagueness, understood here as graduality of predicates. One arguments, then, that the approach ofthe Topoi Theory, according to which graduality ofpredicates is ofan argumentative nature (a predicate is vague, in this model, due to the fact that the topoi associated to it may be applied with greater or smaller argumentative force) is unsatisfying either in systematizing or in explaining the concept of vague predicates. At last, in the fourth chapter, one criticizes the semantic description of "vagueness modifiers" (in special comparative construction and intensifiers) afforded by the concept of vagueness defined in terms of truth conditions ( be it in Quine's theory or in altemative logic models, such as the "supervaluation theory"). As an altemative to these models (and also to the Topoi Theory) one proposes a model with degree traces of vagueness, in which sentences with vague predicates are not considered as "propositions". Vague predicates are defined as those which may be subjected to "meaning complementation" (a semantic operation which does affect the semantic structure of a term in as much as it makes it less vague). The solution put forward '"points to a re-evaluation of the rapport between sense and reference / Doutorado / Doutor em Linguística

Orientador: Edson Françozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-21T03:50:42Z (GMT). No. of bitstreams: 1 Pagani_LuizArthur_M.pdf: 3270238 bytes, checksum: 2b5c7b6aef48261742d73261afce544b (MD5) Previous issue date: 1996 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Linguística

Orientador: Jose Antonio Siqueira Dias / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-21T23:41:25Z (GMT). No. of bitstreams: 1 Serran_NivaldoVicencotto_D.pdf: 4785541 bytes, checksum: 38afdd0c1c1ffabfe505a5ab5c393a90 (MD5) Previous issue date: 1996 / Resumo: Na lógica de múltiplos valores (MVL Multiple-Valued Logic), o número de níveis lógicos não está restrito a dois, como na lógica binária. Estas lógicas têm sido usadas para obter melhor aproveitamento da área dos chips, pois embora os componentes possam usar mais área, a quantidade de linhas de interconexão e pads de saída pode ser reduzida. Este trabalho descreve uma nova MVL baseada na Álgebra de Posto Juntamente com a negação cíclica de Post e a conjunção AND, são definidos novos operadores que permitem o desenvolvimento de algorítimos para a síntese e simplificação de funções lógicas. É proposta a implementação eletrônica para esta lógica em 3 níveis. Circuitos da negação de Post e dos novos operadores, são descritos e simulados, operando em modo de corrente. Estes circuitos podem ser interligados formando flip-flops, contadores, conversor D/A e outros circuitos lógicos. Esta lógica ternária, usando tecnologia bipolar em modo de corrente, pode ser útil para a construção de ASICS (circuitos dedicados) com alta velocidade de processamento / Abstract: In Multiple-Valued Logic (MVL), the logicallevels are not restricted to two, as in binary logic. These logics have been used to improve chip area. Although the components can need more area, the quantity of interconection lines and output pads can be reduced. This work describes a new non classical Multiple-Valued Logic(MVL) based on Post algebra. Besides the convencional Post 's cyclic negation and the AND conjunction, this logic algebra defines new operators which allow the development of algorithims for the synthesis and simplification of the logicalfunctions. An electronic implementation of this algebra for a 3-level logic is proposed Electronics gates of Post negation and the new operators were designed and simulated using current mode circuits. These gates can be easily interconnected toform flip-flops, counters, D/A converters and other conventional digital gates in a true 3-level gate logic. ASICS with mixed analogldigital high speed processing can benefit from this current processing ternary logic, which can be easily implemented in bipolar technology / Doutorado / Eletrônica, Microeletrônica e Optoeletrônica / Doutor em Engenharia Elétrica

Orientador: Michael Beaumont Wrigley / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-26T10:05:31Z (GMT). No. of bitstreams: 1 Sarmento_GaribaldiMonteiro_D.pdf: 2167671 bytes, checksum: 2b263ef3901972c08f6bbd92cd223477 (MD5) Previous issue date: 2000 / Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação formal dos axiomas da Teoria Geral de Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógico de ordem superior, cuja base axiomático-definicional é caracterizada pelo acréscimo do axioma da extensionalidade, a um fragmento da lógica de segunda ordem (total), e pela introdução de um princípio de abstração analítico que denominamos de 'princípio de equipolência lógica'. Além disso, estabeleço um critério Iógico-epistemológico para a demarcação de definições contextuais analíticas baseado na (re)definição de analiticidade e no princípio de equipolência lógica / Abstract: Taking as starting point a logico-epistemological analysis of Frege's notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a 'neo-logicisl' approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal derivation of the axioms of General Set Theory (which is the semantic framework for second-order Peano arithmetic) from a higher-order logical system, whose axiomatic-definitional basis consists of axiom of extensionality and an analytic principle of abstraction which we shall call the "principle of logical equipollence". Furthermore, I establish a logico-epistemological criterion for demarcation of analytical contextual definitions based on the {redefinition of analyticity, here proposed, and the principle of logical equipollence / Doutorado / Doutor em Filosofia

Orientador : Luiz Henrique Antunes Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agricola / Made available in DSpace on 2018-07-28T08:13:03Z (GMT). No. of bitstreams: 1 Munari_AntonioCesardeBarros_M.pdf: 1052161 bytes, checksum: 15c102d73a90a834983576c8edcef8ed (MD5) Previous issue date: 2001 / Mestrado