Made available in DSpace on 2014-06-11T19:32:59Z (GMT). No. of bitstreams: 0 Previous issue date: 2003Bitstream added on 2014-06-13T20:04:47Z : No. of bitstreams: 1 goncalves_tm_dr_botfmvz.pdf: 444010 bytes, checksum: c1849f380080443d0dab0cbcb119af68 (MD5) / Foi utilizada uma análise de segregação com o uso da inferência Bayesiana para se verificar a presença de genes de efeito principal (GEP) afetando duas características de carcaça: gordura intramuscular em % (GIM) e espessura de toucinho em mm (ET); e uma de crescimento, ganho de peso (g/dia) no período entre 25 a 90 kg de peso vivo (GP). Para este estudo foram usadas informações de 1.257 animais provenientes de um experimento de cruzamento de suínos machos da raça Meishan (raça chinesa) e fêmeas de linhagens holandesas de Large White e Landrace. No melhoramento genético animal, Modelos Poligênicos Finitos (MPF) podem ser uma alternativa a Modelos Poligênicos Infinitesimais (MPI) para avaliação genética de características quantitativas usando pedigris complexos. MPI, MPF e MPI combinado com MPF, foram empiricamente testados para estimar componentes de variâncias e número de genes no MPF. Para a estimação de médias marginais a posteriori de componentes de variância e parâmetros foi usado uma metodologia Bayesiana, através do uso da Cadeia de Markov, algoritmos de Monte Carlo (MCMC), via Amostrador de Gibbs e “Reversible Jump Sampler (Metropolis-Hastings)”. Em função dos resultados obtidos, pode-se evidenciar quatro GEP, isto é, dois para GIM e dois para ET. Para ET, o GEP explicou a maior parte da variação genética, enquanto para GIM, o GEP reduziu significativamente a variação poligênica. Para a variação do GP não foi possível determinar a influência do GEP. As herdabilidades estimadas para GIM, ET e GP foram de 0,37, 0,24 e 0,37 respectivamente. A metodologia Bayesiana foi implementada satisfatoriamente usando o pacote computacional FlexQTLTM. Estudos futuros baseados neste experimento que usem marcadores moleculares para mapear os genes de efeito principal que afetem, principalmente GIM e ET, poderão lograr êxito. / A Bayesian marker-free segregation analysis was applied to search for evidence of segregation genes affecting two carcass traits: Intramuscular Fat in % (IMF) and Backfat Thickness in mm (BF), and one growth trait: Liveweight Gain from approximately 25 to 90 kg liveweight, in g/day (LG). For this study 1257 animals from an experimental cross between pigs Meishan (male) and Dutch Large White and Landrace lines (female) were used. In animal breeding, Finite Polygenic Models (FPM) may be an alternative to the Infinitesimal Polygenic Model (IPM) for genetic evaluation of pedigree multiple-generations populations for multiple quantitative traits. FPM, IPM and FPM combined with IPM were empirically tested for estimation of variance components and number of genes in the FPM. Estimation of marginal posteriori means of variance components and parameters was performed by use Markov Chain Monte Carlo techniques by use of the Gibbs sampler and the reversible Jump sampler (Metropolis-Hastings). The results showed evidence for four Major Genes (MG), i.e., two for IMF and two BF. For BF, the MG explained almost all of the genetic variance while for IMF, the MG reduced the polygenic variance significantly. For LG was not found to be likely influenced by MG. The polygenic heritability estimates for IMF, BF and LG were 0.37, 0.24 and 0.37 respectively. The Bayesian methodology was satisfactorily implemented in the software package FlexQTLTM. Further molecular genetic research, based on the same experimental data, effort to map single genes affecting, mainly IMF and BF, has a high probability of success.

Made available in DSpace on 2014-06-11T19:33:33Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-12-21Bitstream added on 2014-06-13T20:05:38Z : No. of bitstreams: 1 fernandes_mhmr_dr_jabo.pdf: 369179 bytes, checksum: 6bc5358e0abdd1eae432fba97cc89895 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / 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. / 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)

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Made available in DSpace on 2014-06-11T19:23:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-07-29Bitstream added on 2014-06-13T20:50:09Z : No. of bitstreams: 1 cordeiro_omc_me_mar.pdf: 714508 bytes, checksum: bfd5573ab9caf718e93f47ff6e612b57 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Esta dissertação investiga os processos de inferência – dedução, indução e abdução – nos seres humanos, e os compara com as contribuições tradicionais dos procedimentos de inferência aplicados nas ciências cognitivas, até resultados originados recentemente. Para essa investigação, apresentam-se primeiro os processos de inferência; mostram-se, então, relatos de Varela sobre o percurso seguido por alguns estudiosos que pretenderam definir a noção de cognição; e destacam-se estudos sobre os sistemas dinâmicos realizados por alguns autores como Bertalanffy, Kelso, Prigogine e outros. Pode-se caracterizar a abdução como surpresa, a possibilidade ainda indefinida; mas para chegarse a explicações do fato surpreendente usam-se processos dedutivos para confrontação com o que já é conhecido e processos indutivos com os quais generaliza-se o fato. Existe um terceiro elemento que liga idéias possíveis a idéias factuais existentes e, então, interpreta-se essa nova idéia, ou como pertencente a alguma lei já conhecida, ou como alguma lei ou hábito novo. A ciência cognitiva clássica estuda a cognição conforme o cognitivismo, isto é, a partir de símbolos e regras pré-definidas. Os sistemas que seguem os modelos da ciência cognitiva clássica não fazem observações empíricas sobre o mundo em que estão inseridos. A abordagem teórica que estuda a cognição ou o comportamento inteligente como resultado da interação direta do indivíduo com o ambiente é a ciência cognitiva dinâmica ou cognição situada e incorporada. Segundo estudiosos dessa abordagem, o sistema cérebro-corpo-ambiente é que deve ser observado para o entendimento da cognição. Nessa abordagem, tenta-se explicar os comportamentos do senso comum, ou as reações que envolvem interação com o ambiente como, por exemplo, ir até uma livraria comprar um livro... . / This work investigates the processes of inference - deduction, induction and abduction - in human beings and it compares them with traditional contributions of the applied pro-cedures of inference in cognitives sciences, until the recently produced results. In order to achieve this inquiry, the inference processes are first presented; then, Varela's ac-counts on trajectory followed by some researchers whose purposes were to define cognition notion are presented; and studies on dynamical systems carried out by some authors like Bertalanffy, Kelso, Prigogine and others are pointed out. Abduction can be characterized as surprise, possibility that is still indefinite; but to reach the explanations of the surprising fact, deductive processes should be confronted with what is already known, in addition to inductive processes with which the fact is generalized. There is one third element that connects possible ideas to existing factual ideas and, then, this new idea is interpreted, either as pertaining to some already known law, or as new law or habit. Classical cognitive science considers cognition according to cognitivism, that is, from symbols and predefined rules. The systems that follow the classical cognitive science models do not make empirical comments about the world where they are in-serted. The theoretical approach that studies cognition or intelligent behavior as a re-sulted of the direct interaction of the individual with the environment is the dynamical cognitive science or embodied and embedded cognition. According to researchers on this approach, the brain-body-environment system is the one that must be observed to understand cognition. In this approach, it is tried to explain common sense behaviors, or reactions that involve interaction with the environment, for instance, going to a book-store to buy a book... (Complete abstract, click electronic address below).

Made available in DSpace on 2016-08-12T18:48:37Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-01-23. Added 1 bitstream(s) on 2016-08-12T18:50:51Z : No. of bitstreams: 1 000865635.pdf: 6040797 bytes, checksum: 5f2b6ed1c7905636c25068c4edc4c186 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Uma importante questão levantada logo após o primeiro sequenciamento completo do genoma de um organismo foi: quantos genes são essenciais para a vida celular? Experimentos de deleção individual realizados com a bactéria Escherichia coli revelaram que menos de 10% dos seus genes apresentam essa condição, ou seja, a inativação de cada um deles leva a total inviabilidade da bactéria. A teoria de redes fornece uma representação abstrata de um sistema biológico, onde o conjunto de nodos são os componentes biológicos (proteínas, genes, metabólitos, etc) e o conjunto de arestas são as interações de natureza biológica (interação física entre proteínas, interações metabólicas, interações de regulação transcricional, etc) que conectam cada dois componentes biológicos. A posição dos componentes biológicos em uma rede indica sua importância para a manutenção do sistema biológico. De forma geral, componentes localizados em posições centrais em uma rede biológica são aqueles componentes chaves para a integridade do sistema. Neste trabalho, decidimos investigar a posição dos restantes 90% dos genes considerados não-essenciais na rede integrada de interações gênicas (RIG) de E. coli. Especificamente, investigamos os genes condicionalmente essenciais, isto é, genes que são essenciais somente em determinadas condições de estresse. Além disso, investigamos também a posição na rede de pares de genes que constituem interações genéticas agravantes, isto é, pares de genes que quando deletados conjuntamente agravam a viabilidade do organismo. Utilizando uma abordagem puramente computacional baseada em aprendizado de máquina e propriedades topológicas da RIG, nós criamos modelos preditivos de árvores de decisão para definirmos como esses genes condicionalmente essenciais e as interações genéticas agravantes estão distribuídas na RIG. Ainda, uma lista com as probabilidades de classificação de cada... / An important question raised after the first complete genome sequencing was: how many genes are essential for the cell life? Single deletion experiments carried out with the bacteria Escherichia coli unveiled that less than 10% of their genes are essential, which means that the inativation of each one leads to the total bacteria inviability. The network theory provides an abstract representation of a biological system, where a set of nodes are the biological components (protein, genes, metabolites, etc) and the set of edges are the interactions (protein-protein physical interactions, metabolic interactions, transcriptional regulational interactions, etc) that link each two biological components. The position of the biological components in a network indicates its importance for the maintenance of the biological system. In general, components located in central positions in a network are those key components for the system integrity. In this work, we decided to survey the position of the 90% genes considered not essential in integrated network of gene interactions (INGI) of the E. coli. Specifically, we investigated the conditionally essential genes, i. e. those genes essential under some type of stress. Moreover, we also investigated the network position of gene pairs that constitute aggravating genetic interaction, i. e. genes pairs that when deleted simultaneously aggravates the organism viability. Using a purely computational approach based on machine learning and topological properties of the INGI, we created preditive decision trees models to define how those conditionally essential genes and the aggravating genetic interaction are distributed in the INGI. A list with the probability of classification for each gene/interaction were obtained. The performance evaluation of our models demonstrates that this methodology can be applied with success in predicting conditionally essential genes. The prediction of genetic interactions also ...

Orientador: Gladis Massini-Cagliari / Banca: José Sueli de Magalhães / Banca: Ester Mirian Scarpa / Banca: Cristina Fargetti / Banca: Daniel Soares da Costa / Acompanha CD-ROM / Resumo: Esta tese objetiva analisar a ocorrência de processos fonológicos de cunho estilístico, isto é, processos considerados não esperados, a partir de um corpus do Português Medieval: as Cantigas de Santa Maria. Trata-se, portanto, de verificar os possíveis condicionamentos linguísticos envolvidos na sua realização, sobretudo no que se refere a fenômenos de sândi - crase elisão e hiato - e paragoge. As Cantigas de Santa Maria são atribuídas à lavra de Afonso X de Castela, o rei "Sábio". Esta coleção é composta por 420 cantares em louvor à Virgem Maria, de quem o monarca é adorador. Todavia, para o presente estudo, foi feito um recorte no que se refere ao cancioneiro mariano, sendo coletados, assim, os processos estilísticos atuantes nas cem primeiras cantigas. Entende-se como processo não esperado aquele que deixa de atuar em contextos em que sua realização é esperada, o que inclui casos típicos de opacidade (cf. KIPARSKY, 1985). Desta forma, pode-se dizer que esta pesquisa tem como objetivo, ainda, descrever as regras opacas dos referidos fenômenos. O objetivo principal é, contudo, fazer uma análise do tratamento que vêm recebendo tais formas tidas como desviantes, no âmbito de teorias fonológicas, desde o estruturalismo até modelos mais recentes, como a teoria da Otimalidade. O que foi possível constatar é que as teorias, de modo geral, encontram sérias dificuldades de inserir processos estilísticos na gramática da língua, sendo a Fonologia Lexical (KIPARSKY, 1982, 1985; MOHANAN, 1986; PULLEYBLANK, 1986) o modelo que mais se aproxima de uma solução, à medida que descreve tais fenômenos e os enquadra na gramática fonológica. Por conta disso, esta tese defende que esses casos não podem ser relegados à margem da gramática. Deste modo, para descrição e análise das regras de sândi e paragoge, lançaremos... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This thesis aims to analyze the occurence of stylistic phonological processes occurrence, or processes considered unexpected, from a corpus of Medieval Portuguese: The Cantigas de Santa Maria. Possible linguistic constraints involved in their performance are analyzed particularly as regards the phenomena of sandhi - crasis, elision and hiatus - and paragoge. The Cantigas de Santa Maria are attributed to Alfonso X of Castile, the king "Wise". This collection is composed of 420 cantigas in praise of Virgin Mary. However, for the present study a necessary cutout was made with regard to the Marian repertoire, being collected stylistic processes which operate in the first hundred cantigas. It is considered as an unexpected process the rule which do not act in contexts where its occurrence is expected, which includes typical cases of opacity (cf. Kiparsky, 1985). So, we can say this research aims also to describe the rules of said opaque phenomena. However, the main objective is to analyze the treatment of deviant forms in the context of phonological theories from structuralism to newer models like Optimality Theory. It was possible to note that theories generally have serious difficulties in inserting stylistic processes in grammar being Lexical Phonology (KIPARSKY, 1982, 1985; MOHANAN, 1986; PULLEYBLANK, 1986) the theory that most approaches a solution, as it describes such phenomena and fits them in phonological grammar. Because of this, this thesis argues that these cases can not be relegated to the margins of grammar. Thus, for description and analysis of sandhi and paragoge rules we will use the model proposed by Lexical Phonology (KIPARSKY, 1982, 1985, MOHANAN 1986; PULLEYBLANK, 1986), as well as studies on syllable structure - like Selkirk (1982) and Collischonn (2005) -, since this analysis requires detailed syllabic structure... (Complete abstract click electronic access below) / Doutor

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001 / Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal / Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition / Doutorado / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T15:09:20Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_M.pdf: 7102559 bytes, checksum: 00cfc40892f4fb1bb2cc560c907a732b (MD5) Previous issue date: 1999 / Mestrado

Orientador: Michael B. Wrigley / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T21:12:31Z (GMT). No. of bitstreams: 1 AguilarVerastegui_RosadeLourdes_M.pdf: 2355582 bytes, checksum: 6bcdfd463f8cb8be8daa428271089672 (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Ciências