Made available in DSpace on 2016-08-29T15:32:27Z (GMT). No. of bitstreams: 1 tese_2723_DissertacaoMestradoWesleyLucasBreda.pdf: 2352402 bytes, checksum: ea4443a2c6595a096d1b34f4d81fb874 (MD5) Previous issue date: 2008-02-22 / Esta dissertação apresenta uma proposta de tradução automática baseada em conhecimento, o projeto e a implementação de um sistema de autoria e uso de tradutores automatizados para apoio à tradução, tendo como estudo de caso a tradução de Português para Libras. Esse sistema possui um ambiente para manipulação dos elementos utilizados no processo de tradução automática e um para tradução automática de textos de uma língua-fonte, em forma de texto, para uma língua-alvo, em forma de texto, vídeo e/ou áudio. Os elementos utilizados no processo de tradução são exemplos de tradução da língua-fonte para a língua-alvo e regras de tradução inferidas considerando esses mesmos exemplos. Para isso, o conteúdo deste trabalho apresenta um estudo sobre tradução automática, apontando seus métodos e, brevemente, seus principais paradigmas, além de uma breve exposição sobre memória de tradução. Apresenta também um estudo sobre a definição de linguagens formais e inferência gramatical, apontando seus métodos e, brevemente, a especificação de problemas de inferência gramatical. Apresenta ainda os algoritmos de tradução e de inferência utilizados pelo sistema, bem como as estruturas de dados necessárias e resultados gerados por eles. Ao longo de todo o conteúdo, é possível observar alguns aspectos de usabilidade, navegabilidade, funcionalidade e complexidade do sistema gerado como produto final deste trabalho, um ambiente de apoio à tradução, baseado em exemplos e sintaxe.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Linguística, Português e Línguas Clássicas, Programa de Pós-Graduação em Linguística, 2013. / Submitted by Luiza Silva Almeida (luizaalmeida@bce.unb.br) on 2013-07-29T18:14:36Z No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Approved for entry into archive by Leandro Silva Borges(leandroborges@bce.unb.br) on 2013-07-29T20:21:02Z (GMT) No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Made available in DSpace on 2013-07-29T20:21:02Z (GMT). No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Este estudo trata da variação das formas de tratamento da segunda pessoa do discurso no contexto do Tribunal do Júri. O Tribunal do Júri caracteriza-se como instituição em que predomina a adoção do estilo formal de linguagem por parte das pessoas que nele atuam. Por essa razão, procurou-se investigar o uso das formas de tratamento com a segunda pessoa do discurso nesse contexto. A pesquisa situa-se no quadro da Sociolinguística Interacional, com contribuições da Pragmática. Metodologicamente, utiliza-se das técnicas de transcrição da Análise da Conversação e de orientações etnográficas para condução da abordagem qualitativa dos dados. O corpus da dissertação constitui-se de aproximadamente oito horas de gravação em vídeo de uma sessão do Tribunal do Júri e de uma hora em áudio, correspondente à entrevista concedida pelo juiz que presidiu a sessão sob análise. Como resultados de pesquisa, identificaram-se as formas de tratamento utilizadas durante a sessão analisada: senhor/senhora, senhores, você/cê, vocês, seu, doutor, Excelência e Vossas Excelências. Constatou-se também a ocorrência de alternância no uso dessas formas na interlocução com a segunda pessoa do discurso e revelou-se que a variação senhor/senhora; doutor e você e cê no contexto pesquisado manifesta-se em um contínuo estilístico mais ou menos alinhado a um quadro de formalidade. O significado social do uso das formas você e cê, utilizadas pelos profissionais do Direito durante a inquirição das testemunhas, representa estratégia de intimidação dessas com fins de obter confissões ou consentimentos. As análises demonstraram que a formalidade é contextualmente situada, pois a seleção das formas você e cê não sinalizou enquadre de intimidade entre os interagentes, o que na perspectiva de Irvine (1984) caracterizaria uma situação de informalidade. Diferentemente, nesse contexto, os interagentes mantiveram distanciamento social e relacionamento assimétrico mesmo quando adotavam tratamento menos cerimonioso. Espera-se que os resultados dessa análise interacional possam contribuir para o desenvolvimento teórico de estudos da interação em contextos institucionais, assim também como para melhor compreensão quanto ao uso das formas de tratamento utilizadas no Brasil. _______________________________________________________________________________________ ABSTRACT / This study concerns a research about treatment forms of second person speech in the context of the jury’s trial. The jury’s trial is characterized as an institution that predominates the formal style of language. In this way, this study tried to investigate the use of treatment forms with the second person speech in this context. The research is situated within the Interactional Sociolinguistics, with contributions of Pragmatics. As a methodological source, it was used the techniques of transcription Conversational Analysis and guidelines for conducting ethnographic qualitative approach. The corpus of the research consists in approximately eight hours of video recording of a session of the jury’s trial and one hour audio, corresponding to an interview by the judge who presided the session. As search results, were identified the types of treatment used during the session focused: senhor/senhora, senhores, você/cê, vocês, seu, doutor, Excelência and Vossas Excelências. It Was found also the occurrence of alternation in the use of these forms in communication with the second-person speech and revealed that the variation senhor/senhora and você/cê in the context manifests itself in a more continuous stylistic or less aligned to a frame of formality. The social meaning of the forms você and cê, used by legal professionals during the investigation of witnesses, was interpreted as a strategy of intimidation these purpose of extracting confessions or consents. The analyzes showed that the formality is contextually situated, for the selection of forms você and cê not signaled frame of intimacy among interactings, which in Irvine’s view (1984) characterize a situation of informality. In contrast, in this context, interactings kept social distancing and asymmetrical relationship even when they adopted less ceremonious treatment. It is expected that the results of this analysis interaction may contribute to the development of theoretical studies of the interaction in institutional contexts, so to better understand how the use of treatment modalities is in Brazil.

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-25T15:17:04Z No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-25T16:01:48Z (GMT) No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Made available in DSpace on 2016-01-25T16:01:48Z (GMT). No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Esta pesquisa propõe a arquitetura da informação de uma linguagem formal textual para representar discursos sobre entidades ontológicas e obter deduções a respeito de ontologias de domínio. Por meio do paradigma de metamodelagem, a linguagem permite tratamento de ontologias heterogêneas que podem ser descritas como instâncias de uma ou mais ontologias de fundamentação. A linguagem suporta comportamentos clássicos e modais sustentados por noções de prova baseadas no paradigma de Programação em Lógica (Modal). O arcabouço modal desenvolvido possibilita que diferentes interpretações modais sejam introduzidas às especificações das ontologias, e contempla especialmente sistemas baseados em lógicas de múltiplos agentes. Uma sistematização do fragmento endurante da Unified Foundational Ontology (UFO) é realizada com objetivo de compor parte do marco teórico que fundamenta a proposta e de servir de exemplo de instanciação do arcabouço desenvolvido. Como resultados complementares, destacam-se: uma sistematização de um conjunto ampliado de regras para produção de modelos conceituais e um glossário detalhado de termos e conceitos da UFO-A; protótipos funcionais que implementam os sistemas elaborados; traduções das teorias descritas no arcabouço proposto para linguagens visuais, como extensões da representação gráfica da OntoUML; e discussões a respeito da integração de Arquitetura da Informação, Modelagem Conceitual e Programação em Lógica (Modal) no contexto social aplicado. / This research proposes the information architecture of a textual formal language to represent and reason about ontological entities based on foundational ontologies. Through metamodeling, the language is able to deal with heterogeneous ontologies that can be described as instances of one or more foundational ontology. The language provides classic and modal inference mechanisms supported by proof notions based on the (Modal) Logic Programming paradigm. The modalities introduced by the modal framework allow a wide range of interpretations, including multi-agent systems. A systematization of the endurant fragment of the Unified Foundational Ontology (UFO) is produced in order to compose part of the theoretical framework underlying the proposal, and to serve as an example instantiating the developed framework. As complementary results we highlight: a systematization of an extended set of rules for conceptual modeling and a detailed glossary of terms and concepts of UFO-A; functional prototypes implementing the developed systems; translations of the theories described as instances of the framework to diagramatic representations, as extensions of the OntoUML visual language; and discussions regarding the integration of Information Architecture, Conceptual Modeling and Logic Programming within Applied Social Science.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Linguística, Português e Línguas Clássicas, Programa de Pós-Graduação em Linguística, 2018. / Submitted by Fabiana Santos (fabianacamargo@bce.unb.br) on 2018-08-22T19:17:25Z No. of bitstreams: 1 2018_RosaniKristineParaísoGarcia.pdf: 2789550 bytes, checksum: a0492b8e4403e5caca30e09c36a2fa26 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-08-27T20:04:59Z (GMT) No. of bitstreams: 1 2018_RosaniKristineParaísoGarcia.pdf: 2789550 bytes, checksum: a0492b8e4403e5caca30e09c36a2fa26 (MD5) / Made available in DSpace on 2018-08-27T20:04:59Z (GMT). No. of bitstreams: 1 2018_RosaniKristineParaísoGarcia.pdf: 2789550 bytes, checksum: a0492b8e4403e5caca30e09c36a2fa26 (MD5) Previous issue date: 2018-08-22 / Este estudo versa sobre a expressão da polidez na Língua de Sinais Brasileira (Libras ou LSB) e desenvolve-se pela análise de dados coletados em comunidade surda usuária de Libras. Assim como em qualquer língua, nas línguas de sinais há o uso de diferentes registros e “graus” de polidez. O objetivo geral do estudo é analisar os elementos linguísticos utilizados como recursos na expressão gramatical da polidez em Libras, tomando como ponto de partida o trabalho pioneiro de Brown e Levinson (1987 [1978]) e um capítulo que Ferreira Brito (1995) desenvolve sobre esse assunto. Como se trata de um tema que está na interface entre a gramática e o discurso, a abordagem teórica leva em conta categorias de análise de base funcionalista, mas trabalha, também, com pressupostos da gramática gerativa, quanto à existência de uma faculdade da linguagem e de mecanismos gramaticais universais para a expressão do pensamento. O caminho metodológico adotado para esta pesquisa baseia-se em coleta de dados, por meio de filmagens em vídeo e de entrevistas, a fim de comparar os diferentes mecanismos gramaticais utilizados pelos surdos sinalizantes de Libras e analisar esses mecanismos com base no referencial teórico adotado. A análise dos dados permitiu identificar que os surdos participantes da pesquisa relacionam os registros formais e informais com o comportamento mais (ou menos) polido dos interlocutores, sendo a estrutura diretiva a preferida tanto em situações formais quanto em situações informais. Essa característica se revelou ser própria da Libras – confirmando-se a proposta de Ferreira Brito (1995) de que a familiaridade é um aspecto fundamental para a descrição da polidez nessa língua, e desafiando-se a teoria de Brown e Levinson (1987 [1978]) de que os atos de fala indiretos agregam elementos de polidez nas línguas em geral. / This research deals with the expression of politeness in Brazilian Sign Language (Libras or LSB) and is developed by the analysis of data produced by deaf people who are Libras’ speakers. Just as in any language, in sign languages different registers and degrees of politeness are used. The general objective of this study is to analyze the linguistic elements used as resources in the grammatical expression of politeness in Libras, taking as a start point Brown e Levinson’s (1987 [1978]) research and the chapter that Ferreira Brito (1995) developed on this subject. As this work deals with a theme that is at the interface between grammar and discourse, the theoretical approach takes into account categories of functionalist framework, but also the assumptions of generative grammar, about the existence of a language faculty and of universal grammatical mechanisms for the expression of thought. The methodological approach adopted for this research is based on data collected in order to compare the different grammatical mechanisms used by the deaf people and to analyze these mechanisms based on the adopted theoretical framework. The analysis allowed us to identify that the deaf participants relate formal and informal registers to the more (or less) polite behavior of the interlocutors, the directive structure being preferred in both formal and informal situations. This characteristic was considered to be proper of Libras – confirming the proposal of Ferreira Brito (1995) that familiarity is a fundamental aspect for the description of politeness in this language, and challenging the theory of Brown and Levinson (1987 [1978]) that the indirect speech acts generally show elements of politeness in the languages.

Made available in DSpace on 2014-06-12T15:59:39Z (GMT). No. of bitstreams: 2 arquivo5428_1.pdf: 1146136 bytes, checksum: 397adc67935622083166ac6104064af6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A busca constante pelo desenvolvimento de sistemas de software com qualidade vem despertando o interesse das grandes empresas na aplicação de técnicas formais. Dentre as linguagens formais, existem aquelas próprias para a modelagem de dados complexos, tal como Z, e outras próprias para a modelagem de comunicação e concorrência, tal como CSP. Circus é uma linguagem de especificação, projeto e programação que combina Z e CSP. Além de possibilitar a especificação de aspectos de dados e comportamentais de sistema concorrentes, Circus inclui um cálculo de refinamentos. Este é seu diferencial em relação a outras integrações de Z com uma álgebra de processos. Circus vem despertando interesse no meio industrial, manifestado através de colaboraçõoes científicas e tecnológicas, e possui uma equipe envolvida na construção de ferramentas que visam facilitar sua utilização. Muitas destas ferramentas precisam de um verificador de tipos para prover mais garantias quanto a consistência das especificações e programas, e, consequentemente, de seus resultados. Neste trabalho, apresentamos uma definição formal para o sistema de tipos de Circus, com o intuito de auxiliar o desenvolvimento de um verificador de tipos para a linguagem. Optamos por primeiramente definir as regras de tipos de Circus para depois implementar o software que automatiza a aplicação dessas regras. Esta decisão de projeto contribuiu para a construção robusta do verificador, pois a implementação consiste em um mapeamento direto das regras de tipos para linhas de código. O verificador desenvolvido também oferece recursos adicionais, tais como, a disponibilidade de informações de tipos para cada fragmento da especificação ou programa passado para análise, e o fornecimento de mensagens claras e objetivas dos possíveis erros de tipos detectados ao longo da verificação. Adicionalmente, projetamos o verificador como um componente de fácil integração, manutenção e extensão. Também apresentamos neste trabalho a nossa estratégia de validação do verificador. Elaboramos testes de pequeno e grande porte, a partir de estudos de casos de sistemas reais, tal como o sistema de SmartCard que descrevemos neste trabalho. Adicionalmente, integramos o verificador com outra ferramenta: o JCircus, que é um tradutor de Circus para Java. Também implementamos uma versão inicial de uma ferramenta de refinamentos, chamada CircusRefine, para integrar o verificador de tipos. Apesar de não termos construído uma versão completa de CircusRefine, nos preocupamos em definir a arquitetura da ferramenta de tal forma que sejam possíveis futuras evoluções de forma simples e estruturada. Os testes e integrações contribuíram para a correção de defeitos da implementação e para a evolução e verificação de consistência do verificador de tipos de Circus. Ao definir o sistema de tipos de Circus, e disponibilizar um verificador de tipos, acreditamos que estamos dando uma importante contribuição na evolução de Circus, esclarecendo pontos essenciais de sua definição como uma linguagem fortemente tipada e compatível com Z e CSP, e estamos também contribuindo para o desenvolvimento de outras ferramentas da linguagem.Esperamos que o nosso trabalho possa servir de base para a definição e implementação dos sistemas de tipos das extensões de Circus

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:41:22Z (GMT). No. of bitstreams: 1 Pinto_GuilhermeAlbuquerque_D.pdf: 4219537 bytes, checksum: acd92f5d71678809ad0e63efea423560 (MD5) Previous issue date: 2003 / Doutorado

Tese (livre-docencia) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T18:51:34Z (GMT). No. of bitstreams: 1 Sette_AntonioMarioAntunes_LD.pdf: 1761459 bytes, checksum: 62b3e9a87a15d8cd1cf6b2ba968fc4ac (MD5) Previous issue date: 1983 / Resumo: Não informado. / Abstract: Not informed. / Tese (livre-docencia) - Univer / Livre-Docente em Matematica

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T14:51:24Z (GMT). No. of bitstreams: 1 206927.pdf: 1257800 bytes, checksum: 238446807652ab06b7b697c57995ce56 (MD5) / A Robótica Baseada em Comportamentos (RBC) se baseia na emergência de comportamentos robóticos de modo a garantir inteligência e autonomia nas ações que um agente deve descrever para alcançar seus objetivos. Desta forma, surge a necessidade de se achar uma maneira formal de representar estes comportamentos robóticos, mantendo características como complexidade, concisão e compactação na representação. Neste trabalho se afirma que as linguagens contidas na hierarquia de Chomsky são capazes de representar esta variada gama de comportamentos robóticos.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T00:20:42Z (GMT). No. of bitstreams: 1 Gracio_MariaClaudiaCabrini_D.pdf: 5288226 bytes, checksum: 9167acf60882f6defde6670ad61fb1e8 (MD5) Previous issue date: 1999 / Resumo: Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio de quantificadores generalizados, chamados quantificadores modulados. Tais quantificadores representam várias formas de raciocínio indutivo. Alguns resultados gerais em teoria de modelos para esta família são também obtidos. Particularmente, propõem-se três sistemas lógicos monotônicos, os quais formalizam conjuntos indutivos de crenças em bases de conhecimento, gerados por argumentos indutivos das formas "a maioria", "muitos" e "para uma 'boa' parte". A noção de "maioria" é capturada por meio de um -quantificador modulado, semanticamente interpretado pelos números cardinais dos conjuntos de evidências. É mostrado que este sistema, embora seja correto, não é completo com relação ao modelo definido. A fim de capturar a noção de "muitos" e "para uma 'boa' parte" novos quantificadores modulados são introduzidos, semanticamente interpretados, respectivamente, pelas noções de família fechada superiormente e topologia reduzida. Demonstra-se que ambos os sistemas são extensões conservativas da lógica clássica que preservam importantes propriedades, como correção e completude. O trabalho também discute outras perspectivas e inclui alguns problemas em aberto e questões / Abstract: This work introduces a large family of monotonic extensions of first order logic denominated modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. Such quantifiers represent various forms of inductive reasoning. Some general results in model theory for this family are also obtained. Particularly, it proposes three monotonic logical systems, which formalize inductive sets of beliefs in knowledge bases generated by inductive arguments of the form "most", "many" and "for a 'good' number of. The notion af "most" is captured by means of a modulated quantifier semantically interpreted by cardinal numbers in sets of evidences. It is proven that this system, although sound, is not complete if checked against the intended model. In order to capture the notion of "many" and "for a 'good' number of new modulated quantifiers are introduced, semantically interpreted, respectively, by the notions of upperly closed family and reduced topology. It proves that both systems are conservative extensions of classical logic preserving important properties, like soundness and completeness. The work also discusses further perspectives and includes several open problems and questions / 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