Made available in DSpace on 2016-04-27T16:58:20Z (GMT). No. of bitstreams: 1 armando.pdf: 485665 bytes, checksum: e5f3992597d7f0fffbdcf84e5f0e6a67 (MD5) Previous issue date: 2002-11-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In light of the emphasis that the term problem-solving has received in the mathematics education community as well as research results indicating the various difficulties students exhibit in solving problems, we embarked on this study. The study aims to investigate whether students, at the end of the Ensino Médio (High School) are able to resolve optimisation problems. For all of the problems investigated, it was possible to obtain the solution by applying concepts and procedures already studied by the students, among them, systems of inequalities of the first degree. To test our hypothesis that some students would experience difficulties in resolving these problems, we applied a diagnostic test to a group of 33 students. Analysis of students' responses indicated that none of the students were able to resolve the optimisation problems. Our next step was to investigate if, as proposed by Duval (1993), activities concerning the treatment, the conversion and the co-ordination between registers of representation of a certain object contribute to the processes of learning and teaching this object. To this end, we designed a didactic (teaching) sequence. After a second group of 10 students worked through the sequence, they completed a post-test. We conducted a comparative analysis between the responses of the first group to the diagnostic test and the post-test responses given by the second group of students. This analysis showed that, while the first group of students failed to solved the optimisation problems, all the students in the second group approached the problems and most were able to resolve them. These results suggest that the activities of treatment, conversion and co-ordination of registers of representation of the mathematical object system of inequality make an important contribution to the formation of the concept and its application in the resolution of optimisation problems / Em vista do destaque que o termo resolução de problema tem tido na Educação Matemática e de algumas dificuldades dos alunos em resolvê-los, iniciamos essa pesquisa investigando se os alunos que estão terminando o Ensino Médio resolvem alguns problemas de programação linear que podem ser solucionados com conceitos e procedimentos já estudados, entre eles o sistema de inequações do 1º grau. Tendo como hipótese que alguns alunos teriam dificuldades em resolver esses problemas, fizemos um teste diagnóstico para confirmar a nossa hipótese. Depois de confirmada a hipótese e tendo como questão de pesquisa observar se, como proposta por Duval (1993), as atividades que consideram o tratamento, a conversão e a coordenação entre os registros de representação de um determinado objeto contribuem no processo ensino-aprendizagem desse objeto, elaboramos uma seqüência didática. Após o desenvolvimento dessa seqüência-didática, em uma outra turma da 3ª série, aplicamos o pós-teste e fizemos uma análise comparativa entre o teste diagnóstico da primeira turma e o pós-teste aplicado na segunda turma. Essa análise nos evidenciou que, enquanto os alunos da primeira turma não obtiveram sucesso na resolução dos problemas de programação linear e somente resolveram corretamente algumas das atividades sobre inequações do 1º grau, os alunos da segunda turma abordaram os problemas e a maioria deles obtiveram sucesso na resolução. Sendo assim pudemos inferir que as atividades de tratamento, conversão e coordenação dos registros de representação do objeto matemático sistema de inequações, trazem uma importante contribuição para a formação do conceito e a aplicação dele na resolução de problemas de programação linear

Made available in DSpace on 2016-04-27T16:58:22Z (GMT). No. of bitstreams: 1 carlos silva.pdf: 1089516 bytes, checksum: d2ef5fad9d36ce299ec1ea62eeb25089 (MD5) Previous issue date: 2004-04-23 / Teaching and learning Integral considered basic in the field of Mathematics Education courses, for many times it has focused on a traditional methodological practice based on: definitions, theorems, properties, examples and tests. That methodology has been contributing to a very high rate of abandonment and failure. In teaching this subject, even if we have new technologies used as didactic tools, the textbook is still very important. In this paper, we have chosen Integral to analyze how two chosen textbooks treat this content, based on the Registers of Semiotic Representation by Raymond Duval. It is a qualitative analysis, based on a careful exam of two selected works. We chose those books used in universities nowadays, which have different approaches and readers. The book is a textbook which brings a lot of registers of representation. The analysis allows a deeper study of textbooks, showing future teachers and students that the books have great information and if we know how to use them they can be a valuable tool for the learning process. We tried to show several registers used by authors, the treatments and conversions between registers, which are very important to knowledge acquisition, according to Duval s theory. We look back to the registers used when presenting conceptions, examples and tests, through a more careful analysis. The results show that books can be better studied in a way the student gets a wide comprehension, through conversions, with graphic displays of concepts in a situation of context and motivation both for students and teachers / O ensino e aprendizagem de Cálculo Diferencial e Integral considerado básico nos cursos da área de Ciências Exatas, muitas vezes tem sido focado, ao longo dos anos numa prática metodológica tradicional baseada em: definições, teoremas, propriedades, exemplos e exercícios. Essa metodologia tem contribuído para um índice muito alto de abandono e repetência. No ensino desta disciplina mesmo com as novas tecnologias usadas como ferramentas didáticas, o livro didático ainda tem uma importância fundamental. Neste trabalho escolhemos o tema Integral para analisar como dois livros didáticos tratam este conteúdo, à luz da teoria dos Registros de Representação Semiótica de Raymond Duval. Trata-se de uma análise qualitativa, baseada num exame cuidadoso das duas obras selecionadas. A escolha destes livros recaiu naqueles usados atualmente em universidades, que possuem abordagens diferenciadas e que foram destinados a públicos diferentes. O livro é um manual que traz muitos registros de representação. A análise foi feita de forma a permitir que eles possam ser melhor explorados, indicando a futuros professores e alunos que os mesmos são ricos em informações e que se bem utilizadas podem se constituir em um instrumento valioso para a aprendizagem. Procuramos mostrar os diversos registros usados pelos autores, os tratamentos realizados e as conversões, entre os registros, que segundo a teoria de Duval, para a aquisição do conhecimento são de fundamental importância. Voltamos o olhar para os registros utilizados ao apresentar conceitos, exemplos e exercícios, com uma análise mais criteriosa. Os resultados mostram que se os livros forem bem explorados, podem levar o aluno a um maior entendimento, através da utilização das conversões, com visualização gráfica dos conceitos em uma situação contextualizada e motivadora, tanto para os alunos como para os professores

Made available in DSpace on 2016-04-27T16:58:31Z (GMT). No. of bitstreams: 1 Desiree Frasson Balielo Picone.pdf: 820410 bytes, checksum: a1da8465596d29a290d2f4e59e068d05 (MD5) Previous issue date: 2007-10-19 / Secretaria da Educação do Estado de São Paulo / The discipline Calculus is included in the curriculum of many courses, not only in the Exact Sciences but also in other areas, as it involves concepts that permeate various scientific fields. Because of its association with high rates of failure, the teaching and learning of Calculus has been the subject of numerous researches that have sought to propose more effective teaching approaches. Considering the context of the difficulties students face during a Calculus course, and more specifically those related to the teaching and learning of the Fundamental Theory of Calculus (FTC), this work seeks to investigate the representation registers mobilised by teachers in the teaching of this theorem, considers the importance of the coordination of this registers and the ways in which visualisation is explored (or not) by means of graphical representations. The research is based on the theory of Semiotic Representation Registers of Raymond Duval, and emphasises the role of the identification of relevant visual variables, the conversion of the graphical register to the algebraic and vice-versa and the arguments presented in natural language. The study involves the conception and administration of a questionnaire divided into two stages followed by an interview with teachers of Calculus from public and private educational institutions in the state of São Paulo. Data indicated that the teachers consider that in the teaching of the FTC it is important to stress how this theorem can be used as a tool for calculating areas and to establish connections between differentiation and integration, but this connection was not explored graphically by all the teachers. As regards the inter-relationships between relevant visual variables, we verified that the articulation between different registers is not always emphasised by teachers. In general, the teachers considered important the coordination of different representations of the same mathematical object in the teaching of Calculus, with the principle registers used, algebra, graphs and natural language. To analyse a situation which explores the connection between the derivative and the integral graphically, some affirmed that, although they use similar situations, they do not perceive the ways in which these situation can contribute to the understanding of the Thereom. Others, in relation to the same situation, affirmed that they do not make use of this type of activity with their students, and in this case, they offered diverse justifications, none of which suggested the proposals were not important. We believe that the study offers contributions to the teaching and learning of the FTC, but that the results require further study including the amplification of the questionnaire and interviews and their application with different populations of subjects / A disciplina de Cálculo Diferencial e Integral consta na grade curricular de vários cursos da área de Ciências Exatas e também de outras áreas, por tratar de conceitos que permeiam vários campos de Ciência. Seu ensino e aprendizagem tem sido alvo de muitas pesquisas devido aos altos índices de desistência e retenção comprovados, a fim de propor abordagens de ensino que possam amenizar seus problemas existentes. Considerando o contexto das dificuldades enfrentadas num curso de Cálculo e mais precisamente as relacionadas ao ensino e aprendizagem do Teorema Fundamental do Cálculo (TFC), o presente trabalho busca investigar que registros de representação são mobilizados por professores no ensino desse Teorema, bem como se consideram importante a coordenação desses registros e, ainda, se exploram a visualização por meio da representação gráfica. A pesquisa fundamentou-se na teoria dos Registros de Representação Semiótica de Raymond Duval, destacando o papel da identificação das variáveis visuais pertinentes, na conversão do registro gráfico para o algébrico e vice-versa e nas argumentações da língua natural. Para atingir esse objetivo, elaboramos e aplicamos um questionário dividido em duas etapas seguido por uma entrevista com professores de Cálculo de instituições públicas e particulares do Estado de São Paulo. Constatamos que eles consideram importante no ensino do TFC enfatizar que o mesmo pode ser utilizado como uma ferramenta para o cálculo de áreas e que estabelece uma conexão entre derivação e integração, mas essa conexão não é explorada graficamente, por todos. Com relação à inter-relação entre as variáveis visuais pertinentes verificamos que nem sempre foram destacadas pelos professores, na articulação de diferentes registros. Os professores consideram importante a coordenação das diferentes representações do mesmo objeto matemático no ensino do Cálculo de modo geral, sendo os mais utilizados os registros algébrico, gráfico e língua natural. Ao analisarem uma situação que explora a conexão entre a derivada e a integral graficamente, alguns afirmaram que apesar de propor situações parecidas não percebiam de que modo essas situações poderiam contribuir para o entendimento do Teorema. Enquanto outros, ao analisarem a mesma situação, afirmaram que não costumam propor esse tipo de atividade aos seus alunos e, nesse caso, as justificativas foram diversas, porém em nenhum momento apontaram para a não importância de serem propostas. Acreditamos que este estudo apresenta contribuições ao ensino e aprendizagem do TFC, mas julgamos que ele pode ser continuado, quer com a ampliação do questionário e entrevistas, quer com a mudança ou ampliação da amostra de sujeitos da pesquisa

Made available in DSpace on 2016-04-26T18:17:15Z (GMT). No. of bitstreams: 1 Gustavo Garcia da Palma.pdf: 1137319 bytes, checksum: 76b5b92accf97fed4960813084961ce6 (MD5) Previous issue date: 2008-04-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / It s very common Nowadays the use of technologies in communication processes in art. The coupling of prosthesis to the body and the cross-breeding of scenic languages happen. The analysis of these processes, most of them at least, is done under the director s, the choreographer s or the critic s perspective. The objective is the investigation of consciousness alteration for the actor based on the trance technique proposed by Jerzy Grotowski (1979, 2007), for a theater poor in technology . The hypothesis is the application of this concept in an art rich in technology: the Artmedia (MACHADO, 2002). An undisciplined and theoretical-practical methodology was used. M. McLuhan (1969, 1972), S. Pinker (1998, 2002), Y. R. G. Araújo (2005) e de P. M. Aguiar (2006) made it possible to conceive the technology as an organic/environmental process and overcome the dualism rich-poor inherent in Grotowski. The concept syntheticbody , created from the concept corpomídia (KATZ & GREINER, 2005), represents the refusal in altering itself. T. Richards (2001), R. Cohen (2004, 2003), M. Bonfitto (2002), R. Ferracini (2003), E. Barba (2006), R. Demarcy (in GUINSBURG, 2003) and others allowed a new interpretation of important theater authors like Aristóteles (1966), C. Stanislávski (1979) e J. Grotowski (op. cit.). A. Damásio (2000, 2004), S. Pinker (1998), D. C. Dennett (1997, 2006), Lakoff & Johnson (2002), R. Dawkins (2001a, 2001b), and others allowed the conception of consciousness in a healthy state, here, a parameter to identify and create altered states, which can be systemically understood from J. Vieira (2006, 2007). Consequently the actor s training system was called Alteration Procedures , and Jerry Grotowski s interpretation of the trance technique for the body could be reviewed and enlarged in high levels of technology in communication processes / É cada vez mais comum a utilização de tecnologias nos processos comunicacionais em arte. Acoplamentos de próteses ao corpo e hibridização de linguagens cênicas se sucedem. Tais processos, em sua maioria, são realizados sob a perspectiva do diretor, do coreógrafo ou do crítico de arte. Aqui é proposta uma análise pelo corpo em ação no meio. O objetivo é a investigação da alteração de consciência para o ator, com base na técnica de transe , proposta por Jerzy Grotowski (1979, 2007), para um teatro pobre em tecnologia. A hipótese é a aplicação deste conceito em uma arte rica em tecnologia: a Artemída (MACHADO, 2002). Utilizou-se de metodologia indisciplinar e teórico-prática. Autores como M. McLuhan (1969, 1972), S. Pinker (1998, 2002), Y. R. G. Araújo (2005) e P. M. Aguiar (2006) possibilitaram conceber a tecnologia como processo organismo/meio, e superar a dualidade rico-pobre inerente em Grotowski. O conceito corposintético , criado a partir do conceito corpomídia (KATZ & GREINER, 2005), representa a recusa em alterar-se. T. Richards (2001), R. Cohen (2004, 2003), M. Bonfitto (2002), R. Ferracini (2003), E. Barba (2006), R. Demarcy (in GUINSBURG, 2003) e outros permitiram a releitura de importantes autores da área teatral como Aristóteles (1966), C. Stanislávski (1979) e J. Grotowski (op. cit.). A. Damásio (2000, 2004), S. Pinker (1998), D. C. Dennett (1997, 2006), Lakoff & Johnson (2002), R. Dawkins (2001a, 2001b), e outros permitiram conceber os conceitos de consciência para ser possível identificar e criar estados alterados, entendidos sistemicamente a partir de J. Vieira (2006, 2007). Os princípios de treinamento do ator são tratados como Procedimentos de Alteração, e a leitura da técnica de transe de Jerzy Grotowski pôde ser revista e ampliada para o corpo em ambientes com altos índices de tecnologia nos processos comunicacionais

[pt] A dissertação reúne cinco ensaios sobre a ficção brasileira contemporânea, articulados em torno da ideia de que os anos 1990 e 2000 são um momento de crise dos conceitos que demarcavam o valor e lugar da literatura no Brasil. Se entre nós o valor literário foi muitas vezes pensado em função de seu índice de verdade ou medida de utilidade, as fraturas atuais nas noções de História e Nação ajudam a redefinir interesses, prioridades, referências e caminhos dos autores brasileiros. Discussão que não implica um experimentalismo ensimesmado, mas antes um jogo político, no sentido de busca de um lugar. Num tal contexto, o surgimento de vozes narrativas que vinculam o narrado a uma determinada inflexão afetiva aparece como contraponto às incertezas, instaurando um novo tipo de assertividade que orienta e circunscreve a imaginação do leitor. Uma rediscussão da distinção feita por Blanchot entre falar e ver, e da experiência de leitura como descrita por Iser, abre caminho para o exame da tensão entre visão de mundo e modo de ver inerente ao texto literário, e fundamenta o desenvolvimento da noção de uma literatura caricatural, que permite a constatação de afinidades entre autores aparentemente díspares, como João Anzanello Carrascoza, André Sant Anna e Marcelino Freire. Apresentados em conjunto, os três são também pensados em separado, em leituras críticas apoiadas na discussão das noções de kitsch, engajamento político e valor do ordinário. / [en] This dissertation is composed of five essays about contemporary Brazilian literature, organized around the idea that the 1990s and 2000s are a moment of crisis in the concepts that traditionally defined the value and place of literature in Brazil. If among us literary value has often been measured according to its degree of truth or usefulness, the current fractures in the notions of History and Nation help to redefine the preoccupations, priorities, references and practices of Brazilian authors. This does not result in an insular experimentalism, but rather in a political effort, in the sense of search for a place. In such a context, the emergence of narrative voices that link the narrated events to a determined affective inflection appears as a counterpoint to uncertainties, establishing a new kind of assertiveness that guides and circumscribes the reader s imagination. A discussion of Blanchot s distinction between speaking and seeing, and of the experience of reading as described by Iser, opens up the way for the analysis of the tension between the point of view and the viewpoint intrinsical to literary texts, and supports the development of the notion of a caricatural literature, which allows the recognition of affinities between apparently incompatible authors, such as João Anzanello Carrascoza, André Sant Anna e Marcelino Freire. Although presented as a group, they are also examined individually, in critical readings that rely on the discussion of such notions as kitsch, political commitment and the value of the ordinary.

Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a permitir o exercício de algum controle sobre as possíveis derivações dele decorrentes. O modelo das hiperredes [GEO 85] parece atingir tal objetivo, dado o seu elevado potencial de estruturação e o instrumental que oferece para o tratamento de construções descritivas, operacionais e organizacionais. Além disso, a simplicidade e uniformidade sintática de suas entidades primitivas possibilita uma interpretação semântica bastante clara do modelo original, por exemplo, baseada em grafos. O presente trabalho representa uma tentativa de associar a programação em lógica ao formalismo das hiperredes, visando obter um novo modelo capaz de preservar as expressividade da primeira, beneficiando-se simultaneamente do potencial heurístico e estrutura do segundo. Inicialmente procura-se obter uma noção clara da natureza do conhecimento e de seus mecanismos com o objetivo de caracterizar o problema da representação de conhecimento. Diferentes esquemas correntemente empregados para esse fim (sistemas de produções, redes semânticas, sistemas de frames, programação em lógica e a linguagem Krypton) são estudados e caracterizados do ponto de vista de sua expressividade, potencial heurístico e conveniência notacional. A programação em lógica é objeto de um estudo em maior profundidade, sob os enfoques modelo-teorético e prova-teorético. Sistemas de programação em lógica - particularmente a linguagem Prolog e extensões em nível meta - são investigados como esquemas de representação de conhecimento, considerando seus aspectos sintáticos e semânticos e a sua retação com Sistemas Gerenciadores de Bases de Dados. O modelo das hiperredes é apresentado introduzindo-se, entre outros, os conceitos de hipernodo, hiperrelação e protótipo, assim como as propriedades particutares de tais entidades. A linguagem Hyper, para o tratamento de hiperredes, é formalmente especificada. Emprega-se a linguagem Prolog como formalismo para a representação de Bases de Conhecimento estruturadas segundo o modelo das hiperredes. Sob tal abordagem uma Base de Conhecimento é vista como um conjunto (possivelmente vazio) de objetos estruturados ou peças de conhecimento, que por sua vez são classificados como hipernodos, hiperrelações ou protótipos. Um mecanismo top-down para a produção de inferências em hiperredes é proposto, introduzindo-se os conceitos de aspecto e visão sobre hiperredes, os quais são tomados como objetos de primeira classe, no sentido de poderem ser valores atribuídos a variáveis. Estuda-se os requisitos que um Sistema Gerenciador de Bases de Conhecimento deve apresentar, do ponto de vista da aplicação, da engenharia de conhecimento e da implementação, para suportar efetivamente os conceitos e abstrações (classificação, generalização, associação e agregação) associadas ao modelo proposto. Com base nas conclusões assim obtidas, um Sistema Gerenciador de Bases de Conhecimento (denominado Rhesus em alusão à sua finalidade experimental é proposto e especificado, objetivando confirmar a viabilidade técnica do desenvolvimento de aplicações baseadas em lógica e hiperredes. / In spite of its inherent undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome the question of the monotonicity, establishing knowledge representation schemata with virtuatLy universal expressiviness. However, one still has to solve, or at Least to reduce the consequences of the control problem, which constrains the use of Logic-based systems to either small or medium-sized applications. Investigations in this direction [BOW 85] [MON 88] indicate that the key to overcome the inferential explosion resides in the proper knowledge structure representation, in order to have some control over possible derivations. The Hypernets Model [GEO 85] seems to reach such goat, considering its high structural power and the features that it offers to deal with descriptive, operational and organizational knowledge. Besides, the simplicity and syntactical uniformity of its primitive notions allows a very clear definition for its semantics, based, for instance, on graphs. This work is an attempt to associate logic programming with the hypernets formalism, in order to get a new model, preserving the expressiveness of the former and the heuristic and structural power of the latter. First we try to get a clear notion of the nature of knowledge and its main aspects, intending to characterize the knowledge representation problem. Some knowledge representation schemata (production systems, semantic networks, frame systems, Logic programming and the Krypton Language) are studied and characterized from the point of view of their expressiveness, heuristic power and notational convenience. Logic programming is the subject of a deeper study, under the model-theoretic and proof-theoretic approaches. Logic programming systems - in particular the Prolog Language and metateuel extensions- - are investigated as knowledge representation schemata, considering its syntactic and semantic aspects and its relations with Data Base Management Systems. The hypernets model is presented, introducing the concepts of hypernode, hyperrelation and prototype, as well as the particular properties of those entities. The Hyper language, for the handling of h y pernets, is formally specified. Prolog is used as a formalism for the representation of Knowledge Bases which are structured as hypernets. Under this approach a Knowledge Brie is seen rrG a (possibly empty) set of structured objects, which are classified as hypernodes, hyperreLations or prototypes. A mechanism for top-down reasoning on hypernets is proposed, introducing the concepts of aspect and vision, which are taken as first-class objects in the sense that they could be (-Ysigned as values to variables. We study the requirements for the construction of a Knowledge Base Management System from the point of view of the user's need-1', knowledge engineering support and implementation issues, actually supporting the concepts and abstractions (classification, generalization, association and aggregation) rYsociated with the proposed model. Based on the conclusions of this study, a Knowledge Base Management System (called Rhesus, refering to its experimental objectives) is proposed, intending to confirm the technical viability of the development of applications based on logic and hypernets.

The aim of this thesis is to show that Emily Dickinson was not concerned with the publication of her poems and she herself decided to withdraw from the outside world, a decisive event which contributed to the original production of her almost eighteen hundred poems and over eleven hundred letters. Emily Dickinson withdrew into her untouched private world – which here is called “the bubble” – and developed the contemplation process based on the approach of apprehending perceptions which resulted in the instant captions that have enchanted readers. Since her withdrawal was as a result of her own free choice and own writing and living conventions, she was able to be the craftsperson that enjoyed living and writing. Her perception of nature by taking instant captions of the observable natural objects is perfected by the process of contemplation developed in some of her poems. The theoretical and methodological basis of the study comes from the analysis of the complete edition of poems edited by Thomas H. Johnson, the letters edited by Mabel Loomis Todd, and the concept of Nature by Hans Georg Schenk. For the analyses of different issues related to Dickinson’s verses, withdrawal, and apprehension of perceptions, the works of the biographer Richard Benson Sewall and critics such as Albert Gelpi, Barton Levi Armand, Karl Keller, Sharon Cameron, among others, were consulted. This study aims to demonstrate that Emily Dickinson was not concerned with publication and her withdrawal within her bubble was a positive event for her life and poetry. Such conclusion might contribute to enlighten the knowledge about the life and work of such an amazing personage of American Literature and American society as Emily Dickinson has been so far.

The aim of this thesis is to show that Emily Dickinson was not concerned with the publication of her poems and she herself decided to withdraw from the outside world, a decisive event which contributed to the original production of her almost eighteen hundred poems and over eleven hundred letters. Emily Dickinson withdrew into her untouched private world – which here is called “the bubble” – and developed the contemplation process based on the approach of apprehending perceptions which resulted in the instant captions that have enchanted readers. Since her withdrawal was as a result of her own free choice and own writing and living conventions, she was able to be the craftsperson that enjoyed living and writing. Her perception of nature by taking instant captions of the observable natural objects is perfected by the process of contemplation developed in some of her poems. The theoretical and methodological basis of the study comes from the analysis of the complete edition of poems edited by Thomas H. Johnson, the letters edited by Mabel Loomis Todd, and the concept of Nature by Hans Georg Schenk. For the analyses of different issues related to Dickinson’s verses, withdrawal, and apprehension of perceptions, the works of the biographer Richard Benson Sewall and critics such as Albert Gelpi, Barton Levi Armand, Karl Keller, Sharon Cameron, among others, were consulted. This study aims to demonstrate that Emily Dickinson was not concerned with publication and her withdrawal within her bubble was a positive event for her life and poetry. Such conclusion might contribute to enlighten the knowledge about the life and work of such an amazing personage of American Literature and American society as Emily Dickinson has been so far.

Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a permitir o exercício de algum controle sobre as possíveis derivações dele decorrentes. O modelo das hiperredes [GEO 85] parece atingir tal objetivo, dado o seu elevado potencial de estruturação e o instrumental que oferece para o tratamento de construções descritivas, operacionais e organizacionais. Além disso, a simplicidade e uniformidade sintática de suas entidades primitivas possibilita uma interpretação semântica bastante clara do modelo original, por exemplo, baseada em grafos. O presente trabalho representa uma tentativa de associar a programação em lógica ao formalismo das hiperredes, visando obter um novo modelo capaz de preservar as expressividade da primeira, beneficiando-se simultaneamente do potencial heurístico e estrutura do segundo. Inicialmente procura-se obter uma noção clara da natureza do conhecimento e de seus mecanismos com o objetivo de caracterizar o problema da representação de conhecimento. Diferentes esquemas correntemente empregados para esse fim (sistemas de produções, redes semânticas, sistemas de frames, programação em lógica e a linguagem Krypton) são estudados e caracterizados do ponto de vista de sua expressividade, potencial heurístico e conveniência notacional. A programação em lógica é objeto de um estudo em maior profundidade, sob os enfoques modelo-teorético e prova-teorético. Sistemas de programação em lógica - particularmente a linguagem Prolog e extensões em nível meta - são investigados como esquemas de representação de conhecimento, considerando seus aspectos sintáticos e semânticos e a sua retação com Sistemas Gerenciadores de Bases de Dados. O modelo das hiperredes é apresentado introduzindo-se, entre outros, os conceitos de hipernodo, hiperrelação e protótipo, assim como as propriedades particutares de tais entidades. A linguagem Hyper, para o tratamento de hiperredes, é formalmente especificada. Emprega-se a linguagem Prolog como formalismo para a representação de Bases de Conhecimento estruturadas segundo o modelo das hiperredes. Sob tal abordagem uma Base de Conhecimento é vista como um conjunto (possivelmente vazio) de objetos estruturados ou peças de conhecimento, que por sua vez são classificados como hipernodos, hiperrelações ou protótipos. Um mecanismo top-down para a produção de inferências em hiperredes é proposto, introduzindo-se os conceitos de aspecto e visão sobre hiperredes, os quais são tomados como objetos de primeira classe, no sentido de poderem ser valores atribuídos a variáveis. Estuda-se os requisitos que um Sistema Gerenciador de Bases de Conhecimento deve apresentar, do ponto de vista da aplicação, da engenharia de conhecimento e da implementação, para suportar efetivamente os conceitos e abstrações (classificação, generalização, associação e agregação) associadas ao modelo proposto. Com base nas conclusões assim obtidas, um Sistema Gerenciador de Bases de Conhecimento (denominado Rhesus em alusão à sua finalidade experimental é proposto e especificado, objetivando confirmar a viabilidade técnica do desenvolvimento de aplicações baseadas em lógica e hiperredes. / In spite of its inherent undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome the question of the monotonicity, establishing knowledge representation schemata with virtuatLy universal expressiviness. However, one still has to solve, or at Least to reduce the consequences of the control problem, which constrains the use of Logic-based systems to either small or medium-sized applications. Investigations in this direction [BOW 85] [MON 88] indicate that the key to overcome the inferential explosion resides in the proper knowledge structure representation, in order to have some control over possible derivations. The Hypernets Model [GEO 85] seems to reach such goat, considering its high structural power and the features that it offers to deal with descriptive, operational and organizational knowledge. Besides, the simplicity and syntactical uniformity of its primitive notions allows a very clear definition for its semantics, based, for instance, on graphs. This work is an attempt to associate logic programming with the hypernets formalism, in order to get a new model, preserving the expressiveness of the former and the heuristic and structural power of the latter. First we try to get a clear notion of the nature of knowledge and its main aspects, intending to characterize the knowledge representation problem. Some knowledge representation schemata (production systems, semantic networks, frame systems, Logic programming and the Krypton Language) are studied and characterized from the point of view of their expressiveness, heuristic power and notational convenience. Logic programming is the subject of a deeper study, under the model-theoretic and proof-theoretic approaches. Logic programming systems - in particular the Prolog Language and metateuel extensions- - are investigated as knowledge representation schemata, considering its syntactic and semantic aspects and its relations with Data Base Management Systems. The hypernets model is presented, introducing the concepts of hypernode, hyperrelation and prototype, as well as the particular properties of those entities. The Hyper language, for the handling of h y pernets, is formally specified. Prolog is used as a formalism for the representation of Knowledge Bases which are structured as hypernets. Under this approach a Knowledge Brie is seen rrG a (possibly empty) set of structured objects, which are classified as hypernodes, hyperreLations or prototypes. A mechanism for top-down reasoning on hypernets is proposed, introducing the concepts of aspect and vision, which are taken as first-class objects in the sense that they could be (-Ysigned as values to variables. We study the requirements for the construction of a Knowledge Base Management System from the point of view of the user's need-1', knowledge engineering support and implementation issues, actually supporting the concepts and abstractions (classification, generalization, association and aggregation) rYsociated with the proposed model. Based on the conclusions of this study, a Knowledge Base Management System (called Rhesus, refering to its experimental objectives) is proposed, intending to confirm the technical viability of the development of applications based on logic and hypernets.

[pt] A diferença enquanto submetida às amarras do senso comum (identidade, semelhança, oposição e analogia), ou seja, mediada pela inteligência, opera a síntese da representação e, portanto, entra em um ciclo de repetições e recognições inescapáveis do qual apenas um movimento radical, abrupto, aberrante, imediato tem força para romper. De certo modo as filosofias de Husserl, Bergson, Heidegger, entre outros, buscava esse limiar – momento anterior à mediação consciente de uma percepção dada. Bem como a de Nietzsche que vinculava toda mediação a um modelo moral constituído. Desse modo, buscar o outro, como concepção do que se diferencia do mesmo, requer uma recusa às quatro instâncias da mediação sobre a diferença, à custa da impossibilidade ao novo. / [en] Difference, when subjected to the bonds of common sense (identity, likeness, opposition and analogy), that is, mediated by intelligence, operates the synthesis of representation and therefore enters into a cycle of inescapable repetitions and recognitions of which only a radical movement , Abrupt, aberrant, immediate has the strength to break. In a way, the philosophies of Husserl, Bergson, Heidegger, among others, sought this threshold - a moment prior to the conscious mediation of a given perception. As well as that of Nietzsche who linked all mediation to a constituted moral model. In this way, seeking the other, as a conception of what differentiates itself from the same, requires a refusal of the four instances of mediation over difference, at the expense of impossibility to the new. / [fr] La différence tout en étant soumis aux contraintes du sens commun (identité, similarité, opposition et analogie), à savoir, la médiation par l intelligence, opère la synthèse de la représentation et donc entre dans un cycle de répétitions et recognitions inéluctable dont seulement un mouvement radical , abrupte, aberrante, immédiat Il a la force de rompre. D une certaine manière les philosophies de Husserl, Bergson, Heidegger, entre autres, cherchais ce seuil - temps précédent à médiation consciente d une perception donnée. Ainsi que celle de Nietzsche qui liait toute médiation à un modèle moral constitué. Ainsi, chercher un autre, comme la conception de ce qui différencie le même, exige un refus à quatre instances de médiation sur la différence au détriment de l impossibilité de nouvelle si pas le cas nous agissons.