[pt] Esta dissertação examina as classificações atribuídas ao pronome lhe, com base na gramática de valências. Segundo a tradição gramatical a nomeação do pronome é uma etapa suficiente como proposta de ensino. Neste trabalho, refuta- se esta conduta, à medida que se defende que - com relação à aprendizagem - importa para o aluno compreender, sobretudo, o funcionamento do pronome lhe na estrutura frásica. Do mesmo modo, é necessário depreender que este pronome pode desempenhar funções sintáticas distintas, as quais são justificadas através do comportamento do lhe e não por uma determinação meramente classificatória. O corpus selecionado privilegiou exemplos reunidos em livros didáticos, em gramáticas pedagógicas, no corpus do CETEMPúblico e do CETEMFolhaNILC/São Carlos. O resultado da análise revela que o pronome lhe é um genuíno complemento e que não basta classificar o elemento em questão, mas entender seu papel básico desempenhado em qualquer contexto. / [en] This dissertation examines the classifications which are attributed to the pronoun lhe with the base on the basis Valence Grammar. According to the grammatical tradition the nomination for a pronoun is an adequate step as a teaching proposal However, this dissertation refutes this procedure by defending that, as far as learning concerned, what matters to the student is above all understand the function of the pronoun lhe in the phrase structure. At the same time, it is necessary to consider that this pronoun may have distinct syntactical functions, which are justified by structural collocation and not only by one merely classifying determination. The selected corpus favoured examples from didactic books, Pedagogical grammars, in the corpus of Public CETEM and of NIL/São Carlos. The result of the data analysis reveals that the pronoun lhe is a genuine complement and it is not sufficient to classify the aforementioned particle on debate, but to understand its role in the context it which it occurs.

Articulação Semântico-Cognitiva por Meio de Papéis Semânticos realiza a comparação de enunciados retirados do meio jornalístico nas línguas portuguesa e inglesa, analisados com base nas teorias propostas pela gramática de casos e semântica cognitiva. A partir das idéias de background e foreground propostas por Fillmore, é possível a interpretação de tais enunciados como eventos. Pretende-se, aqui, categorizar os predicadores, verificar seus possíveis efeitos de sentido dentro do contexto em estudo, determinar as relações temáticas que envolvem os núcleos preposicionais, analisar e dimensionar os dados qualitativamente. A análise procedeu-se tendo como corpus editorial da revista National Geographic, nas versões em língua portuguesa e inglesa, donde se concluiu que o ambiente enunciativo tanto na fala quanto na escrita sofre alterações, mas, apesar de flutuações sintáticas (como indicações de tempo e gênero), o campo semântico mantém-se inalterado, ou seja, estável e produtivo. / Cognitive -Semantic Articulation by Semantic roles compares sentences from publications in Portuguese and English Languages, analyzing them through the theories proposed by The Case Grammar and Cognitive Semantics. The concepts of background and foreground presented by Fillmore allow an interpretation of such sentences as events. The intention is to categorize the verbs, verify their possible effects within the analyzed context, determine the thematic relations involved in the prepositional nucleons and qualitatively analyze the data. The analyses had the Portuguese and English versions of a National Geographic editorial as a corpus, from which we concluded that although the discourse environment can differ, the semantic field remains unaltered.

[pt] Este trabalho propõe uma classificação semântica dos compostos nominais técnicos em língua inglesa e a análise sintática e semântica das traduções para o português. Para tanto, faz-se um panorama da literatura sobre as relações semânticas dos compostos nominais em língua inglesa. A tipologia aqui proposta é, portanto, baseada em estudos clássicos sobre a semântica dos compostos nominais (Levi, 1978; Warren, 1978) e em pesquisas mais recentes — inseridas no escopo da Linguística Computacional e ou influenciadas pela Teoria do Léxico Gerativo, de Pustejovsky (1995) —, e adaptada para a natureza dos compostos nominais selecionados. A presente dissertação também analisa as traduções dos compostos nominais técnicos para o português, bem como a função das preposições nas estruturas com sintagmas preposicionados. O corpus foi retirado de um livro técnico da área de engenharia elétrica/eletrônica traduzido pela autora. Além da classificação semântica dos compostos nominais técnicos, propõe-se a criação de ontologias que contemplem os compostos com os mesmos núcleos ou modificadores, de modo a observar se núcleos ou modificadores iguais implicam a mesma categorização, e se é respeitada a relação de hiperonímia e hiponímia entre os compostos nominais inseridos na mesma ontologia. / [en] The major purpose of this thesis is to suggest a semantic categorization of English technical noun compounds, as well as to analyze the semantics and syntax of the Portuguese renderings. First, the literature on semantic relations in English compound nouns is reviewed. The classification here suggested is therefore based on classic studies on the semantics of compound nouns (Levi, 1978; Warren, 1978) and on more recent research within the scope of Computational Linguistics, which are influenced by the Generative Lexicon Theory (Pustejovsky, 1995). The semantic categorization is also adapted to the data collected in this work. This thesis also analyzes the Portuguese translation of the English compound nouns, as well as the role of the prepositions in prepositional phrases. The data was taken from an electrical/electronics engineering book which was translated by the author. In addition to the semantic classification, the technical compound nouns are grouped together according to the head or modifiers of the structure, and assembled into ontologies. Compound nouns sharing a common head or modifier are grouped together, so as to investigate if there is a hypernym-hyponym relation among the compounds assembled in the same ontology.

[pt] Muitas aplicações são tornadas programáveis para usuários finais avançados adicionando recursos como scripting e macros. Outras aplicações dão a uma linguagem de programação um papel central na sua interface com o usuário. Esse é o caso, por exemplo, da linguagem de fórmulas de planilhas de cálculo. Enquanto a área de scripting se beneficiou dos avanços das pesquisas em linguagens de programação, produzindo linguagens maduras e reusáveis, o estado das linguagens em nível de interface não teve o mesmo grau de desenvolvimento. Argumentamos que um melhor entendimento desta classe de linguagens se faz necessário. Neste trabalho, modelamos semânticas de linguagens de usuário final existentes, em três diferentes domínios: multimídia, planilhas e engenharia. Nosso foco é em linguagens de dataflow, um paradigma representativo em aplicações programáveis por usuários finais. Com base nessa análise, temos como objetivo prover um melhor entendimento do design de linguagens de dataflow no contexto de programação de usuários finais e propor linhas-guia para o projeto de linguagens de nível de interface baseadas neste paradigma para aplicações programáveis. / [en] Many applications are made programmable for advanced end-users by adding facilities such as scripting and macros. Other applications take a programming language to the center stage of its UI. That is the case, for example, of the spreadsheet formula language. While scripting has benefited from the advances of programming language research, producing mature and reusable languages, the state of UI-level languages lags behind. We claim that a better understanding of such languages is necessary. In this work, we model the semantics of existing end-user programming languages in three different domains: multimedia, spreadsheets and engineering. Our focus is on dataflow languages, a representative paradigm for end-user programmable applications. Based on this analysis, we aim to provide a better understanding of dataflow semantics as used in the context of end-user programming and propose guidelines for the design of UI-level languages for end-user programmable applications.

[pt] O volume de dados RDF publicados na Web aumentou consideravelmente, o que ressaltou a importância de seguir os princípios de dados interligados para promover a interoperabilidade. Um dos princípios afirma que todo novo conjunto de dados deve ser interligado com outros conjuntos de dados publicados na Web. Esta tese contribui para abordar este princípio de duas maneiras. Em primeiro lugar, utiliza algoritmos de detecção de comunidades e técnicas de criação de perfis para a criação e análise automática de um diagrama da nuvem da LOD (Linked Open Data), o qual facilita a localização de conjuntos de dados na nuvem da LOD. Em segundo lugar, descreve três abordagens, apoiadas por ferramentas totalmente implementadas, para recomendar conjuntos de dados a serem interligados com um novo conjunto de dados, um problema conhecido como problema de recomendação de interligação de conjunto de dados. A primeira abordagem utiliza medidas de previsão de links para produzir recomendações de interconexão. A segunda abordagem emprega algoritmos de aprendizagem supervisionado, juntamente com medidas de previsão de links. A terceira abordagem usa algoritmos de agrupamento e técnicas de criação de perfil para produzir recomendações de interconexão. Essas abordagens são implementadas, respectivamente, pelas ferramentas TRT, TRTML e DRX. Por fim, a tese avalia extensivamente essas ferramentas, usando conjuntos de dados do mundo real. Os resultados mostram que estas ferramentas facilitam o processo de criação de links entre diferentes conjuntos de dados. / [en] The volume of RDF data published on the Web increased considerably, which stressed the importance of following the Linked Data principles to foster interoperability. One of the principles requires that a new dataset should be interlinked with other datasets published on the Web. This thesis contributes to addressing this principle in two ways. First, it uses community detection algorithms and profiling techniques for the automatic creation and analysis of a Linked Open Data (LOD) diagram, which facilitates locating datasets in the LOD cloud. Second, it describes three approaches, backed up by fully implemented tools, to recommend datasets to be interlinked with a new dataset, a problem known as the dataset interlinking recommendation problem. The first approach uses link prediction measures to provide a list of datasets recommendations for interlinking. The second approach employs supervised learning algorithms, jointly with link prediction measures. The third approach uses clustering algorithms and profiling techniques to produce dataset interlinking recommendations. These approaches are backed up, respectively, by the TRT, TRTML and DRX tools. Finally, the thesis extensively evaluates these tools, using real-world datasets, reporting results that show that they facilitate the process of creating links between disparate datasets.

FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T12:35:52Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T12:43:24Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-07-15T12:43:24Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP). / Em Complexidade Descritiva investigamos o uso de l ogicas para caracterizar classes problemas pelo vi es da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela l ogica existencial de segunda-ordem, considerado o primeiro resultado da area, outras rela c~oes entre l ogicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem l ogica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espa co. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP).

CAVALCANTE, Alexandre Silva. Sistemas esquemáticos de dedução natural: um estudo prova-teórico. 2010. 201 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:23:49Z No. of bitstreams: 1 2010_tese_ascavalcante.pdf: 842091 bytes, checksum: 559c5a97b93d42e7b0bb2d0c9b1d1520 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:32:56Z (GMT) No. of bitstreams: 1 2010_tese_ascavalcante.pdf: 842091 bytes, checksum: 559c5a97b93d42e7b0bb2d0c9b1d1520 (MD5) / Made available in DSpace on 2016-07-25T11:32:56Z (GMT). No. of bitstreams: 1 2010_tese_ascavalcante.pdf: 842091 bytes, checksum: 559c5a97b93d42e7b0bb2d0c9b1d1520 (MD5) Previous issue date: 2010 / The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics of the formal proofs are investigated by means of deductive systems as Natural Deduction and Sequent Calculus. Prawitz through Theory Proof set a Theory of Meaning for constants logics and proposed schematic introduction rules and elimination to characterize the propositional connectives. Schroeder-Heister settings Prawitz extended and formalized the use of rules as hypotheses, making possible the use of separate calculations for assumptions of calculations for logical constants. We are not interested in the investigation of schematic rules to give meaning to the logical constants. We intend to actually set schematic standardization procedures, based on such schematic rules? Attic, in order to identify sufficient conditions for a system to be normalizável. These results are relevant to the Abstract Theory of Evidence, a term used to identify the study of the conditions abstract and general to the proof-theoretical analysis of formal systems. Abstract Theory of Evidence do not study specific logical calculations, but families of calculations instances of rules schematic. Our proposal is therefore based on rules schematic rules can be instantiated for concrete, in particular, by introducing rules modal operators. We prove also theorems Normalizaçãoo Weak and Strong systems defined in schematic funçãoo schematic of our rules, we obtain sufficient conditions for a system instance is normalizável these rules, we define a procedure that normalizes deductions concrete evidence and compare our standards with evidence schematic standards for systems defined in the literature. / O termo Teoria da Prova foi introduzido por Hilbert para identificar o estudo sobre provas formais. Pesquisas nessa área podem ser classificadas em: a) Teoria da Prova Redutiva ou Interpretacional, cujo objetivo é demonstrar, entre outras coisas, a consistência da matemática utilizando somente métodos finitistas, e b) Teoria da Prova Estrutural, onde características estruturais das provas formais são investigadas por meio de sistemas dedutivos como Dedução Natural e Cálculo de Sequentes. Prawitz, por meio da Teoria da Prova, definiu uma Teoria dos Significados para constantes logicas e propôs regras esquemáticas de introdução e de eliminação para caracterizar os conectivos proposicionais. Schroeder-Heister estendeu as definições de Prawitz e formalizou o uso de regras como hipóteses, tornando possível a utilização de cálculos para suposições separados de cálculos para constantes lógicas. Não estamos interessados na investigação de regras esquemáticas para dar significado a constantes lógicas. Pretendemos, na verdade, definir procedimentos de normalização esquemáticos, baseados em tais regras esquemáticas, com objetivo de identificar condições suficientes para um sistema ser normalizável. Tais resultados são pertinentes à Teoria Abstrata da Prova, termo usado para identificar o estudo das condições abstratas e gerais para a análise prova-teórica de sistemas formais. Teoria Abstrata da Prova não estuda cálculos lógicos específicos, mas famílias de cálculos instâncias de regras esquemáticas. A nossa proposta, portanto, baseia-se em regras esquemáticas que podem ser instanciadas por regras concretas, em particular, por regras que introduzem operadores modais. Provamos, também, Teoremas de Normalização Fraca e Forte para sistemas esquemáticos definidos em função de nossas regras esquemáticas, obtemos condições suficientes para que um sistema instância destas regras seja normalizável, definimos um procedimento que normaliza deduções concretas e comparamos nossas provas de normalização esquemática com provas de normalização para sistemas definidos na literatura.

Made available in DSpace on 2015-04-09T12:28:22Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-07-14Bitstream added on 2015-04-09T12:48:18Z : No. of bitstreams: 1 000813834_20160330.pdf: 70060 bytes, checksum: 78710c39e3c4f6758756dfe1e415f207 (MD5) Bitstreams deleted on 2016-04-01T11:49:37Z: 000813834_20160330.pdf,. Added 1 bitstream(s) on 2016-04-01T11:50:32Z : No. of bitstreams: 1 000813834.pdf: 1068922 bytes, checksum: 82fd9d968aaebda3d180ed762646f11e (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / O propósito desta pesquisa é estudar as expressões idiomáticas (EIs) que foram criadas a partir de unidades lexicais que, de algum modo, aludem ao corpo e que tem relação com o campo semântico das emoções, de forma a contrastar o italiano com o português (na variante brasileira). Entende-se que os processos metafóricos e metonímicos estão subjacentes à conceptualização das emoções, os quais revelam modelos culturais. Nesse contexto, objetiva-se investigar de que forma os conceitos emocionais são representados no italiano em contraste com o português do Brasil (PB), por meio de metáforas e metonímias subjacentes às EIs que lhes deram origem, tentando identificar igualdades, semelhanças e diferenças. Para tanto, partiu-se da hipótese de que as emoções não estariam só associadas ao campo lexical coração, tal como convencionalmente foi estabelecido nas culturas ocidentais, mas que poderiam abranger outras unidades lexicais, as quais relativas ao corpo humano. O objetivo é perseguido à luz dos pressupostos teóricos da Lexicologia, da Lexicografia, da Fraseologia e principalmente da Semântica Cognitiva, dada a abordagem cognitiva que esta pesquisa tem. Assim, as principais referências teóricas e metodológicas que conduziram o presente trabalho foram Dirven (2003), Enfield e Wierzbicka (2002), Kövecses (2000, 2005, 2010), Lakoff (1987) e Lakoff e Johnson (2002). Para a constituição do corpus, os dados analisados foram levantados em dicionários monolíngues de língua geral do italiano e em dicionários gerais do PB, bem como se servindo da web como base textual. Para facilitar a comparação das expressões idiomáticas entre as duas línguas, organizou-se o corpus construído – um repertório de EIs corporais – segundo uma perspectiva onomasiológica. A partir disso, analisaram-se os esquemas de imagens, com ênfase em modelos metafóricos e metonímicos, subjacentes às EIs e, consequentemente, aos ... / This research aims to study idiomatic expressions (IEs) which were created from some lexical units that, in some way, allude to the body and are linked to the semantic field of emotions, by contrasting Italian with Brazilian Portuguese. Metaphor and metonymy processes are implied in the conceptualization of emotion, which reveal cultural patterns. In such context, we aim to investigate in which way the emotional concepts are represented in Italian in contrast to Brazilian Portuguese, through metaphors and metonymies implied in the IEs that originated them, trying to identify equalities, similarities and differences. Thus, we hypothesize that emotions would not be only associated to the lexical field of heart as it was conventionally established in occidental cultures, but that they could also comprehend other lexical units, which on the human body. The objective of this study was pursued based on theoretical conjectures of Lexicology, Lexicography, Phraseology and mainly Cognitive Semantics, due to the cognitive approach used in this research. The main theoretical references and methodology that led this research were Dirven (2003), Enfield and Wierzbicka (2002), Kövecses (2000, 2005, 2010), Lakoff (1987) and Lakoff and Johnson (2002). To structure the corpus, the data analyzed was verified using monolingual dictionaries in Italian and general dictionaries of Brazilian Portuguese. In addition, the web was used as textual basis. In order to easily compare the idiomatic expressions between the languages, they were organized in a corpus – a repertory of body IEs – according to onomasiologic view. Furthermore, image schemas were studied, emphasizing metaphoric and metonymic models implied in IEs, and consequently, to emotional concepts

Articulação Semântico-Cognitiva por Meio de Papéis Semânticos realiza a comparação de enunciados retirados do meio jornalístico nas línguas portuguesa e inglesa, analisados com base nas teorias propostas pela gramática de casos e semântica cognitiva. A partir das idéias de background e foreground propostas por Fillmore, é possível a interpretação de tais enunciados como eventos. Pretende-se, aqui, categorizar os predicadores, verificar seus possíveis efeitos de sentido dentro do contexto em estudo, determinar as relações temáticas que envolvem os núcleos preposicionais, analisar e dimensionar os dados qualitativamente. A análise procedeu-se tendo como corpus editorial da revista National Geographic, nas versões em língua portuguesa e inglesa, donde se concluiu que o ambiente enunciativo tanto na fala quanto na escrita sofre alterações, mas, apesar de flutuações sintáticas (como indicações de tempo e gênero), o campo semântico mantém-se inalterado, ou seja, estável e produtivo. / Cognitive -Semantic Articulation by Semantic roles compares sentences from publications in Portuguese and English Languages, analyzing them through the theories proposed by The Case Grammar and Cognitive Semantics. The concepts of background and foreground presented by Fillmore allow an interpretation of such sentences as events. The intention is to categorize the verbs, verify their possible effects within the analyzed context, determine the thematic relations involved in the prepositional nucleons and qualitatively analyze the data. The analyses had the Portuguese and English versions of a National Geographic editorial as a corpus, from which we concluded that although the discourse environment can differ, the semantic field remains unaltered.

Articulação Semântico-Cognitiva por Meio de Papéis Semânticos realiza a comparação de enunciados retirados do meio jornalístico nas línguas portuguesa e inglesa, analisados com base nas teorias propostas pela gramática de casos e semântica cognitiva. A partir das idéias de background e foreground propostas por Fillmore, é possível a interpretação de tais enunciados como eventos. Pretende-se, aqui, categorizar os predicadores, verificar seus possíveis efeitos de sentido dentro do contexto em estudo, determinar as relações temáticas que envolvem os núcleos preposicionais, analisar e dimensionar os dados qualitativamente. A análise procedeu-se tendo como corpus editorial da revista National Geographic, nas versões em língua portuguesa e inglesa, donde se concluiu que o ambiente enunciativo tanto na fala quanto na escrita sofre alterações, mas, apesar de flutuações sintáticas (como indicações de tempo e gênero), o campo semântico mantém-se inalterado, ou seja, estável e produtivo. / Cognitive -Semantic Articulation by Semantic roles compares sentences from publications in Portuguese and English Languages, analyzing them through the theories proposed by The Case Grammar and Cognitive Semantics. The concepts of background and foreground presented by Fillmore allow an interpretation of such sentences as events. The intention is to categorize the verbs, verify their possible effects within the analyzed context, determine the thematic relations involved in the prepositional nucleons and qualitatively analyze the data. The analyses had the Portuguese and English versions of a National Geographic editorial as a corpus, from which we concluded that although the discourse environment can differ, the semantic field remains unaltered.