To see the other types of publications on this topic, follow the link: Semânti.

Dissertations / Theses on the topic 'Semânti'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Semânti.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

CERQUEIRA, L. D. "Uma Abordagem Baseada em Ontologias para Integração Semântica de Sistemas na Camada de Processos." Universidade Federal do Espírito Santo, 2016. http://repositorio.ufes.br/handle/10/9831.

Full text
Abstract:
Made available in DSpace on 2018-08-02T00:03:46Z (GMT). No. of bitstreams: 1 tese_10346_uma_abordagem_baseada_em_ontologias_para_integracao_semantica_de_sistemas_na_camada_de_processos_2016 - laylla.pdf: 3687315 bytes, checksum: 6c6a7fcacf29125b0abf142e5e563fd0 (MD5) Previous issue date: 2016-09-28<br>Processos de negócio definem como as organizações executam suas atividades para entregar resultados de acordo com objetivos estabelecidos. A realização dessas atividades normalmente envolve o apoio de diferentes aplicações dentro de uma organização ou entre organizações. Comumente, essas aplicações são desenvolvidas em diferentes momentos, por equipes diferentes e sem que haja preocupação com integração. Como resultado, as organizações têm que lidar com problemas de integração para permitir a devida comunicação entre aplicações nas camadas de dados, serviços e processos. Nesse contexto, conflitos semânticos devem ser resolvidos para que a integração de aplicações aconteça adequadamente. Para que os processos envolvidos na integração sejam devidamente apoiados, é importante que sejam tratados aspectos semânticos envolvendo a camada de processos. Entre as ferramentas utilizadas para atribuição de semântica, ontologias podem ser usadas como uma interlíngua para mapear conceitos, funcionalidades e processos usados por diferentes aplicações e organizações. Considerando-se que a integração semântica é uma atividade complexa, o uso de uma abordagem para guiar a integração de aplicações pode estruturar o processo de integração em diferentes níveis de abstração e prover orientações sobre como realizar as várias atividades de integração. Nesse sentido, em (CALHAU, 2011)* foi definida a Ontology-based Approach for Semantic Integration (OBA-SI), uma abordagem que utiliza ontologias para realizar a integração semântica de aplicações. Neste trabalho é proposta uma evolução de OBA-SI focando-se na integração na camada de processos. Para tal, foi desenvolvida a Ontologia de Processos de Negócio, que apoia a integração fornecendo os conceitos principais que devem ser observados para comunicação entre diferentes processos. Além disso, etapas de OBA-SI foram refinadas e as relações entre as diversas camadas de integração foram explicitadas. Como resultado, modelos conceituais dos processos e das aplicações a serem integradas são analisados à luz da Ontologia de Processo de Negócio e de ontologias de domínio e tarefa, as quais são usadas para atribuir semântica aos itens compartilhados. Para avaliar a evolução de OBA-SI proposta neste trabalho, ela foi utilizada para integrar aplicações visando apoiar de forma integrada os processos Gerência de Problemas e Gerência de Configuração de Software.
APA, Harvard, Vancouver, ISO, and other styles
2

Oliveira, Ana Flávia Souto de. "A multiplicidade semântica em learners' dictionaries : por uma abordagem semântico-cognitiva para a organização das acepções." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2015. http://hdl.handle.net/10183/130772.

Full text
Abstract:
A multiplicidade semântica, isto é, o fato de uma forma linguística apresentar mais de um significado ou nuance contextual, é um fenômeno que, apesar de não trazer grandes problemas à comunicação cotidiana, impõe diversas questões às teorias semântico-lexicais e a suas aplicações linguísticas. Neste trabalho, buscamos compreender o tratamento dispensado à multiplicidade semântica por learners’ dictionaries do inglês (dicionários monolíngues para aprendizes avançados de inglês como língua estrangeira) à luz do quadro teórico da Semântica Cognitiva Lexical. Em um primeiro momento, sistematizamos as implicações trazidas pela multiplicidade semântica para os learners’ dictionaries, principalmente no que diz respeito aos procedimentos de lumping e splitting, ao tipo de solução adotada para a divisão de verbetes para as formas lexicais (homonímica ou polissêmica) e aos critérios de organização das acepções nos verbetes. Com relação a esses aspectos, demonstramos que não há uma base teórica sólida que permita definir quantos e quais significados um item lexical apresenta, que não há consenso quanto ao tratamento das soluções nesse tipo de dicionário e que a frequência – critério utilizado pelas obras para organizar as acepções – não é tão objetivo quanto se esperaria, nem tem respaldo empírico para a utilização nesse tipo de dicionário. Assim, defendemos que, por conta do caráter interpretativo da descrição semântico lexical, evidenciada pela flexibilidade no tratamento dispensado pelas obras às questões da multiplicidade semântica, seja buscada uma abordagem distinta a essas questões. Com esse intuito, em um segundo momento, introduzimos a concepção semântico-cognitiva de estrutura semasiológica, que, ancorada em postulados da Teoria Prototípica, destaca a sobreposição e a saliência semântica como características estruturais do léxico, postulados que contemplam a flexibilidade e a instabilidade do significado lexical. Na busca por subsídios metodológicos que fundamentem uma proposta alternativa aos problemas lexicográficos, apresentamos alguns dos modelos de descrição da estrutura semântica dos itens lexicais propostos pelo paradigma cognitivo: o Modelo Radial, o Modelo Esquemático e o Modelo de Grupos em Sobreposição. Avaliamos a estrutura semasiológica do item lexical case e propomos formas alternativas para sua representação nos learners’ dictionaries que condizem tanto com os postulados semântico-cognitivos, quanto com o que se sabe sobre o tipo de dicionário em questão e as necessidades de seus usuários. Com relação às soluções homonímica e polissêmica, sugerimos quatro configurações possíveis que permitem representar a estrutura coesa da polissemia, mas cuja validação depende ainda de testes de uso. Quanto à organização das acepções, consideramos que, mesmo através do uso de uma estrutura hierárquica, é possível representar os fenômenos de sobreposição e saliência semântica que julgamos relevantes para os usuários dessas obras, por exemplo, através do uso dos próprios recursos possibilitados pela hierarquia e da redação de definições que destaquem atributos compartilhados por dois ou mais significados que não podem ser relacionados na estrutura linear do verbete. Assim, uma abordagem semântico-cognitiva parece ser útil para nortear práticas lexicográficas relativas à estruturação das informações sobre a multiplicidade semântica nos learners’ dicitionaries.<br>Semantic multiplicity can be defined as a case in which a single linguistic form presents more than one meaning or contextual reading. Even though this phenomenon usually does not pose serious challenges for everyday communication, it certainly brings about important issues to lexical semantic theories and its linguistic applications. The present dissertation aims at evaluating the treatment semantic multiplicity receives in English monolingual advanced learners’ dictionaries from a cognitive-semantic point of view. Therefore, the consequences of semantic multiplicity for the organization of learners’ dictionaries are presented, mainly with regard to the procedures of lumping and splitting, the solutions applied for structuring entries (homonymic or polysemous solutions), and the criteria used in arranging senses. First, it is demonstrated that there are no solid methodological bases on which to decide on how many (nor which) senses a lexical item has. Second, it is shown that there is no agreement on the solution to be applied to this type of dictionary. Third, it is advocated that the criterion used for sense arrangement (frequency) is not as objective as one would expect and it has not yet been proven to bring any advantage for the users of learners’ dictionaries. Because of the interpretative nature of lexical semantic description, which is reflected in the different treatments the dictionaries provide to these matters, a distinct approach is sought. To this end, the cognitive-semantic conception of semasiological structure is introduced. With its origins linked to Prototype Theory tenets, this notion highlights that semantic salience and overlapping are structural characteristics of the lexicon, which reflect the flexibility and instability of lexical meaning. In order to search for methods that could ground an alternative proposal for these lexicographic issues, the cognitive-semantic descriptive models of semantic structure are assessed: the radial model, the schematic model, and the overlapping sets model. The semasiological structure of the lexical item case is described and a new proposal for its organization is provided, in tune with cognitive-semantic tenets and with what is known about this type of dictionary and its users’ needs. Regarding homonymic and polysemous solutions, four different arrangements are suggested, which represent the coherent structure of polysemy. Regarding sense arrangement, it is shown that even through the use of a hierarchical structure, it is possible to represent the semantic overlapping and salience found to be useful for the users of learners’ dictionaries. By exploring the hierarchical resources themselves and by manipulating the wording of definitions, it is feasible to accentuate attributes shared by two or more senses that cannot be related in the linear structure of the dictionary entry. Thus, Cognitive Semantics presents itself as a useful approach to guide lexicographic practices related to the structuring of semantic multiplicity information in learners’ dictionaries.
APA, Harvard, Vancouver, ISO, and other styles
3

Silva, Alexandre Parra Carneiro da. "Mecanismo de matching semântico de recursos computacionais de grids baseado na integração semântica de múltiplas ontologias." Florianópolis, SC, 2006. http://repositorio.ufsc.br/xmlui/handle/123456789/89527.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação<br>Made available in DSpace on 2012-10-22T22:36:58Z (GMT). No. of bitstreams: 1 235240.pdf: 2225953 bytes, checksum: cea7025e44ffc4f17693b5330434d762 (MD5)<br>O paradigma de grid computacional tem como uma das suas principais características o compartilhamento de recursos heterogêneos dispersos geograficamente por diversas organizações virtuais. No entanto, o processo de matching destes recursos torna-se na prática difícil, uma vez que estas organizações podem apresentar visões distintas quanto a forma de descrever seus recursos compartilhados. A utilização do paradigma de ontologias tem sido considerada, visando à descrição formal de distintas visões de recursos de grid. Em outras palavras, esta metodologia tem como objetivo prover uma base à realização de matching semântico. Vários mecanismos de matching semântico propostos focam na completa automatização do processo. Por outro lado, inúmeras pesquisas indicam que a completa automação no processo de integração semântica de múltiplas ontologias não consegue capturar ou expressar formalmente todas as relações semânticas possíveis entre as ontologias, sendo necessário à interação humana. Em adição, as consultas realizadas sobre ontologias requerem que o usuário conheça as diferentes sintaxes das linguagens de consulta disponíveis e sobretudo saiba traduzir a estrutura do conhecimento modelado nas ontologias em um formalismo lógico para poder elaborar as consultas. Desta forma, diminui-se o número de usuários aptos a formular consultas efetivas e significativas. Com o objetivo de superar estas dificuldades, essa dissertação propõe um mecanismo de matching semântico de recursos de grid baseado na integração semântica de múltiplas ontologias. A integração é alcançada através do desenvolvimento de uma ontologia que tem o papel de servir de referência aos desenvolvedores das ontologias de recursos das diversas organizações virtuais. Desta forma, os desenvolvedores podem estabelecer relações de equivalência com a ontologia de referência antes de publicar as informações dos seus recursos. Uma outra contribuição deste trabalho é diminuir o grau de dificuldade na interação de usuários comuns com o sistema de matching proposto. Esta característica é alcançada criando uma ontologia de pedidos como uma linguagem de consulta de alto nível e um matchmaker baseado nesta linguagem. Esta ontologia foi construída baseada nos termos presentes na ontologia de referência, permitindo que o matching semântico seja realizado sobre todas as ontologias conhecidas pelo sistema. Os experimentos dos estudos de caso realizados indicam que a proposta alcançou com sucesso seus principais objetivos.
APA, Harvard, Vancouver, ISO, and other styles
4

Lira, Márcio Angelo Bezerra de. "Uma Abordagem Para Enriquecimento Semântico de Metadados Para Publicação de Dados Abertos." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/11570.

Full text
Abstract:
Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T19:45:29Z No. of bitstreams: 2 DISSERTAÇÃO Márcio Angelo Bezerra de Lira.pdf: 2325407 bytes, checksum: 0dfe2a2eee4108d58d6bd08c5a45a1e0 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-03-09T19:45:29Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Márcio Angelo Bezerra de Lira.pdf: 2325407 bytes, checksum: 0dfe2a2eee4108d58d6bd08c5a45a1e0 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-09-02<br>A publicação de Dados Abertos vem alcançando cada vez mais adeptos, principalmente no domínio de dados governamentais. Um dos fatores do sucesso da publicação dos dados em formato aberto seria a disponibilização de metadados capazes de descrever os dados de forma satisfatória. Estes metadados oferecem meios para que usuários, desenvolvedores e sistemas automatizados possam compreender e processar os dados. Porém, apesar da sua importância, a ausência de metadados tem sido um problema comum no cenário atual de publicação de dados abertos. Além da ausência de metadados, outro fator crítico diz respeito ao reuso de metadados. Uma vez que os metadados são publicados, é importante que possam ser reutilizados, a fim de facilitar o processo de publicação de dados de maneira geral. Neste contexto, este trabalho propõe uma abordagem para o enriquecimento semântico de metadados para descrição de dados abertos. A abordagem proposta tem como objetivo facilitar tanto a publicação quanto o reuso de metadados. Para isso, são usadas anotações semânticas e vocabulários padrões. Dessa forma, espera-se que os metadados possam ser facilmente compreendidos e processados. Para avaliação da abordagem proposta, foi desenvolvido um protótipo e foram realizados alguns experimentos.
APA, Harvard, Vancouver, ISO, and other styles
5

Falcato, Ana Cristina Serralheiro. "O contextualismo na filosofia da linguagem contemporânea." Doctoral thesis, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa, 2011. http://hdl.handle.net/10362/6644.

Full text
Abstract:
Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia<br>Esta dissertação discute um problema de Filosofia da Linguagem Contemporânea. O seu principal argumento responde à seguinte questão: qual é a importância que um contexto conversacional tem na determinação do significado e das condições de verdade das frases de uma língua natural que podem ser proferidas no seu interior? Como resposta à questão, defende-se aqui uma posição contextualista sobre a interpretação de elocuções de frases-tipo de uma língua natural (como o Português), contra uma posição literalista como o Minimalismo Semântico. No fórum de discussão, uma “posição contextualista” defende a imprescindibilidade do conhecimento do contexto conversacional em que uma frase é ou pode ser proferida para a determinação do seu significado local e respectivas condições de verdade. Com o fito de chegar a uma posição contextualista forte e sustentada, a dissertação está estruturada em quatro partes. O primeiro capítulo situa a origem do debate contextualismo/ anti-contextualismo na destituição da relação lógica de designação pelas Investigações Filosóficas de Wittgenstein. No segundo capítulo apresenta-se um quadro sinóptico de posições teóricas sobre a função do contexto na determinação do significado e condições de verdade de elocuções, entre o Literalismo e o Contextualismo Radical. Do lado literalista estão sobretudo propostas de adaptação da Semântica vero-condicional defendida por Davidson, articuladas com o trabalho de David Kaplan sobre Indexicais e Demonstrativos. Do lado do Contextualismo Radical estão projectos herdeiros da Filosofia do Wittgenstein das Investigações Filosóficas e da chamada “Filosofia da Linguagem Vulgar”, encimada por John Austin. A posição mais forte deste lado do espectro teórico defendida actualmente é o Ocasionalismo de Charles Travis. O terceiro capítulo apresenta e refuta uma das mais fortes posições anti-contextualistas no actual debate: o Minimalismo Semântico. Os principais defensores desta posição são Cappelen e Lepore e Emma Borg. No último capítulo é apresentada uma versão polémica de anti-contextualismo, o «Minimalismo sem Proposições Mínimas». Essa última posição Literalista sob análise constituirá apenas um ponto de viragem para o argumento contextualista aqui defendido. Detectada a “lacuna fundamental” do Minimalismo sem Proposição Mínimas, a dissertação termina com a defesa de um quadro contextualista radical: o Quadro Pragmático.
APA, Harvard, Vancouver, ISO, and other styles
6

Brandolt, Josiane Fontoura dos Anjos. "Uso de relações semântico-estruturais no aprimoramento do cálculo da similaridade semântica: um estudo voltado a estruturas ontológicas em língua portuguesa." Pontifícia Universidade Católica do Rio Grande do Sul, 2009. http://hdl.handle.net/10923/1539.

Full text
Abstract:
Made available in DSpace on 2013-08-07T18:42:46Z (GMT). No. of bitstreams: 1 000416526-Texto+Completo-0.pdf: 2208042 bytes, checksum: 26409ec36e39b51edbbc8ac6e980a237 (MD5) Previous issue date: 2009<br>This work presents a study on alternative techniques to improve SiSe measure (Semantic Similarity), which was proposed by Freitas [FRE07]. This measure refers to the mapping of terms between different ontological structures, using an adaptation of the Taxonomic Model of Maedche and Staab (2002) for the semantic similarity calculus. SiSe makes a similarity comparison between terms of different ontological structures through term hierarchy analysis, their superconcepts and subconcepts. In this context, the resulting coefficient is the semantic-structural similarity between terms from ontological structures. The original SiSe measure showed relatively satisfactory coefficients for the semantic-structural mapping. However, it did not achieve its goals in some testing cases. Some examples are the results considered as false positives and the similarity cases that were not detected by the measure (false negatives). Based on these problems, new structural similarity strategies are proposed to improve the SiSe measure. These strategies are mostly based on related works which deal with structural similarity through: i) the attribution of adequacy factors based in the term position in the ontological structural hierarchy; ii) the arrangement of sets formed by their super-concepts; iii) the arrangement of sets formed by their sub-concepts; and iv) the usage of the corrected Jaccard measure. These strategies are explained and evaluated according to Golden Mapping and state of the art metrics: precision, recall and F-measure. The obtained results reached 100% of accuracy in SiSe false positive cases.<br>O presente trabalho tem como objetivo estudar alternativas para aprimorar a medida SiSe (Similaridade Semântica), que foi proposta por Freitas [FRE07]. Esta medida visa o mapeamento de termos entre estruturas ontológicas distintas, utilizando uma adaptação do Modelo Taxonômico de Maedche e Staab [MAE02b] para o cálculo da similaridade semântica que faz uma comparação da similaridade entre termos de estruturas ontológicas distintas através da análise da hierarquia em que os mesmos se inserem, seus superconceitos e subconceitos. Desta forma, o coeficiente resultante é a similaridade semântico-estrutural entre os termos das estruturas ontológicas. A medida SiSe levou a coeficientes de similaridade considerados relativamente satisfatórios para o mapeamento semântico-estrutural, porém não atingiu seus objetivos em alguns casos para os quais foi testada. Incluem-se aqui os resultados considerados como falsos positivos e os casos de similaridade que a medida não detectou (falsos negativos). Partindo desses problemas, estratégias de similaridade estrutural são propostas para aprimorar, assim, a medida SiSe. As estratégias são baseadas, em sua maioria, em trabalhos da literatura que abordam a similaridade estrutural através de: i) atribuições de fatores de adequação fundamentados na posição dos termos na hierarquia da estrutura ontológica; ii) atribuições de conjuntos formados pelos superconceitos dos termos analisados; iii) atribuições de conjuntos formados pelos subconceitos destes termos e; iv) o uso da medida de Jaccard corrigida. As estratégias são descritas e avaliadas de acordo com um recurso denominado Golden Mapping e métricas mais comumente utilizadas na literatura: precisão, abrangência e medida-F. Os resultados obtidos chegaram a 100% de acurácia no que se refere aos falsos positivos da SiSe.
APA, Harvard, Vancouver, ISO, and other styles
7

Rossa, Letícia Pires. "Indeterminação semântica." Florianópolis, SC, 2001. http://repositorio.ufsc.br/xmlui/handle/123456789/79777.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística.<br>Made available in DSpace on 2012-10-18T07:25:33Z (GMT). No. of bitstreams: 1 226356.pdf: 313408 bytes, checksum: e15ac74db9b6fd43d89770f02417f8ab (MD5)<br>O trabalho consiste na análise teórica dos itens de indeterminação semântica _ ambigüidade, vagueza e polissemia _ na Teoria da Relevância (1986) de Sperber & Wilson. Considerando os seguintes aspectos presentes na Teoria da Relevância: a) Ambigüidade, polissemia e vagueza devem ser resolvidas necessariamente no contexto e b) Os conceitos das palavras são bem-definidos e absolutos na mente do falante, propomos a seguinte formulação: a) Ambigüidade, vagueza e polissemia podem ou não ser resolvidas pelo contexto e b) Os conceitos das palavras não são absolutos tanto na mente quanto no código. As sentenças analisadas nesta dissertação foram retiradas de textos de jornais, sendo, assim, exemplos do uso cotidiano desses fenômenos na linguagem natural. Verificou-se com este estudo que nas ocorrências em que o termo polissêmico tem mais de um significado o contexto nem sempre resolve a polissemia e, em muitos casos, não há razão para que o ouvinte/leitor busque um contexto que especifique somente um sentido para a palavra. Entretanto, para os casos em que a polissemia tem que ser resolvida para a compreensão adequada da sentença e somente um sentido é compatível com a decodificação lingüística desta sentença, este sentido é, então, determinado pelo contexto. Contudo, nos casos de itens vagos, o contexto não resolve sempre a vagueza das palavras; no entanto, há casos em que o contexto aponta de fato uma única precisificação das palavras vagas, o que reforça as hipóteses propostas neste trabalho.
APA, Harvard, Vancouver, ISO, and other styles
8

Ferreira, Rodrigo Costa. "Semântica proposicional categórica." Universidade Federal da Paraí­ba, 2010. http://tede.biblioteca.ufpb.br:8080/handle/tede/5678.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:11:59Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 891353 bytes, checksum: 2d056c7f53fdfb7c20586b64874e848d (MD5) Previous issue date: 2010-12-01<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the fields of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical research, especially in algrebraic homology and algebraic geometry, as shows the works of Daniel M. Kan (1958) and Alexander Grothendieck (1957). Late, questions mathematiclogics about the category theory appears, in particularly, with the publication of the Functorial Semantics of Algebraic Theories (1963) of Francis Willian Lawvere. After, other works are done in the category logic, such as the the current Makkai (1977), Borceux (1994), Goldblatt (2006), and others. As introduction of application of the category theory in logic, this work presents a study on the logic category propositional. The first section of this work, shows to the reader the important concepts to a better understanding of subject: (a) basic components of category theory: categorical constructions, definitions, axiomatic, applications, authors, etc.; (b) certain structures of abstract algebra: monoids, groups, Boolean algebras, etc.; (c) some concepts of mathematical logic: pre-order, partial orderind, equivalence relation, Lindenbaum algebra, etc. The second section, it talk about the properties, structures and relations of category propositional logic. In that section, we interpret the logical connectives of the negation, conjunction, disjunction and implication, as well the Boolean connectives of complement, intersection and union, in the categorical language. Finally, we define a categorical boolean propositional semantics through a Boolean category algebra.<br>Os conceitos básicos do que mais tarde seria chamado de teoria das categorias são introduzidos no artigo General Theory of Natural Equivalences (1945) de Samuel Eilenberg e Saunders Mac Lane. Já em meados da década de 1940, esta teoria é aplicada com sucesso ao campo da topologia. Ao longo das décadas de 1950 e 1960, a teoria das categorias ostenta importantes mudanças ao enfoque tradicional de diversas áreas da matemática, entre as quais, em especial, a álgebra geométrica e a álgebra homológica, como atestam os pioneiros trabalhos de Daniel M. Kan (1958) e Alexander Grothendieck (1957). Mais tarde, questões lógico-matemáticas emergem em meio a essa teoria, em particular, com a publica ção da Functorial Semantics of Algebraic Theories (1963) de Francis Willian Lawvere. Desde então, diversos outros trabalhos vêm sendo realizados em lógica categórica, como os mais recentes Makkai (1977), Borceux (1994), Goldblatt (2006), entre outros. Como inicialização à aplicação da teoria das categorias à lógica, a presente dissertação aduz um estudo introdutório à lógica proposicional categórica. Em linhas gerais, a primeira parte deste trabalho procura familiarizar o leitor com os conceitos básicos à pesquisa do tema: (a) elementos constitutivos da teoria das categorias : axiomática, construções, aplicações, autores, etc.; (b) algumas estruturas da álgebra abstrata: monóides, grupos, álgebra de Boole, etc.; (c) determinados conceitos da lógica matemática: pré-ordem; ordem parcial; equivalência, álgebra de Lindenbaum, etc. A segunda parte, trata da aproximação da teoria das categorias à lógica proposicional, isto é, investiga as propriedades, estruturas e relações próprias à lógica proposicional categórica. Nesta passagem, há uma reinterpreta ção dos conectivos lógicos da negação, conjunção, disjunção e implicação, bem como dos conectivos booleanos de complemento, interseção e união, em termos categóricos. Na seqüência, estas novas concepções permitem enunciar uma álgebra booleana categórica, por meio da qual, ao final, é construída uma semântica proposicional booleana categórica.
APA, Harvard, Vancouver, ISO, and other styles
9

Silva, Adriano Marques da. "Semântica-I: questões fundacionais." Universidade Federal da Paraí­ba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/5658.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:11:55Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2099375 bytes, checksum: cd43c67c82a3165f8062d5c071352f58 (MD5) Previous issue date: 2014-07-15<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The problem being addressed in this thesis can be formulated as follows: what is the relationship between the notion of an internalized linguistic competence, as conceived by the generative program, and a semantic theory? In other words, what is the extend and scope of a semantic theory consistent with the theoretical assumptions and the syntactic model assumed by the generative program? Two approaches are compared: the denotational approach, according to which syntactic derivations are inputs to the truth conditional interpretation and the intensional approach , according to which the syntactic derivations constrain, but do not determine, truth conditions .I argue that the first approach leads us to a dilemma : if the semantic structure is isomorphic to the syntagmatic structure, we multiply the terms of explanation, without explanatory gain. If there is no isomorphism, we have even more serious problems, because we could not explain the explanatory success of certain syntactic principles (such as the asymmetry between external argument and internal argument , for example) . Thus, this proposal does not provide the proper kind of idealization, it s not able to extend the positive heuristic of the generative program. I argue that the second proposal, by contrast, increases the positive heuristic of the program because it is able to explain ( and not simply redescribe) important empirical generalizations discovered by the generative program over the years . I argue that the formulation of an I-semantics requires, necessarily, a revision of traditional and tacitly accepted assumptions regarding the nature of the formal study of natural languages semantics. I-Semantics explains the etiology of the computational principles underlying interface phenomena, not the implementation of these operations, how sentences can be used to make true or false assertions.<br>O problema a ser abordado nesta tese pode ser formulado nos seguintes termos: qual a relação entre a noção de competência linguística internalizada, tal como concebida pelo programa gerativista, e uma teoria semântica? Dito de outro modo, qual o formato e escopo de uma teoria semântica coerente com as assunções teóricas de base e com o modelo sintático assumido pelo programa gerativista? Serão comparadas duas abordagens: a abordagem denotacional, na qual as derivações sintáticas são inputs para a interpretação semântica vero-condicional e a abordagem intensional, segundo a qual as derivações sintáticas restringem, mas não determinam, condições de verdade. Argumento que a primeira abordagem conduz-nos a um dilema: caso a estrutura semântica seja isomórfica à estrutura sintagmática, multiplicamos os termos da explicação, sem ganho explicativo. Caso não haja isomorfismo, ganhamos problemas ainda mais sérios, pois não conseguiríamos explicar o sucesso explicativo de certos princípios sintáticos (como a assimetria entre argumento externo e argumento interno, por exemplo). Assim, essa proposta não fornece o tipo adequado de idealização, não é capaz de ampliar a heurística positiva do programa gerativista. Sustento que a segunda proposta, por contraste, amplia a heurística positiva do programa, pois é capaz de explicar (e não simplesmente redescrever) importantes generalizações empíricas descobertas pelo programa gerativista ao longo dos anos. Defendo a tese de que a formulação de uma semântica-I requer, necessariamente, a revisão de pressupostos tradicional e tacitamente aceitos a respeito da natureza do estudo formal da semântica das línguas naturais. A semântica-I trata da etiologia dos princípios computacionais subjacentes aos fenômenos de interface, e não da implementação dessas operações, do modo como sentenças podem ser usadas para fazer asserções verdadeiras ou falsas.
APA, Harvard, Vancouver, ISO, and other styles
10

Machado, Rodrigo. "Semântica formal para TVQL." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/6037.

Full text
Abstract:
Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.
APA, Harvard, Vancouver, ISO, and other styles
11

Souza, Luisandro Mendes de. "A semântica da comparação." Florianópolis, SC, 2006. http://repositorio.ufsc.br/xmlui/handle/123456789/89335.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística.<br>Made available in DSpace on 2012-10-22T19:34:54Z (GMT). No. of bitstreams: 1 228557.pdf: 1503419 bytes, checksum: e78907458ce96d62421ead3678186381 (MD5)<br>O estudo da semântica da comparação concentra-se, em sua generalidade, em estruturas de quantificação escalar, com predicados adjetivais. Assume-se, mesmo que não explicitamente que os subtipos de construção comparativa são passíveis de mesma análise. Essa crença será questionada nesta dissertação. No primeiro capítulo, são considerados alguns aspectos das sentenças comparativas, critérios nocionais, classificação dos subtipos e apresentada a nomenclatura pertinente. Apresenta-se, no segundo capítulo, dois modelos de análise: Stechow (1984), tendo em conta os principais problemas que envolvem sentenças comparativas, cria um operador de maximização, que, associado ao movimento de todo o sintagma comparativo, explica a comparação adjetival e supostamente se aplica para outras estruturas que não envolvem adjetivos. Marques (2003) analisa especificamente a semântica da comparação no Português Europeu. Propõe critérios de delimitação de tais sentenças e reconceitua o operador de maximização de Stechow, além de propor uma estrutura em que o sintagma comparativo fica in situ. Apresenta-se, no último capítulo, um conjunto de dados ainda pouco analisado na literatura, estruturas comparativas verbais. A discussão mostra que sentenças simples com predicados verbais são indeterminadas. Essa indeterminação deve-se ao fato de que a comparação incide diretamente sobre o verbo ou sobre os objetos ou algum outro elemento implícito quando não há complemento verbal. Além disso, há evidências de que comparativas com adjetivos e com verbos possuem estruturas semânticas distintas, contrariando a proposta de Marques. As principais são: a diferença de comportamento em relação às propriedades de monotonia e se considerado o operador comparativo como determinante, nas estruturas comparativas adjetivais, o operador comparativo de inferioridade não é conservativo.
APA, Harvard, Vancouver, ISO, and other styles
12

Tondello, Gustavo Fortes. "Especificação semântica de QoS." Florianópolis, SC, 2008. http://repositorio.ufsc.br/xmlui/handle/123456789/91511.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação<br>Made available in DSpace on 2012-10-23T23:47:03Z (GMT). No. of bitstreams: 1 259451.pdf: 1464324 bytes, checksum: f73443a4cdf02c0e6aa0420528c89c98 (MD5)<br>Este trabalho apresenta a ontologia QoS-MO que permite a especificação de características e requisitos de QoS para Web Services Semânticos ou Componentes de Software e pode ser facilmente utilizada para estender a OWL-S ou outras ontologias de descrição funcional de Componentes. As especificações de QoS modeladas a partir da ontologia QoS-MO podem ser utilizadas no projeto, desenvolvimento, publicação e descoberta de Web Services ou Componentes de Software. Um mecanismo de busca semântica de Web Services ou Componentes de Software foi especificado, voltado para a descoberta de Componentes que atendam a um conjunto definido de restrições de QoS, utilizando a ontologia QoS-MO e a linguagem de consulta SPARQL. Um protótipo deste mecanismo foi desenvolvido, contando tanto com uma interface de programação como uma interface Web. Os testes realizados demonstraram que o mecanismo proposto é viável e apresenta um desempenho aceitável e que a ontologia definida é capaz de expressar características de QoS complexas. A comparação com mecanismos de descoberta de Web Services de propostas similares demonstrou que a abordagem QoS-MO é mais simples e eficiente, pois não depende de nenhum algoritmo complexo para sua execução, apenas de um mecanismo de inferência simples e da linguagem SPARQL.
APA, Harvard, Vancouver, ISO, and other styles
13

Freire, Crishane Azevedo. "Uma abordagem para roteamento de consultas em PDMS baseada em aspectos semânticos e de qualidade." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/12080.

Full text
Abstract:
Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:28:27Z No. of bitstreams: 2 TESE Crishane Azevedo Freire.pdf: 2913439 bytes, checksum: 6da007914a1bc532cd0681ed751d6e4c (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-03-11T19:28:27Z (GMT). No. of bitstreams: 2 TESE Crishane Azevedo Freire.pdf: 2913439 bytes, checksum: 6da007914a1bc532cd0681ed751d6e4c (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014<br>Os Peer Data Management Systems (PDMS) são sistemas que permitem o gerenciamento de dados estruturados e semiestruturados em ambientes Ponto-a-Ponto (P2P). Nestes sistemas, cada ponto corresponde a uma fonte de dados cujo esquema representa os dados que se deseja compartilhar na rede. Pontos estão conectados por meio de mapeamentos (correspondências semânticas entre os esquemas dos pontos) estabelecendo uma vizinhança semântica entre eles. O processamento de consultas é reconhecido como o principal serviço que um PDMS pode prover. Uma etapa importante deste processo está relacionada ao roteamento da consulta, ou seja, a habilidade do sistema de identificar, selecionar e fazer o encaminhamento da consulta ao melhor conjunto de pontos capazes de respondê-la. A cada encaminhamento a consulta precisa ser reformulada, ou seja, reescrita de acordo com o esquema do ponto destino. Na reformulação, termos (conceitos e/ou propriedades utilizados na formulação da consulta) podem ser perdidos por não possuírem correspondentes exatos no esquema do ponto destino. Neste caso, estratégias de reformulação que usam expansão buscam melhorar a consulta adicionando novos termos com o objetivo de tornar a consulta mais abrangente e evitar a ausência de resultados. Ao longo do roteamento, termos perdidos ou adicionados, a cada reformulação, podem levar à perda semântica da consulta original. Neste trabalho apresentamos a SemRouting, uma abordagem para o roteamento de consultas em PDMS baseada no uso de aspectos semânticos e de qualidade. A abordagem SemRouting compreende uma estratégia para identificação e seleção do melhor conjunto de pontos, um modelo para representação das informações semânticas e de qualidade e uma estratégia para análise e preservação da semântica da consulta original durante o roteamento. Para avaliação da abordagem, experimentos foram realizados e os resultados discutidos e apresentados. A análise dos resultados produzidos nos experimentos mostra que as estratégias adotadas na abordagem SemRouting confirmam as hipóteses levantadas nesta tese em relação à preservação semântica da consulta e à seleção do melhor conjunto de pontos durante o roteamento da consulta. Palavras-chave: Roteamento Semântico de Consulta. Informação Semântica. Qualidade da Informação. Peer Data Management System.
APA, Harvard, Vancouver, ISO, and other styles
14

Silva, Edemberg Rocha da. "Manutenção de clusters semânticos em sistemas de integração de dados em ambientes P2P." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/12088.

Full text
Abstract:
Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:38:37Z No. of bitstreams: 2 TESE Edemberg Rocha Da Silva.pdf: 3549172 bytes, checksum: 265bdba827fa427b0cf01929855ba95a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-03-11T19:38:37Z (GMT). No. of bitstreams: 2 TESE Edemberg Rocha Da Silva.pdf: 3549172 bytes, checksum: 265bdba827fa427b0cf01929855ba95a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014<br>O aumento do número de fontes de dados distribuídas, autônomas e heterogêneas (por exemplo, documentos XML, banco de dados relacionais, páginas HTML, entre outros) na Web tem motivado a necessidade de sistemas de integração, que permitam aos usuários consultar essas fontes de forma transparente. Sistemas de integração de dados baseados em arquiteturas P2P (Peer-to-Peer) têm surgido para melhorar o compartilhamento de dados sobre essas fontes de dados. Por convenção, chamamos essas fontes de pontos. Esses sistemas são os Peer-to-PeerData Management Systems (PDMS). Para reduzir o espaço de busca para consultas, assim como reduzir o tempo de resposta de uma consulta e diminuir o tráfego de mensagens na rede, alguns PDMS agrupam seus pontos em clusters. O agrupamento pode ser realizado considerando a similaridade semântica entre os esquemas dos pontos que compõem o sistema. Para isso, esses PDMS utilizam ontologias para representar os esquemas exportados por cada ponto que deseja compartilhar seus dados. Os pontos têm comportamento dinâmico, ou seja, a qualquer momento eles podem modificar seus esquemas e entrar ou sair do PDMS. Esse dinamismo pode modificar o esquema que representa o cluster e, consequentemente, causar um problema o qual chamamos de desbalanceamento semântico dos clusters. Além disso, como os agrupamentos são baseados em similaridade semântica, pode ocorrer a formação de um cluster com um grande número de pontos, sobrecarregando o ponto responsável por gerenciar esse cluster. No entanto, as soluções para o balanceamento de carga em ambientes P2P podem provocar desbalanceamento semântico nos clusters. Em alguns PDMS, os clusters se conectam entre si, se houver similaridade semântica entre eles. Com as modificações dos esquemas dos clusters, novas conexões entre clusters poderão surgir. Neste sentido, faz-se necessário um processo que permita aos clusters encontrarem essas novas conexões. Chamamos esse processo de religação semântica. Dentro desse escopo, o objetivo deste trabalho é apresentar soluções para uma manutenção automática desses clusters. A manutenção ocorre sem a intervenção humana e realiza o balanceamento de carga, o balanceamento semântico dos clusters e a religação semântica, quando necessário.
APA, Harvard, Vancouver, ISO, and other styles
15

Francisco, Edson de Faria. "Neologismo semântico na massorá tiberiense." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/8/8152/tde-26052008-152156/.

Full text
Abstract:
O trabalho meticuloso de preservação e de transmissão da Bíblia Hebraica elaborado pelos massoretas, no período medieval, recebe o nome de massorá. Tal designação técnica refere-se, especificamente, ao conjunto de anotações escrito nos códices massoréticos medievais de tradição tiberiense. Tais observações são também encontradas nas modernas edições críticas da Bíblia Hebraica e em algumas publicações de Bíblias rabínicas. As observações foram elaboradas e desenvolvidas por três tradições massoréticas distintas: a babilônica, a palestina e a tiberiense. A massorá de tradição tiberiense é aquela que se tornou definitiva e a mais estudada pelo mundo acadêmico. A massorá de tradição tiberiense é composta por itens terminológicos de procedência aramaica e hebraica. Os termos massoréticos foram usados de forma específica para indicar os vários aspectos do texto da Bíblia Hebraica, como questões relacionadas a consoantes, sinais vocálicos, acentos de cantilação, palavras, expressões, grafias, além de detalhes e observações gramaticais. Esse trabalho teve como objetivo principal a preservação e a transmissão completa do corpus das Sagradas Escrituras hebraicas. Devido a tal fato, esta tese é dedicada a dois objetivos principais: 1. Estudar e trazer contribuições sobre a realidade lingüística vivida pelos massoretas e seu trato das línguas hebraica e aramaica dentro da massorá. Esse estudo pretende verificar se a linguagem da massorá poderia constituir um jargão, uma gíria ou uma linguagem de especialidade. Além disso, o trabalho aborda, mesmo que brevemente, questões relacionadas à linguagem elíptica e sintetizada da massorá. 2. Seleção e análise de um conjunto de itens terminológicos massoréticos registrados no Códice de Leningrado: Firkowitch I. B19a (L), classificando-os de acordo com sua natureza semântica, como monossememia e polissememia e tipos de neologia semântica, como extensão, estreitamento, sinédoque etc. Em suma, uma classificação de possíveis situações de neologismos semânticos presentes na massorá tiberiense, como registrada no Códice L.<br>The meticulous work of preservation and transmission of the Hebrew Bible created by the masoretes, in the Medieval period, is called Masorah. This technical designation refers, specifically, to the annotations written in the Medieval Masoretic codices of Tiberian tradition. These notes are also found in the modern critical editions of the Hebrew Bible and in some publications of Rabbinical Bibles. The notes were created and developed by three different Masoretic traditions: Babylonian, Palestinian and Tiberian. The Tiberian Masorah has been the definitive form and the most-studied one in the scholarly world. The Tiberian Masorah has terminological items of Aramaic and Hebrew origins. The Masoretic terms were used in a specific way to show the several aspects of the Hebrew Bible text, such as consonants, vocalic signals, intonation accents, words, expressions, spelling, orthography and also grammatical notes. The main aim of such work was the complete preservation and transmission of the corpus of the Sacred Hebrew Scriptures. On account of this fact, this thesis is dedicated to two main aims: 1. To study and to present contributions about the linguistic reality of the masoretes and their approach to the Hebrew and Aramaic languages inside the Masorah. In addition, this research verifies if the Masorah language would be jargon, slang or speciality language. Besides, this work broaches, briefly, issues about the elliptic and synthetic language of the Masorah. 2. Collection and analysis of a set of Masoretic terminological items registered in the Leningrad Codex: Firkowitch I. B19a (L), classifying them according to their semantic nature, such as monossememic and polissememic and classes of semantic neology such as extension, narrowing, synecdoche and so on. In summary, a linguistic classification of possible situations of semantic neologisms in the Tiberian Masorah that is found in the Codex L.
APA, Harvard, Vancouver, ISO, and other styles
16

D'Ávila, Andressa. "Sobre a semântica do "mesmo'." reponame:Repositório Institucional da UFPR, 2014. http://hdl.handle.net/1884/36910.

Full text
Abstract:
Orientador : Prof. Dr.Luiz Arthur Pagani<br>Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Humanas, Programa de Pós-Graduação em Letras. Defesa: Curitiba,04/09/2014<br>Inclui referências<br>Área de concentração: Estudos linguísticos<br>Resumo: O objetivo desse trabalho é apresentar uma descrição alternativa à semântica do "mesmo" em portuguÊs brasileiro (PB) - especialmente, aquele com escopo sobre sintagmas nominais -, levantando questões que possam esclarecer alguns aspectos que não foram suficientemente explorados pela literatura em português, ou que estiveram no centro das discussões. Nosso propósito é complementar as propostas que serão apresentadas. Podemos perceber que esse item lexical, é capaz de contribuir para a significação das sentenças de maneiras diferentes, isto é, o "mesmo" parece indicar coisas distintas a depender da posição na sentença, da entonação, entre outros fatores. Irão nos interessar sentencas como João ama mesmo a Maria", que destaca alguma surpresa em relação ao fato de o Jo~ao amar a Maria, e \Jo~ao ama mesmo a Maria", que parece dar conta, nessa sentenca, da intensidade do amor do Jo~ao pela Maria. Apresentaremos, a princpio, analises feitas para o PB, a saber, Ilari (1996) e Guimar~aes (2010), e, mais tarde, propostas elaboradas para o ingl^es, \even" | Horn (1969) e Karttunen e Peters (1979) |, e para o franc^es, \m^eme" | Anscombre (1973), Ducrot (1972, 1981). Embora n~ao tenham o uso intensi- cador no mesmo item lexical, as analises dessas partculas trazem re ex~oes interessantes que, como veremos, podem elucidar algumas quest~oes concernentes ao \mesmo" em PB. Discutiremos fen^omenos relacionados a noc~ao de pressuposic~ao e ao modelo de implicaturas de Grice (1975), bem como seu comportamento na análise dos dados do portugu^es. Palavras-chave: mesmo, pressuposição, implicaturas<br>Résumé: L'objectif de ce travail est une description alternative a la semantique du \mesmo" en portugais bresilien (PB) | surtout celui qui porte sur les syntagmes nominaux | en relevant des questions qui peuvent eclaircir quelques points qui n'ont pas ete assez developpes par la litterature en portugais ou qui n'etaient pas au centre des discussions. Notre propos est d'ajouter d'autres elements aux propositions qui seront presentees dans ce memoire. On peut percevoir que cet item lexical est capable de contribuer de dierentes manieres au sens des phrases, c'est-a-dire que \mesmo" semble indiquer des choses distinctes d'apres sa position dans la phrase, l'intonation, entre autres facteurs. Dans notre recherche, on s'est interesse aux phrases telles que \Jo~ao ama mesmo a Maria" qui releve de la surprise par rapport au fait que Jo~ao aime Maria et \Jo~ao ama mesmo a Maria" qui nous para^t contempler l'intensite de l'amour de Jo~ao envers Maria. D'abord, on presente les analyses pour le PB, a savoir Ilari (1996) et Guimar~aes (2010). Ensuite, on se penche sur les propositions elaborees pour l'anglais \even" | Horn (1969) et Karttunen e Peters (1979) | et pour le francais \m^eme" | Anscombre (1973) et Ducrot (1972, 1981). Bien que ces particules n'aient pas la fonction d'intensicateur dans un seul item lexical, leurs analyses apportent des re exions interessantes qui peuvent elucider quelques aspects concernant le \mesmo" en PB. Enn, on discute des phenomenes lies a la notion de presupposition et au modele des implicatures de Grice (1975), ainsi que le comportement de ces theories dans l'analyse de nos donnees du portugais. Mots-cles: mesmo, pressuposition, implicatures
APA, Harvard, Vancouver, ISO, and other styles
17

Fonseca, Laís Cirne Avila da. "Transferência léxico-semântica no multilinguismo." Pontifícia Universidade Católica do Rio Grande do Sul, 2014. http://hdl.handle.net/10923/7049.

Full text
Abstract:
Made available in DSpace on 2015-02-27T02:00:53Z (GMT). No. of bitstreams: 1 000465752-Texto+Completo-0.pdf: 2597446 bytes, checksum: 0a74227bc5461a9080951a3148975020 (MD5) Previous issue date: 2014<br>Multilingualism as a social and linguistic phenomenon is still not much explored in Brazil. Even though the issue has gained much attention in the country, the international literature in the area is wider. One of the investigated issues is the crosslinguistic transfer on different levels (phonological, morphosyntactic, semantic and discourse-pragmatic) between the individual’s known and used languages. The focus of the present study is to analyze the transfer on the lexical-semantic level between the previous languages learned (Portuguese as L1 and English as L2) to the written production of French as L3. More specifically, this study aims at analyzing: (1) the category of the lexical-semantic transfer, whether formal or semantic, more present in the participants’ written production; (2) the direction in which more lexical-semantic transfer occur, if L1-L3 or L2-L3. Two hypotheses were formulated: (1) it is assumed that, according to Ecke (2001), there will be more formal lexical transfer, which happens when the learner notices a structural similarity between L1 or L2 and the intended word in the L3 and (2) it is assumed that the transfer should more frequently happen from L2 to L3 due to the status of foreign language as in Llama, Cardoso and Collins (2007), Shooshtari (2009), Bardel and Falk (2007).Twelve (12) young adults participated in the present study, all native speakers of Portuguese (L1), English speakers as L2 with an intermediate proficiency level and French learners as L3 with a basic proficiency level. The results show that the majority of the transfer was lexical of the form typology. The source of the transfer was, in the majority of the cases, the L1. It was concluded that typological proximity can be one of the main reasons for the recurrence to the L1 in the L3 written production.<br>O multilinguismo como fenômeno social e linguístico ainda é pouco explorado no Brasil. Embora o tema tenha conquistado espaço no país, a literatura internacional na área ainda é bem mais vasta. Um dos temas investigados relacionados ao multilinguismo é a questão da transferência translinguística, em diferentes níveis (fonológico, morfossintático, semântico e discursivo-pragmático) entre as línguas conhecidas e utilizadas por um indivíduo. O foco deste estudo é analisar as transferências no nível léxico-semântico das línguas previamente aprendidas (de português como L1 e de inglês como L2) na produção escrita do francês como L3. Mais especificamente, a pesquisa procura: (1) investigar a categoria de transferências léxico-semânticas (se, de forma ou semântica) mais recorrente nas produções dos participantes; (2) investigar em qual direção ocorrem mais transferências do tipo investigado, se da L1 para a L3 ou da L2 para a L3. Duas hipóteses foram postuladas: (1) pressupõe-se, de acordo com Ecke (2001), uma maior transferência lexical de forma, que acontece quando o aprendiz observa uma similaridade estrutural entre a L1 ou a L2 e a palavra que se deseja usar na L3 e (2) pressupõe-se que a transferência deva ocorrer em maior parte no sentido L2-L3 na comparação com a direção L1-L3 devido ao status de língua estrangeira compartilhado pela L2 e pela L3, como nos estudos de Bardel e Falk (2007), Llama, Cardoso e Collins (2007) e Shooshtari (2009).Participaram do estudo 12 adultos jovens, falantes de português como L1, inglês como L2 em nível intermediário e francês como L3 em nível básico. Os resultados mostram que a maior parte das transferências lexicais foi de forma. Quanto à origem da fonte de transferência, observou-se que a maior parte das transferências teve como fonte a L1. Concluiu-se que o fator da tipologia linguística (semelhança entre o português (L1) e o francês (L3)) tenha sido um dos principais motivos da recorrência à L1 na produção escrita na L3.
APA, Harvard, Vancouver, ISO, and other styles
18

Braida, Celso Reni. "A complexidade do nexo semântico." Rio de Janeiro (RJ), 2001. http://repositorio.ufsc.br/xmlui/handle/123456789/81954.

Full text
Abstract:
Tese (doutorado) - Pontificia Universidade Catolica do Rio de Janeiro, Centro de Teologia e Ciências Humanas. Programa de Pós-Graduação em Filosofia<br>Made available in DSpace on 2012-10-19T09:42:13Z (GMT). No. of bitstreams: 0
APA, Harvard, Vancouver, ISO, and other styles
19

Santos, Maria Leonor Maia dos. "Semântica de condicionais e contexto." Florianópolis, SC, 2006. http://repositorio.ufsc.br/xmlui/handle/123456789/88778.

Full text
Abstract:
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística.<br>Made available in DSpace on 2012-10-22T13:37:56Z (GMT). No. of bitstreams: 1 246377.pdf: 552218 bytes, checksum: 8f6ad38c6aa87c55825f545d661154a3 (MD5)<br>Este trabalho trata da semântica de condicionais em português, de um ponto de vista referencial (ou denotacional), e, mais especificamente, da caracterização das condições de verdade de tais estruturas. Os condicionais, em sua forma mais conhecida, são estruturas compostas por uma oração principal, chamada apódose ou conseqüente, e uma oração subordinada, a prótase ou antecedente. A motivação para o tema surge da verificação de que os condicionais permitem grande variedade de interpretações, devido ao papel das informações provenientes do contexto, o que coloca a interpretação dessas estruturas na fronteira entre a semântica e a pragmática. A hipótese aqui adotada é a de que pelo menos parte da informação contextual requerida para a interpretação dos condicionais é semântica, e que é portanto possível falar em suas condições de verdade. Para defender essa possibilidade seguiu-se a concepção de que informações do contexto podem estar presentes tanto na semântica quanto na pragmática, sendo o limite demarcado a partir da necessidade de atribuição de intenções ao falante, que caracterizaria a interpretação pragmática. O percurso escolhido para defender a hipótese foi o exame de algumas tentativas de representação da semântica de condicionais por meio de linguagens formais, sendo pelo menos uma delas - a análise do condicional por meio de um restritor de mundos possíveis - considerada flexível o suficiente para incluir informações do contexto de maneira variável, sem que seja preciso abandonar o debate sobre as condições de verdade dessas estruturas.
APA, Harvard, Vancouver, ISO, and other styles
20

Kavetski, Silvio. "Realismo, naturalismo e semântica moral." reponame:Repositório Institucional da UFSC, 2017. https://repositorio.ufsc.br/xmlui/handle/123456789/178105.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2017.<br>Made available in DSpace on 2017-08-08T04:12:03Z (GMT). No. of bitstreams: 1 346221.pdf: 1214904 bytes, checksum: 07b4dbfac412c6185be453a7719573f8 (MD5) Previous issue date: 2017<br>O naturalismo moral é a teoria metaética que sustenta que fatos e propriedades morais são fatos e propriedades naturais. Desde que G. E. Moore apresentou o seu argumento da questão aberta, tem havido várias críticas a essa teoria, o que fez com que os filósofos articulassem várias teorias metaéticas alternativas ao naturalismo, tais como intuicionismo, emotivismo, prescritivismo e a teoria do erro. Mas a partir da década de oitenta David Brink, Richard Boyd e Nicholas Sturgeon desenvolveram uma nova versão do naturalismo moral ? o naturalismo não reducionista ? que, argumentativamente, evita essas objeções e apresenta inúmeras outras vantagens. O resultado foi uma reascensão do realismo moral naturalista. No entanto, dois filósofos formularam uma objeção ao naturalismo não reducionista, que ficou conhecida como ?Argumento da Terra Gêmea Moral?, que tem gerado bastante discussão. O objetivo deste trabalho é reconstruir as linhas principais desse debate mostrando que: o naturalismo não reducionista realmente tem boas respostas a algumas críticas frequentes, tais como o argumento da questão aberta de Moore, a reformulação de Hare deste argumento, à objeção construtivista, à crítica de relativismo, ao argumento do desacordo moral etc; e que, mesmo que o argumento da terra gêmea moral seja o seu principal problema, o que parece ser o caso, há algumas estratégias de respostas possíveis a favor do naturalista.<br><br>Abstract : Moral naturalism is the metaethical theory that maintains that moral facts and properties are natural facts and properties. Since G. E. Moore presented his open question argument there have been several critiques to this theory, which made the philosophers articulate several alternative metaethical theories to naturalism as intuitionism, emotivism, prescriptivism and the error theory. But from the eighties David Brink, Richard Boyd and Nicholas Sturgeon developed a new version of moral naturalism ? the non reductionist naturalism ? that, arguably, avoids these objections and it have numerous another advantages. The result was a resurrection of naturalistic moral realism. However, two philosophers formulated an objection to non reductionist naturalism that became known as ?Moral Twin Earth Argument? that has generated much discussion. The objective of this work is to reconstruct the main lines of this debate showing that: the non reductionist naturalism really have good replies to some frequent critiques such as Moore?s open question argument, Hare?s reformulation of this argument, the constructivist?s objection, the critique of relativism, to the moral disagreement?s argument etc; and that, even if the moral twin earth argument be its main problem, what looks to be the case, there are some possible response strategies in favor of the naturalist.
APA, Harvard, Vancouver, ISO, and other styles
21

Pereira, Emmanuel Moreno. "Abordagem semântica: uma análise crítica." reponame:Repositório Institucional da UFSC, 2015. https://repositorio.ufsc.br/xmlui/handle/123456789/135988.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2015.<br>Made available in DSpace on 2015-11-03T03:07:13Z (GMT). No. of bitstreams: 1 335978.pdf: 1099488 bytes, checksum: 2173c95ae7a0bdd00eb19464cec2c041 (MD5) Previous issue date: 2015<br>Segundo alguns filósofos, uma teoria pode ser mais bem caracterizada pela classe dos seus modelos. Tal perspectiva sobre as teorias científicas é conhecida como abordagem semântica. Esta abordagem às teorias científicas tem alguns méritos sobre caracterizações alternativas, embora tenha também certas limitações. Neste texto, procuramos apresentar a abordagem semântica, especialmente em duas de suas formulações, uma devida a Patrick Suppes e outra devida a Newton C. A. da Costa e Rolando Chuaqui. Procuramos também avaliar estas versões da abordagem semântica considerando alguns argumentos favoráveis e contrários, e analisando aspectos metamatemáticos das teorias científicas quando formalizadas por meio de predicados conjuntistas ou predicados de Suppes. Por fim, apresentamos um breve estudo sobre o debate realismo-antirrealismo científico contraposto à abordagem semântica.<br><br>Abstract : According to some philosophers, a theory can be better characterized by the class of its models. Such perspective about scientific theories is known as the semantic approach. This approach to scientific theories has some merits over alternative characterizations, although it has certain limits as well. In this text, we seek to present the semantic approach especially in two formulations, one owed to Patrick Suppes and another one to Newton C. A. da Costa and Rolando Chuaqui. We also seek to evaluate these versions of the semantic approach considering some pros and cons arguments, and analyzing metamathematical aspects of scientific theories when formalized by set predicates or Suppes predicates. Finally, we present a brief study of the scientific realism-antirealism debate compared to the semantic approach.
APA, Harvard, Vancouver, ISO, and other styles
22

Schiochett, Daniel. "A subdeterminação semântica da metáfora." reponame:Repositório Institucional da UFSC, 2017. https://repositorio.ufsc.br/xmlui/handle/123456789/179013.

Full text
Abstract:
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2017.<br>Made available in DSpace on 2017-09-05T04:15:50Z (GMT). No. of bitstreams: 1 347978.pdf: 2675228 bytes, checksum: 82e23494725ae501c6e580fb8bbadf04 (MD5) Previous issue date: 2017<br>A tese deste trabalho consiste em sustentar que o melhor conceito para tratar da relação entre metáfora e linguagem é o da subdeterminação semântica. Entretanto, o modo mais comum de tratar o fenômeno das metáforas, denominado no texto de quadro semântica-pragmática, relega à pragmática (e não à semântica, como era de se esperar) a função de explicar como o significado metafórico de uma frase é um acarretamento gerado pelo contexto. Segundo este quadro, uma metáfora não diz respeito diretamente à semântica da frase mas às intenções dos falantes contextualmente disponíveis. Neste quadro, metáforas seriam indeterminadas semanticamente pois acarretamentos pragmáticos são virtualmente infinitos e não precisam remeter à proposição semanticamente expressa. Argumentamos, entretanto, que essa não é uma boa solução pois metáforas parecem depender do que é dito por meio do código linguístico, o que sugere algum tipo de determinação semântica, mesmo que parcial. Os dados das ciências cognitivas também não corroboram a tese do quadro semântica-pragmática apesar de oferecerem indícios importantes acerca do modo como percebemos semelhanças e extrapolamos domínios de experiência. Contudo não são ainda felizes em apresentar algum tipo de alternativa que vincule diretamente o fenômeno das metáforas à existência do código linguístico. As melhores alternativas para o tratamento da questão nascem do debate entre contextualismo e minimalismo semânticos. Metáforas seriam casos de flexibilidade semântica também presentes em outros fenômenos linguísticos. Para o minimalismo, metáforas podem ser tratadas através da introdução de um operador lexical que garantiria a flexibilidade contextual necessária a termos semânticos contextualmente dependentes. Para o contextualismo, metáforas acontecem quando termos em uma frase funcionam como conceitos ad hoc e são passíveis de enriquecimentos pragmáticos fortes. Apesar de não chegarem a uma única solução, o debate entre minimalismo e contextualismo oferece explicações do fenômeno que corroboram a hipótese da subdeterminação semântica defendida nesta tese.<br><br>Abstract : The thesis of this work intends to sustain that the best concept to deal with the relationship between metaphor and language is the one of semantic underdetermination. However the most common way of dealing with the phenomenon of metaphors, referred in the text as semantic-pragmatic picture, relegates to pragmatic (not to semantics as expected) the function of explaining how the metaphorical meaning of a phrase is a context-generated entailment. According to this picture, a metaphor is not directly related to the phrase semantics but to the speaker intentions in the context available. It shows that metaphors would be indeterminate semantically because pragmatic entailments are virtually infinite and do not need to refer to the semantically expressed proposition. We argue, however, that this is not a good solution because metaphors seem to depend on the linguistic code, suggesting some sort of semantic determination, even if partial. Cognitive sciences data do not corroborate the thesis of the semantic-pragmatic picture too, despite providing significant evidence about how we perceive similarities and extrapolate experiences domain. Yet they still can not produce an alternative which directly links the phenomenon of metaphors to the existence of the linguistic code. The best alternatives to handle with matter come from the debate between contextualism and semantic minimalism. Metaphors would be cases of semantic flexibility also present in other linguistic phenomena. For minimalism, metaphors can be addressed through the introduction of a lexical operator that would guarantee the necessary contextual flexibility to contextually dependent semantic terms. For contextualism, metaphors occur when terms within a phrase function as ad hoc concepts and are amenable to strong pragmatic enrichments. Although they do not reach a single solution, the debate between minimalism and contextualism offers explanations of the phenomenon that corroborate the hypothesis of the semantic underdetermination presented in this thesis.
APA, Harvard, Vancouver, ISO, and other styles
23

Soares, Tays Cristina do Amaral Pales. "Compilação de semântica denotacional modular." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/RVMR-7AAP79.

Full text
Abstract:
Programming language semantics and syntax can be defined without ambiguities using formal definitions. Denotational Semantics is an approach which allows formal description of language semantics. However, uses of Denotational Semantics face scalability issues. Formal specification of large scale languages is inherently complex, requiring a model capable of decomposing semantics descriptions in such a way that it is possible to manage its complexity. Multidimensional Semantics proposes a new methodology for development of modular denotational semantic definitions. The functional, domain specific, language Notus implements the model proposed by this new approach. This work presents a compiler implementation for Notus, which is a language that allows writing syntactic, lexical and semantic definitions incrementally. The modularity is based on the desired language's abstract syntax. A module is made for each semantically relevant syntactic construct. This improves the reusability and extensibility in denotational semantics specifications. The Notus compiler produces interpreters for specified languages. Compilation of modular specification poses issues that are also solved in the Notus compiler.<br>A semântica e a sintaxe de linguagens de programação podem ser descritas de forma precisa por meio de definições formais. Semântica Denotacional é uma abordagem que permite a descrição formal de linguagens de programação. Essa abordagem apresenta, entretanto, problemas de modularidade. De fato, a especificação formal de linguagens de grande porte é inerentemente complexa, surgindo a necessidade de um modelo capaz de decompor uma descrição em módulos de maneira que a complexidade possa ser controlada. Uma nova metodologia, denominada Semântica Multidimensional, permite que definições em semântica denotacional sejam escritas modularmente. A linguagem funcional de domínio específico Notus segue o modelo proposto por esta nova abordagem. Este trabalho apresenta a implementação de um compilador para a linguagem Notus, que permite a escrita incremental de especificações léxica e sintática de linguagens, usando gramáticas livres de contexto, e da especificação semântica, em semântica denotacional. A modularidade é guiada pela sintaxe abstrata da linguagem que se deseja definir. Para cada construção sintática semanticamente relevante, define-se um módulo. Isto facilita a obtenção de reusabilidade e extensibilidade em especificações em semântica denotacional. O compilador de Notus gera interpretadores para linguagens especificadas. Apresentam-se ainda, neste texto, os problemas decorrentes da compilação incremental de definições modulares, e as soluções para esses problemas implementadas no compilador Notus. O compilador desenvolvido foi testado com especificações modulares em semântica denotacional para linguagens de teste, escritas incrementalmente.
APA, Harvard, Vancouver, ISO, and other styles
24

Min, Lin Tse. "A semântica formal de MooZ." Universidade Federal de Pernambuco, 1993. https://repositorio.ufpe.br/handle/123456789/2548.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:59:11Z (GMT). No. of bitstreams: 2 arquivo4936_1.pdf: 1288760 bytes, checksum: e9b38bddcefdbcf94c0812a3c4d81dc1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 1993<br>Este trabalho descreve uma semântica formal para MooZ, uma extensão µa linguagem Z proposta pelo Grupo de Especificações Formais do DI/UFPE. Os conceitos fundamentais de orientação a objetos foram incluídos em MooZ: abstração, encapsulamento, modularidade e hierarquia. A semântica formal é apresentada como uma extensão à semântica de variedades pro- posta por J.M. Spivey para Z. A extensão traz como vantagens um maior entendimento da facilidade de expressão de MooZ em relação à Z e a demonstração de que MooZ é uma extensão conservativa de Z. Após uma introdução informal à MooZ, os conceitos da teoria axiomática dos conjun- tos de Zermelo-Fraenkel utilizados para descrever a semântica de MooZ são apresentados e especificados em Z. O sistema de tipos de MooZ é descrito e o modelo de assinaturas, estruturas e variedades de Spivey é expandido para comportar os conceitos de MooZ. As funções semânticas que fornecem o significado de cada elemento de MooZ são definidas. Por fim, são apresentadas a importância deste trabalho, as dificuldades encontradas no seu desenvolvimento e as sugestões para a sua continuação
APA, Harvard, Vancouver, ISO, and other styles
25

Ferreira, David Miguel Vicente. "Enriquecimento do EPG usando semântica." Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11039.

Full text
Abstract:
Mestrado em Engenharia de Computadores e Telemática<br>Web Semântica e um conceito que permite chegar ao conhecimento ao invés da informação através da rede. Através da Web Semântica _e possível de uma forma mais intuitiva agrupar conteúdos. No cenário televisivo, e possível agrupar todos os conteúdos, criando métodos (ou formas) de recomendação para o telespectador. Embora algumas ferramentas semânticas ainda não se encontrem suficientemente maduras, dificultando a confiança nestes serviços, este trabalho tentou utilizar os conceitos da web semântica para fazer recomendações em serviçós IPTV com o MEO.<br>Semantic Web is a concept that lets you get to knowledge instead of information through the network. Through the Semantic Web is possible to aggregate all contends in a more intuitive way. On television scenario, is possible group all contents, creating methods (or forms) of recommendation to the viewer. Although some semantic tools are not yet mature enough, making it difficult to trust on these services, this study attempted to use the concepts of the semantic web to make recommendations on IPTV services with MEO.
APA, Harvard, Vancouver, ISO, and other styles
26

Guilherme, Pedro Miguel Lavajo Natário. "Pragmática, prosódia semântica e tradução." Master's thesis, Universidade da Beira Interior, 2009. http://hdl.handle.net/10400.6/1769.

Full text
Abstract:
Numa altura em que a globalização está na ordem do dia, verifica-se diariamente a crescente urgência de colocar nações e culturas em estreito contacto. Não só os planos comercial, político e financeiro devem ser alvo de considerações colectivas, mas também a língua e cultura dos povos requerem uma melhor compreensão mútua. Por enquanto, os intercâmbios realizados têm dependido, em grande parte, da tradução, para que as barreiras linguísticas não sejam a causa de incompreensões e silêncios entre a miríade de povos que habitam a nossa esfera. Isto porque nem todos os indivíduos possuem o privilégio de conhecer uma língua que não a materna, e o acesso à tecnologia, ao texto literário e científico só se tornam possíveis, em determinados casos, através do usufruto de textos traduzidos. Esta solução não é, contudo, perfeita. O tradutor, estabelecendo-se como um mediador entre línguas e culturas, poderá por vezes, ainda que a sua proficiência seja elevada, cometer certos erros que se estenderão depois – correndo também o risco de se ampliarem – ao leitor do produto traduzido. Abundam as histórias, muitas vezes envoltas na névoa do mito urbano, de determinadas marcas que, devido ao desconhecimento das idiossincrasias culturais do público-alvo, se tornam invendáveis. Não falamos somente de erros de tradução, mas também de uma utilização de signos – linguísticos ou não – que veiculam uma ideia errada e que pode incorrer numa catástrofe para a empresa exportadora. Com efeito, a tradução corre o risco de encontrar e produzir sérios entraves. O erro pode surgir não só quando uma função se reproduz sem que os significados coincidam, mas também quando o equilíbrio entre sintaxe, semântica e pragmática não é observado. Outrossim, as variadas subtilezas que residem em qualquer língua são potenciais alvos de esquecimento ou omissão, resultando assim a tradução num produto imperfeito e até mesmo desastroso. Qualquer indivíduo que não domine a língua em que qualquer texto é originalmente composto tem o direito de conhecer, da forma mais integral e aprofundada possível, a informação que esse texto e o seu autor pretendem veicular. Para isso, urge proceder-se a uma tradução cuidadosa e ponderada, que seja não só reactiva, mas também proactiva, no sentido em que deve prever os constituintes que subjazem às línguas de origem e destino, circunscrevendo também conceitos que não se possam replicar directamente. Esses, porém, podem não se manifestar imediatamente no texto, mas sim nas suas significações ocultas e herméticas, o que significa que poderá haver um determinado conteúdo subliminar, criado ou não de forma voluntária, que é apercebido em instâncias mais primárias e encobertas da nossa consciência. Normalmente, apenas um falante nativo conseguiria detectar e produzir conscientemente estas mensagens furtivas, mas a informática, ao permitir a recolha e compilação de enormes quantidades de texto e posterior ordenamento mediante os pedidos do utilizador, conseguiu colmatar grandemente esta falha, proporcionando a qualquer indivíduo uma concepção mais abrangente de uma língua que já conhece. Será com recurso a este instrumento que esta dissertação conhecerá grande parte do seu desenvolvimento, já que o objecto de análise e a comprovação das nossas afirmações terão origem em corpora linguísticos. A presente dissertação destina-se, assim, a determinar de que forma intervém a presença da pragmática e da prosódia semântica – juntamente com os restantes níveis funcionais, claro está – na tradução entre as línguas portuguesa e inglesa. No primeiro capítulo, terá lugar a discussão do que são, verdadeiramente, a tradução e o papel do tradutor, assumido como hermeneuta e mediador entre culturas. As considerações serão comprovadas por trabalhos anteriormente realizados acerca da matéria abordada. Procuraremos integrar a teoria da tradução em metodologias até agora mais ligadas ao plano intralinguístico. Outro ponto a constar neste capítulo será a detecção de erros de tradução, reais ou potenciais, introduzindo-se o conceito de prosódia semântica que, segundo a nossa opinião, evoluirá para aquilo a que chamamos conotação discreta. O segundo capítulo alongar-se-á acerca da relação entre tradução e estudos linguísticos. Na nossa opinião, as teorias relativas a este processo têm conhecido um cariz mais hermenêutico e até filosófico, sendo os métodos da neogramática relegados, em alguns casos, para um plano secundário. Procuraremos, assim, transformar o que era tratado quase exclusivamente a nível intralinguístico num ponto central na abordagem entre diferentes línguas, ao definir a intrincada relação de interdependência que se verifica tanto entre os níveis funcionais da língua como entre as diferentes áreas dos estudos linguísticos, fazendo-a depois coincidir com a tradução como processo hermenêutico e social. A conotação discreta, como lhe passaremos então a chamar (por motivos adequadamente enunciados) será então alvo de um tratamento mais aprofundado. Finalmente, invocaremos vários casos em que a conotação discreta se manifesta, observando de que forma são traduzidas as sequências discursivas apresentadas e apresentando sugestões, adequadamente apoiadas em resultados obtidos em corpora linguísticos, para traduções mais adequadas. Tentaremos, dentro do possível, e não obstante os factos enunciados não serem, na sua maioria, totalmente inovadores, contribuir para que mais um passo seja dado nos campos dos estudos linguísticos e da teoria da tradução.
APA, Harvard, Vancouver, ISO, and other styles
27

Machado, José Arino. "Análise cognitiva do estudo comparativo entre estratégias humanas de tradução e mecanismos de traduções automáticos." reponame:Repositório Institucional do FGV, 2010. http://hdl.handle.net/10438/9029.

Full text
Abstract:
Submitted by Marcia Bacha (marcia.bacha@fgv.br) on 2012-01-17T13:44:30Z No. of bitstreams: 1 1423881.pdf: 1229370 bytes, checksum: 3ba6cd6feef259e28e67ca955f817d0f (MD5)<br>Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2012-01-17T13:45:17Z (GMT) No. of bitstreams: 1 1423881.pdf: 1229370 bytes, checksum: 3ba6cd6feef259e28e67ca955f817d0f (MD5)<br>Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2012-01-17T13:45:29Z (GMT) No. of bitstreams: 1 1423881.pdf: 1229370 bytes, checksum: 3ba6cd6feef259e28e67ca955f817d0f (MD5)<br>Made available in DSpace on 2012-01-17T13:46:19Z (GMT). No. of bitstreams: 1 1423881.pdf: 1229370 bytes, checksum: 3ba6cd6feef259e28e67ca955f817d0f (MD5) Previous issue date: 2010<br>Although progress in computer science has been quite significant and rapid, as far as machine translation is concerned there is still much to be done. In the rnid-40s, there was already an interest, particularly by the Americans and British, in a faster and more efficient translation of Russian documents. Yet, what we see today in terms of machine translation falls short of what one might call a good translation. To search for an efficient automatic translation, scientists have used, as a primary tool, statistical means to solve the problem. This paper aims to set out a new approach to the question, drawing on cognitive science as its major source of inspiration. The result achieved shows that statistics play an important role in the process, particularly for the definition of some patterns outlined by its means. This paper, however, is meant to inspire research that will draw on cognitive science as a valid means of improvement for greater efficiency in machine translation. With that it proposes semantic overlap as one of the possible ways for such improvements. On the organizational field, it highlights the importance and value of experience as an intelligent means of seeking better results for companies in the same semantic overlap that this experience brings.<br>Embora os progressos na área de informática sejam bastante significativos e velozes, na tradução automática há muito ainda o que ser feito. Desde meados dos anos 40 já havia um interesse, em especial pelos americanos e ingleses, numa tradução mais rápida e eficiente de documentos russos, porém até hoje o que se vê em termos de tradução automática está aquém daquilo que se possa chamar de uma boa tradução. Para buscar uma tradução automática eficiente os cientistas têm usado como fonte principal meios estatísticos de solução para tal problema. Esse trabalho visa dar um novo enfoque a tal questão, buscando na ciência cognitiva sua principal fonte de inspiração. O resultado a que se chega com o presente trabalho é que a estatística deve continuar sendo sim uma fonte de auxílio em especial na definição de padrões. Porém, o trabalho trás consigo o propósito de levantar a sobreposição semântica como via de possível solução que possa vir auxiliar, ou, até mesmo trazer maior rapidez a questão da tradução automática. No campo organizacional levanta uma questão interessante, o valor da experiência como meio inteligente de buscar melhores resultados para as empresas.
APA, Harvard, Vancouver, ISO, and other styles
28

Piza, Suze de Oliveira 1971. "Crítica em Kant e Michel Foucault : semântica transcendental e semântica transcendental-histórica (sobre produção de Filosofia)." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281299.

Full text
Abstract:
Orientador : Zeljko Loparic<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas<br>Made available in DSpace on 2018-08-25T17:37:48Z (GMT). No. of bitstreams: 1 Piza_SuzedeOliveira_D.pdf: 2637096 bytes, checksum: ec9c73ebbc52574506ccd7cf9b022feb (MD5) Previous issue date: 2014<br>Resumo: Esse texto se insere no debate contemporâneo sobre as aproximações entre Kant e Foucault. A relação entre essas duas Filosofias é, ao mesmo tempo, de ruptura e continuidade. Por um lado, o método arqueologia-genealogia levará a resultados que se opõem a muitas teses de Kant sobre o ser humano, o conhecimento e a história. Por outro lado, Foucault não abandona em nenhum momento as fôrmas kantianas de fazer Filosofia e seu método está mergulhado no modelo kantiano e na atitude crítica. Foucault nega o a priori formal, mas afirma um a priori histórico; nega o sujeito transcendental e, consequentemente o idealismo transcendental, mas afirma analogamente um transcendental histórico; inverte categorias kantianas fundamentais e produz algumas de suas principais teses acerca do sujeito moderno. Foucault inverte categorias kantianas, assim como ao longo da história da Filosofia, grandes pensadores subverteram seus mestres criativamente. Foucault assume a atitude crítica, adota o modelo da Filosofia transcendental, usando, portanto, as fôrmas de Kant, contudo, troca o seu conteúdo. Nossa tese caracteriza o que o próprio Michel Foucault indicou como sendo sua filiação kantiana; isto é, se este se inscreve de alguma forma na tradição filosófica, o é na tradição crítica de Kant. Procuramos examinar que tipo de filiação é essa em uma perspectiva de compreensão do como e com o quê essa Filosofia foi produzida. Trabalhamos durante todo o tempo com a hipótese de que o kantismo de Foucault é um exemplo digno de nota de uma relação criativa (e não subserviente) de um filósofo com sua tradição. A elaboração de nossa hipótese e a chegada aos resultados só foi possível podendo considerar toda a obra foucaultiana a partir de uma dada leitura da obra de Kant feita por Z. Loparic. A tese de Loparic é de que a Filosofia de Kant é uma semântica transcendental. À luz dessa interpretação de Kant - especialmente, de uma releitura das teorias do conceito e da verdade, em que aparece o conceito de domínio de interpretação - é que se tornou possível uma leitura adequada da extensão e do tipo de kantismo de Foucault, especialmente no que tange ao conceito de epistémê. A tese percorre o caminho que vai da leitura que Foucault faz de Kant, da maneira como Foucault usa Kant e da indicação do método e alguns de seus operadores conceituais, sempre em relação a Kant. Defendemos que ambas as Filosofias (kantiana e foucaultiana) são filosofias críticas e são semânticas transcendentais, carecendo a segunda, para ser mais bem definida, de um adjetivo: uma semântica transcendental histórica. Como pano de fundo das ideias aqui apresentadas está nosso tema de maior interesse: a produção de Filosofia e as possíveis relações do filósofo com a tradição de pensamento filosófico ocidental. Foucault com Kant é um exemplo elucidativo para se compreender tal produção e uma das maneiras de sua efetivação<br>Abstract: This text is applicable to the contemporary debate on the similarities between Kant and Foucault. The relationship between these two philosophies is one of both rupture and continuity. On one hand, the archaeological-genealogical approach produces results that contradict many of Kant¿s studies on the human being, knowledge and history. On the other hand, Foucault by no means abandons the Kantian models to produce Philosophy, and his method dives into the Kantian model and the critical attitude. Foucault denies the formal a priori, but affirms the historical a priori; in other words, he denies the transcendental subject and, as a consequence, the transcendental idealism, but analogically affirms a "transcendental-historical". He inverts Kantian ideas and produces some of his principal works on the modern subject. Foucault changes the Kantian categories, just as throughout the history of Philosophy, great thinkers creatively overturned their masters. Foucault is critical in his attitude, adopting the transcendental philosophy model. He does, however, use Kant¿s molds, although with altered content. Our thesis characterizes what Michel Foucault himself indicated as being his Kantian affiliation; namely, if in some way it applies to the philosophical tradition, it will apply to Kant¿s critical tradition. The objective here is to examine what type of affiliation this is, from a perspective of understanding how and with what this philosophy was produced. The hypothesis adopted in this study gives that Foucault¿s Kantianism is a noteworthy example of a creative relationship (and one that is not subservient) between a philosopher and his tradition. It was only possible to elaborate this hypothesis and reach the achieved results by considering the complete work of Foucaultian, by studying Z. Loparic¿s interpretation of Kant¿s work. According to Loparic¿s thesis, Kant¿s philosophy is a transcendental semantic. In light of Kant¿s interpretation ¿ particularly from the re-creation of the theories of concept and truth, in which appears the concept of the domain of interpretation - it was possible to thoroughly study the extension and type of Foucault¿s Kantianism, particularly in terms of the episteme concept. The thesis follows the theory that emerges from Foucault¿s interpretation of Kant, in the way that Foucault uses Kant, the indication of the method and some of its conceptual operators, always in relation to Kant. The present study defends the argument that both Philosophies (Kantian and Foucaultian) are critical and transcendental semantics; the second, in order to be better defined, requires an adjective: a transcendental-historical semantic. The backdrop to the ideas presented in this study is the subject of greatest interest: the production of philosophy and the possible relationships between the philosopher and the tradition of western philosophical thinking. Foucault together with Kant is a clear example that can be used to understand this production and one of the ways that it can be effective<br>Doutorado<br>Filosofia<br>Doutora em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
29

Alves, Carlos Roberto Teixeira. "Sobre o conceito semântico de satisfação." Pontifícia Universidade Católica de São Paulo, 2015. https://tede2.pucsp.br/handle/handle/11703.

Full text
Abstract:
Made available in DSpace on 2016-04-27T17:27:13Z (GMT). No. of bitstreams: 1 Carlos Roberto Teixeira Alves.pdf: 1331347 bytes, checksum: cebe03a83120937101a3595710844df2 (MD5) Previous issue date: 2015-12-14<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This work aims to show the current treatment of the semantic notion of satisfiability to the logic of the first order, the relevant problems of Tarski's solution to define this notion - in this case, the use of infinite sequences to satisfy the formulas - and propose an alternative to circumvent this problem. The notion established by Tarski became, in discussions on the subject, standard solution and resulted in rich tools to work with the languages, in particular tools such as the Theory of Models. However, from a philosophical point of view, it is very important to broaden perspectives and look at the problem from a new dimension. Our proposal is to avoid the counterintuitive idea of using infinite sequences of objects to satisfy the finite formulas, knowing that these infinite sequences are composed almost entirely of 'superfluous terms', expendable in the process of satisfaction, but they should and are listed and indexed in the process. It would be interesting to solve the issue involving sequences without 'superfluous terms'. We propose a structure of first-order language that dispenses variables and constants. The notion of satisfaction in this case is distinct, which increases the possibilities and provides an alternative to the satisfaction of infinite sequences. In the end, we show how our solution can produce the satisfaction of formulas of a first-order language within a framework where satisfaction is interpreted according to certain specific criteria and can be performed by finite sequences, differing essentially from Tarski solution<br>Este trabalho tem por objetivo mostrar o tratamento atual da noção semântica de satisfatibilidade para as lógicas de primeira ordem, os problemas relevantes da solução de Tarski para definir essa noção no caso, o uso de sequências infinitas para a satisfação das fórmulas , e propor uma alternativa que contorne esse problema. A noção estabelecida por Tarski tornou-se, nas discussões a respeito do tema, a solução padrão e resultou em ferramentas ricas para operar com as linguagens, em especial ferramentas como a Teoria dos Modelos. No entanto, de um ponto de vista filosófico, é sadio ampliar as perspectivas e olhar o problema sob uma dimensão nova. Nossa proposta é superar a ideia contraintuitiva de elencarmos sequências infinitas de objetos para satisfação das formulas finitas, sabendo que essas sequências infinitas são compostas quase que totalmente de termos supérfluos , dispensáveis no processo de satisfação, mas que devem e são enumerados e indexados no processo. Seria interessante solucionar a questão envolvendo sequências sem termos supérfluos . Proporemos uma estrutura de linguagem de primeira ordem que dispensa variáveis e constantes. A noção de satisfação nesse caso é distinta, o que amplia as possibilidades e fornece uma alternativa à satisfação por sequências infinitas. No fim, mostraremos como nossa solução consegue produzir a satisfação de fórmulas de uma linguagem de primeira ordem dentro de uma estrutura interpretada onde a satisfação ocorre segundo certos critérios específicos e consegue ser realizada por sequências finitas, diferindo essencialmente da solução de Tarski
APA, Harvard, Vancouver, ISO, and other styles
30

Monteiro, Marli [UNESP]. "Positivismo e direito: a semântica construtiva." Universidade Estadual Paulista (UNESP), 2010. http://hdl.handle.net/11449/91759.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-05Bitstream added on 2014-06-13T19:32:35Z : No. of bitstreams: 1 monteiro_m_me_mar.pdf: 275033 bytes, checksum: a82afe7739fb5f0477a2387b15167e7c (MD5)<br>A presente dissertação apresenta o positivismo como teoria do direito que procurou na cientificidade, explicar de forma racional as questões sociais, defendendo o progresso como resultado do autogoverno. No entanto, ao se afastar das necessidades enfrentadas pela sociedade, o positivismo entra em declínio, emergindo a interpretação dos fenômenos como uma nova forma de diagnosticar os problemas sociais. A explicação do fenômeno jurídico não é uma questão de raciocínio puro, mas também de elemento valorativo, devendo os fatos serem revelados de acordo com princípios admitidos na vida social, mostrando que o instrumental da lógica mostra-se insuficiente para representar a argumentação necessária para o direito. A lei só se caracteriza completamente como norma legal se relacionada à vivência moral humana, na medida em que se distingue da experiência que lhe deu origem. Pensar o direito é, portanto, pensar o seu campo de incidência e qual a sua interpretação, para fazer deste o melhor dos mundos possíveis<br>The presente dissertation introduce the positivism how theory of law that sought in scientism, explain in a rational social issues, defending the progress as a result of self-government. However, the move away from social needs, positivism declines. The explanation of the legal phenomenon is not a matter of pure reasoning, but also evaluative element, and the facts be disclosed in acccordance in with principles accepted in society, showing that the instrumental logic is insufficient to represent the necessary arguments for the right. The law shall be defined as completely legal provision related to human moral experience, as distinguished from experience that caused it. Thinking the right to think their area of coverage and what their interpretation
APA, Harvard, Vancouver, ISO, and other styles
31

Máximo, Willian Corrêa. "Aspectos semântico-pragmáticos da enunciação radiofônica." reponame:Repositório Institucional da UNISUL, 2009. http://www.riuni.unisul.br/handle/12345/4495.

Full text
Abstract:
Colloquial, immediate, with great penetration and low cost, the “almost” interaction of the radio has continued for more than one hundred years calling the attention upon the society, particularly in local cultures. This electronic way of instantaneous language has been very renowned this Century, with high indexes of audience in Tubarão-SC. The City where living more than 90 thousand people is the cradle of Sociedade Rádio Tubá Ltda., established since almost 60 years old, being one of the oldest in Santa Catarina is part of the Catholic Radio Broadcast station. The present study describes the characteristics of the enunciating act from speak in news and interviews presented by Show do Rádio program from the station, aimed to observe some peculiarities of the language: approaching and distancing with the sources, discursive strategies, by the light of Journalism and the language theories. From the newsworthiness criteria – postulated in the Newsmaking theory – the news presented in the Show do Rádio program relates past happenings with the logic of selection, including and excluding facts based on personal, institutional and cultural orientations. On interviews, the program presents a try of interaction from the absence of production and guidance of agendas, betting on the spontaneity of interviewer and interviewed as a condition to a possible dialogue. In its semantic-pragmatic aspects, Journalism on the radio manifests itself while social construction on the science of language field when spreading and mediating mutually the happenings between the sender and receiver, at the same time when it produces meanings, re-meaning them and/or mystifying them – own consequence of language – legitimating general assents in a “game” of words and sense creation and organization<br>Submitted by Jovina Laurentino Raimundo (jovina.raimundo@unisul.br) on 2018-01-17T16:18:57Z No. of bitstreams: 1 100247_Willian.pdf: 3924031 bytes, checksum: 8cb509de948cd74770ac3ef9b271e740 (MD5)<br>Approved for entry into archive by Gheovana Figueiredo (gheovana.figueiredo@unisul.br) on 2018-01-17T17:07:18Z (GMT) No. of bitstreams: 1 100247_Willian.pdf: 3924031 bytes, checksum: 8cb509de948cd74770ac3ef9b271e740 (MD5)<br>Made available in DSpace on 2018-01-17T17:07:18Z (GMT). No. of bitstreams: 1 100247_Willian.pdf: 3924031 bytes, checksum: 8cb509de948cd74770ac3ef9b271e740 (MD5) Previous issue date: 2009<br>Coloquial, imediata, de grande penetração e baixo custo, a “quase-interação” do rádio continua há mais de cem anos destacando-se na sociedade, especialmente em culturas locais. Este meio eletrônico de linguagem instantânea tem sido bastante prestigiado neste século, com elevados índices de audiência em Tubarão-SC. A cidade, com mais de 90 mil habitantes é o berço da Sociedade Rádio Tubá Ltda, com quase 60 anos, uma das mais antigas do Estado de Santa Catarina e integrante da Rede Católica de Rádio. O presente estudo descreve as características do ato enunciativo, ou seja, da fala em notícias e entrevistas apresentadas pelo Programa Show do Rádio da emissora, a fim de observar algumas peculiaridades da linguagem: aproximação e distanciamento com as fontes, as estratégias discursivas, à luz das teorias do jornalismo e da linguagem. A partir dos critérios de noticiabilidade – postulados pela Teoria do Newsmaking – a notícia apresentada no Programa Show do Rádio relata acontecimentos passados com a lógica da seleção, incluindo e excluindo fatos segundo orientações pessoais, institucionais e culturais. Nas entrevistas, o programa apresenta uma tentativa de interação a partir da ausência de produção e roteirização de pautas, apostando na espontaneidade do entrevistador e entrevistado como condição para o diálogo possível. Em seus aspectos semântico-pragmáticos, o jornalismo no rádio manifesta-se enquanto construção social no campo das ciências da linguagem, ao divulgar e mediar reciprocamente o acontecimento entre emissor e receptor, ao mesmo tempo em que produz significados, ressignificando-os e/ou mitificando-os – consequência da própria linguagem – legitimando consensos num “jogo” de criação e ordenação de palavras e sentidos
APA, Harvard, Vancouver, ISO, and other styles
32

Monteiro, Marli. "Positivismo e direito : a semântica construtiva /." Marília : [s.n.], 2010. http://hdl.handle.net/11449/91759.

Full text
Abstract:
Resumo: A presente dissertação apresenta o positivismo como teoria do direito que procurou na cientificidade, explicar de forma racional as questões sociais, defendendo o progresso como resultado do autogoverno. No entanto, ao se afastar das necessidades enfrentadas pela sociedade, o positivismo entra em declínio, emergindo a interpretação dos fenômenos como uma nova forma de diagnosticar os problemas sociais. A explicação do fenômeno jurídico não é uma questão de raciocínio puro, mas também de elemento valorativo, devendo os fatos serem revelados de acordo com princípios admitidos na vida social, mostrando que o instrumental da lógica mostra-se insuficiente para representar a argumentação necessária para o direito. A lei só se caracteriza completamente como norma legal se relacionada à vivência moral humana, na medida em que se distingue da experiência que lhe deu origem. Pensar o direito é, portanto, pensar o seu campo de incidência e qual a sua interpretação, para fazer deste o melhor dos mundos possíveis<br>Abstract: The presente dissertation introduce the positivism how theory of law that sought in scientism, explain in a rational social issues, defending the progress as a result of self-government. However, the move away from social needs, positivism declines. The explanation of the legal phenomenon is not a matter of pure reasoning, but also evaluative element, and the facts be disclosed in acccordance in with principles accepted in society, showing that the instrumental logic is insufficient to represent the necessary arguments for the right. The law shall be defined as completely legal provision related to human moral experience, as distinguished from experience that caused it. Thinking the right to think their area of coverage and what their interpretation<br>Orientador: Hércules de Araújo Feitosa<br>Coorientador: Maria Cláudia Cabrini Grácio<br>Banca: Frank Thomas Sauter<br>Banca: Clélia Aparecida Martins<br>Mestre
APA, Harvard, Vancouver, ISO, and other styles
33

Manholi, Carlos Luciano. "Semântica formal aplicada a linguagens naturais /." Florianópolis, SC, 1999. http://repositorio.ufsc.br/xmlui/handle/123456789/81064.

Full text
Abstract:
Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas.<br>Made available in DSpace on 2012-10-18T22:28:55Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T02:23:42Z : No. of bitstreams: 1 150950.pdf: 7650809 bytes, checksum: 542b0f25306ed93ca6f3203b350e3f4f (MD5)
APA, Harvard, Vancouver, ISO, and other styles
34

Melo, Ederson Safra. "A Verdade e a concepção semântica." Florianópolis, SC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/99262.

Full text
Abstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia.<br>Made available in DSpace on 2013-03-04T18:20:01Z (GMT). No. of bitstreams: 1 304685.pdf: 971072 bytes, checksum: 940f9ef07b5012c433e861cfa5432062 (MD5)<br>Esta dissertação tem como objetivo específico apresentar, traçar considerações e discutir as teorias da verdade de Alfred Tarski e de Saul Kripke. Além disso, este trabalho analisa, de maneira geral, o conceito de 'verdade' a fim alcançar uma maior compreensão desse conceito. Ao lidarmos de maneira ampla com esse conceito complexo, apresentamos a ambiguidade do termo 'verdade' e separamos algumas possíveis acepções de tal termo sob o prisma das teorias clássicas e teorias semânticas da verdade. Com isso, destacamos a acepção e o contexto teórico de que as abordagens semânticas, de Tarski e a de Kripke, pretendem dar conta. Com base nisso, traçamos uma discussão geral sobre os portadores de verdade, considerando a posição de Tarski e Kripke diante de suas teorias. Além disso, essa investigação possibilitou delimitarmos o objetivo geral das abordagens semânticas tratadas. Tanto a abordagem ortodoxa (tarskiana) quanto a não ortodoxa (kripkeana) pretendem salvaguardar importantes intuições do termo 'verdade' e, ao mesmo tempo, evitar inconsistências tais como o paradoxo do mentiroso. Contudo, Tarski e Kripke divergem tanto nos procedimentos para alcançar esse objetivo geral quanto nas intuições que anseiam apreender com suas teorias, resultando, com isso, em diferenças interessantes entre uma abordagem e outra. Tarski, pela condição de adequação material, apreende as intuições clássicas do conceito 'verdade' e, por meio das condições de correção formal, pretende assegurar a precisão e a consistência de sua teoria. Através de um procedimento diferente, Kripke analisa situações de uso ordinário do predicado-verdade, expondo os conceitos de fundamentação (Groundedness) e ponto fixo, e relacionando-os com importantes intuições de uso do predicado-verdade; além disso, oferece, a partir deles, uma definição rigorosa de sentença paradoxal. Para lidar com o paradoxo do mentiroso, Tarski restringe sua definição às linguagens semanticamente abertas. Já Kripke preserva a consistência de sua abordagem sem exigir a abertura semântica. Todavia, enquanto que na abordagem ortodoxa o predicado-verdade é totalmente definido, na não ortodoxa tal predicado é parcialmente definido. Além de apresentar e discutir tais abordagens semânticas, traçamos algumas considerações, em linhas gerais, sobre a possibilidade de aplicação de seus métodos a línguas naturais.
APA, Harvard, Vancouver, ISO, and other styles
35

Mokva, Ana Maria Dal Zott. "A semântica na sala de aula." reponame:Repositório Institucional da UFSC, 2001. https://repositorio.ufsc.br/handle/123456789/112170.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Cizescki, Fernanda. "No limiar entre sintaxe e semântica." reponame:Repositório Institucional da UFSC, 2013. http://repositorio.ufsc.br/handle/123456789/103554.

Full text
Abstract:
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Linguística, Florianópolis, 2013<br>Made available in DSpace on 2013-07-16T21:13:41Z (GMT). No. of bitstreams: 1 316653.pdf: 1131590 bytes, checksum: ecb41db1d34181d82ac80c5d9deabe82 (MD5)<br>A presente tese aborda o conceito de gramaticalidade na obra de Chomsky como forma de trazer à tona a construção e a (in)definição desse conceito difundido na Linguística. Quanto ao seu enfoque, esse é um trabalho de cunho epistemológico e crítico, cuja reflexão visa as questões que se entrelaçam e subsidiam a(s) (in)definição(ões) do conceito de gramaticalidade. Em momento algum, reclamo a existência de uma definição estanque do conceito de gramaticalidade. Meu intuito é que ele seja pensado e refletido com base no papel que desempenha na teoria e nos estudos da Linguística. Por esse motivo, minha postura ao longo do trabalho é altamente questionadora e não é um de meus objetivos alcançar alguma definição de gramaticalidade. Nesse sentido, posso dizer que meu trabalho objetiva mais levantar questões do que respondê-las. Para a discussão específica de meu objeto de estudo, parto do princípio de que a falta de discussão sobre o conceito de gramaticalidade faz com que ele apareça, na Linguística, algumas vezes vinculado à aceitabilidade do falante, outras à interpretabilidade das sentenças, outras ainda a questões puramente sintáticas. Quanto à metodologia, minha tese é resultado de uma pesquisa bibliográfica, baseada na leitura e análise crítica e cautelosa das obras do autor em questão, bem como na análise dos fatores - a saber: as noções de gramática, sintaxe e semântica - que, suponho, interagem na formação do conceito de gramaticalidade. Partindo disso, o texto está dividido em dois momentos. O primeiro traz uma exposição crítica tanto dos principais livros de Chomsky, quanto de textos e entrevistas que não se tornaram tão relevantes e o segundo tem o intuito de suscitar a discussão sobre o conceito. Por isso, desenvolvo nele uma reflexão que se inicia com uma pergunta simples: "O que é gramaticalidade?" e desemboca na tentativa de responder a essa pergunta explorando as noções de gramática, sintaxe e semântica e suas relações com o conceito de gramaticalidade.<br><br>Abstract : This thesis is concerned with the notion of grammaticality within Chomsky`s framework as a way of bringing out the construction and the (in)definition of this concept that is spread over Linguistics. In which concerns to its focus, this is an epistemological work with a critical perspective whose questions are connected and serve as basis to the (in)definition(s) of the concept of grammaticality. During the work, I don#t claim the existence of a definition of this concept. On the contrary, my objective is to defend that we should think about it and establish a reflection about it based on its role on Chomsky#s theory and on Linguistics. For this reason, my position along this thesis is highly questioning and I can say that my work aims to raise questions instead of answering them. In order to discuss my object on inquiry, I start by saying that the lack of a definition to the notion of grammaticality is the reason why it appears in Linguistics sometimes related to the acceptability and interpretability, and other times to purely syntactic matters. Besides, this is a bibliographical research based on a careful reading of the chosen books and on a critical analysis of them and of three notions # syntax, semantics and grammar - that, I suppose, interact on the construction of the concept of grammaticality. Thus, this text is divided in two parts. The first one brings a critical review of the main works published by Chomsky as well as of texts and interviews that didn#t become famous. The second part aims to discuss the construction of the concept. That is the reason why I develop a reflection that begins with a simple question - #What is grammaticality?# - whose answer if far from simple. In trying to answer this question I explore the notions of grammar, syntax and semantics, within the chomskyan framework.
APA, Harvard, Vancouver, ISO, and other styles
37

Silva, Gezenira Rodrigues da. "Aspecto verbal: uma abordagem semântico-discursiva." http://www.teses.ufc.br, 2007. http://www.repositorio.ufc.br/handle/riufc/6099.

Full text
Abstract:
SILVA, Gezenira Rodrigues da. Aspecto verbal: uma abordagem semântico-discursiva. 2007, 102 f.Dissertação (Mestrado em Linguística) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-Graduação em Linguística, Fortaleza-CE, 2007.<br>Submitted by nazareno mesquita (nazagon36@yahoo.com.br) on 2012-08-21T13:50:43Z No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5)<br>Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2013-10-10T13:09:49Z (GMT) No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5)<br>Made available in DSpace on 2013-10-10T13:09:49Z (GMT). No. of bitstreams: 1 2007_Diss_GRSilva.pdf: 738353 bytes, checksum: 6ed3b1612bf4e01f00eea9269af7d940 (MD5) Previous issue date: 2007<br>This paper approaches the semantic-discursive behavior of the verbal Aspect in the simple forms of the tenses: Perfect Past and Imperfect Past of the Indicative mode, in a corpus of six inquiries of the database PORCUFORT - Português Oral Culto de Fortaleza. The theoretical chapters of this work retake some of the main researches made, previously, regarding the verbal Aspect; a study that adopts the way as this category is seen inside of the Semantics and of the Speech; in addition to the subject of the reference of this category in the speech and of the linguistic elements that, generally, that aid in its characterization, like the adverbs of time and the verbs argument. In the methodology, we show the analysis factors, they are: parameters of transitivity, verb types, foreground and background, and interpretation types. Thus, we have noticed that this verbal category possesses semantic-discursive characteristics that are not just conditioned by the morphological or lexical form of the verbs, but also by the arguments that accompany them, and by the discursive context in which they are inserted.<br>Esta dissertação aborda o comportamento semântico-discursivo do Aspecto verbal nas formas simples dos tempos: Pretérito Perfeito e Pretérito Imperfeito do modo Indicativo, em um corpus de seis inquéritos do Banco de Dados PORCUFORT - Português Oral Culto de Fortaleza. A fundamentação teórica deste trabalho retoma algumas das principais pesquisas feitas, anteriormente, a respeito do Aspecto verbal; um estudo que trata da maneira como esta categoria é vista dentro da Semântica e do Discurso; além da questão da referência desta categoria no discurso e dos elementos lingüísticos que, geralmente, auxiliam na sua caracterização, como: os circunstanciadores temporais e os argumentos do verbo. Na metodologia, apresentamos os fatores de análise, quais sejam: parâmetros de transitividade, tipos de verbo, figura e fundo e tipos de interpretação. Assim, conseguimos perceber que esta categoria verbal possui características semântico-discursivas que são condicionadas não apenas pela forma lexical ou morfêmica dos verbos, mas também pelos argumentos que os acompanham e pelo contexto discursivo no qual estão inseridos.
APA, Harvard, Vancouver, ISO, and other styles
38

Santos, Guilherme Henrique de Sousa. "Semântica denotacional escalável de linguagens imperativas." Universidade Federal de Minas Gerais, 2013. http://hdl.handle.net/1843/ESBF-97GNH2.

Full text
Abstract:
This dissertation presents a new methodology for the scalability problem in Denotational Semantics, named Component Based Denotational Semantics. This work uses a library of denotational semantics components, which encapsulate fundamental and recurring concepts of imperative programming languages. One of the main objectives of the library is to remove the apparent dependency on the context of constructs in the composition of their denotations. Thus, semantic definitions map the constructs of the abstract syntax of a language directly to the combination of components which model its semantics. The components encapsulate the flow of context information. The main contributions of this work are: the definition of a new methodology based on components for the writing of scalable definitions of denotational semantics that promote reuse; the implementation of a development environment for applying the methodology, which generates interpreter prototypes for a language; organization of the fundamental and recurring concepts of imperative programming languages in a library of semantic definition components; abstraction of context in denotational semantics equations.<br>Este trabalho de dissertação aborda uma nova solução para o problema de escalabilidade da Semântica Denotacional, intitulada Semântica Denotacional Baseada em Componentes. Essa técnica utiliza uma biblioteca de componentes de semântica denotacional que encapsulam conceitos fundamentais e recorrentes de linguagens de programação imperativas. Uma das principais funções da biblioteca é remover das equações semânticas a dependência aparente de contexto das construções. Dessa forma, as definições semânticas são definidas pelo mapeamento direto entre as construções da sintaxe abstrata de uma linguagem e as combinações de componentes que modelam sua semântica. O fluxo de informações de contexto é encapsulado pelos componentes. Como principais contribuições do trabalho, podem-se citar: definição de uma nova metodologia baseada em componentes para obtenção de escalabilidade e reúso em definições de semântica denotacional; a implementação de um ambiente de desenvolvimento para a metodologia, o qual permite a escrita de protótipos de interpretadores para linguagens definidas; identificação e organização dos conceitos fundamentais e recorrentes das linguagens de programação imperativas em uma biblioteca de componentes de definição semântica; abstração do contexto em equações semânticas denotacionais.
APA, Harvard, Vancouver, ISO, and other styles
39

Bastos, Erick Casagrande. "Documentação semântica na gerência de projetos." reponame:Repositório Institucional da UFES, 2015. http://repositorio.ufes.br/handle/10/1999.

Full text
Abstract:
Submitted by Maykon Nascimento (maykon.albani@hotmail.com) on 2016-05-20T18:21:14Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5)<br>Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2016-07-01T13:48:39Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5)<br>Made available in DSpace on 2016-07-01T13:48:39Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5)<br>A existência de ferramentas de software dedicadas à gerência de projetos não eliminou a utilização de documentos desktop nesse domínio. Documentos de texto e planilhas eletrônicas são utilizados no âmbito dos projetos, pois são instrumentos que permitem o registro de informações úteis para comunicação entre os envolvidos no projeto e ajudam no seu entendimento. Entretanto, uma desvantagem da utilização de documentos é a dificuldade em obter informações consolidadas a partir deles, especialmente quando essas informações estão dispersas em vários documentos. O acesso ao conteúdo de documentos tipicamente depende de intervenção humana, uma vez que os documentos foram originalmente criados para seu conteúdo ser entendido por humanos e não por computadores. Para contornar esse problema, pode-se utilizar a Documentação Semântica, que consiste na adição de metadados baseados em ontologias ao conteúdo de documentos desktop, para possibilitar que computadores interpretem seu conteúdo. Neste trabalho foi explorada a utilização da documentação semântica na gerência de projetos, visando apoiar a realização de atividades relacionadas às gerências de escopo, tempo e custos. O estado da arte de documentação semântica aplicada à gerência de projetos foi investigado em uma revisão sistemática da literatura, cujos resultados mostraram que o tópico de pesquisa é recente e ainda apresenta vários aspectos a serem explorados. Como infraestrutura para a proposta de documentação semântica apresentada neste trabalho foi escolhida a Plataforma de Gerenciamento de Documentos Semânticos (PGDS), desenvolvida por Arantes (2010), que utiliza ontologias de domínio como base para anotação de documentos, incluindo funcionalidades para extração, armazenamento e busca de conteúdo a partir de anotações semânticas. A PGDS foi evoluída neste trabalho, tanto no âmbito geral, pela inclusão de planilhas eletrônicas como um novo tipo de documento possível de ser manipulado pela plataforma, quanto no âmbito específico do domínio de gerência de projetos, pela especialização da PGDS para esse domínio através da inclusão de funcionalidades de apoio à gerência de escopo, tempo e custos. Para isso, uma ontologia para o domínio da gerência de projetos de software foi criada e teve seus conceitos, relações e propriedades explorados. Por fim, foi realizado um estudo para avaliação preliminar da proposta.<br>The existence of project management supporting tools did not eliminate the need of using desktop documents in this domain. Text documents and spreadsheets are used in the context of projects, since they are instruments to record useful information to support communication between stakeholders and understanding about the project. However, one disadvantage of using documents is the difficulty of obtaining consolidated information from them, especially when information is distributed in several documents. The access to document content typically depends on human intervention, since they were originally created to be understood by humans and not by computers. To deal with this problem, Semantic Documentation can be used. Semantic Documentation consists in adding ontology-based metadata into desktop document content so that it become available for computers interpretation. In this work we explore the use of semantic documentation in project management aiming to support activities related to scope, time and cost management. We investigated the state-of-the-art of semantic documentation applied to project management by means of a systematic literature review. The results showed us that the research topic is recent and there are several aspects to be explored. As the infrastructure to the proposal presented in this work, we choose the Infrastructure for Managing Semantic Documents (IMSD) developed by Arantes (2010). IMSD uses domain ontologies as basis to semantic documentation, including features for content extraction, storage and search using semantic annotations. We extended IMSD by making it able to work with spreadsheets. Also, we specialized IMSD to the project management domain by creating features to support activities related to scope, time and cost management. For this, a domain ontology about software project management was developed and its concepts, relations and properties were explored. Lastly, we conducted a study that served as a preliminary evaluation of the proposal.
APA, Harvard, Vancouver, ISO, and other styles
40

BASTOS, E. C. "Documentação Semântica na Gerência de Projetos." Universidade Federal do Espírito Santo, 2015. http://repositorio.ufes.br/handle/10/4296.

Full text
Abstract:
Made available in DSpace on 2016-08-29T15:33:23Z (GMT). No. of bitstreams: 1 tese_9282_Erick Casagrande.pdf: 596642 bytes, checksum: 04ed2812967a188bb14f034979931a8c (MD5) Previous issue date: 2015-10-26<br>A existência de ferramentas de software dedicadas à gerência de projetos não eliminou a utilização de documentos desktop nesse domínio. Documentos de texto e planilhas eletrônicas são utilizados no âmbito dos projetos, pois são instrumentos que permitem o registro de informações úteis para comunicação entre os envolvidos no projeto e ajudam no entendimento do projeto. Entretanto, uma desvantagem da utilização de documentos é a dificuldade em obter informações consolidadas a partir deles, especialmente quando essas informações estão dispersas em vários documentos. O acesso ao conteúdo de documentos tipicamente depende de intervenção humana, pois os documentos foram originalmente criados para seu conteúdo ser entendido por humanos e não por computadores. Para contornar esse problema, pode-se utilizar a Documentação Semântica, que consiste na adição de metadados baseados em ontologias ao conteúdo de documentos desktop, para possibilitar que computadores interpretem seu conteúdo. Neste trabalho foi explorada a utilização da documentação semântica na gerência de projetos, visando apoiar a realização de atividades relacionadas às gerências de escopo, tempo e custos. O estado da arte de documentação semântica aplicada à gerência de projetos foi investigado em uma revisão sistemática da literatura, cujos resultados mostraram que o tópico de pesquisa é recente e ainda apresenta vários aspectos a serem explorados. Como infraestrutura para a proposta de documentação semântica apresentada neste trabalho foi escolhida a Plataforma de Gerenciamento de Documentos Semânticos (PGDS) desenvolvida por ARANTES (2010), que utiliza ontologias de domínio como base para anotação de documentos, incluindo funcionalidades para extração, armazenamento e busca de conteúdo a partir de anotações semânticas. A PGDS foi evoluída neste trabalho, tanto no âmbito geral, pela inclusão de planilhas eletrônicas como um novo tipo de documento possível de ser manipulado pela plataforma, quanto no âmbito específico do domínio de gerência de projetos, pela especialização da PGDS para esse domínio através da inclusão de funcionalidades de apoio à gerência de escopo, tempo e custos. Para isso, uma ontologia para o domínio da gerência de projetos de software foi criada e teve seus conceitos, relações e propriedades exploradas. Por fim, foi realizado um estudo para avaliação preliminar da proposta.
APA, Harvard, Vancouver, ISO, and other styles
41

Sousa, José Nuno Pinto de. "Histórico de navegação da web semântica." Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11297.

Full text
Abstract:
Mestrado em Engenharia de Computadores e Telemática<br>O presente trabalho propõe a integração de elementos da Web Semântica no histórico de um navegador web usando para o efeito uma extensão ao navegador. Os elementos semânticos presentes nas páginas web, na forma de atributos especificados pelo RDFa, contêm informação que é normalmente descartada durante a navegação web. O protótipo apresentado tira partido desta informação, fornecendo ao utilizador ferramentas de pesquisa de histórico mais precisas e completas do que as já existentes no navegador. Foram criados mecanismos de processamento e visualização da informação semântica de forma a esta ser legível pelo utilizador. Foi também considerada a possibilidade de usar o mecanismo de aquisição de dados semânticos implementado para enriquecer um repositório de informação digital pessoal.<br>The presented work proposes the integration of Semantic Web elements in web browser history using a browser extension created for the purpose. The semantic markup, inserted through RDFa in web pages, contains information that is usually discarded during browser sessions. The presented prototype uses this information to provide more precise and complete history search tools to the user. The extension provides processing and visualization mechanisms aimed at improving the readability of semantic information. It was also considered the possibility of using the acquired data to enhance a personal digital information repository with the semantic browsing history.
APA, Harvard, Vancouver, ISO, and other styles
42

Piçarra, Diogo Alberto. "Sistema de pesquisa semântica de produtos." Master's thesis, Instituto Politécnico de Leiria, 2012. http://hdl.handle.net/10400.8/1331.

Full text
Abstract:
Dissertação apresentado à Escola Superior de Tecnologia e Gestão do IPL para obtenção do grau de Mestre em Engenharia Informática - Computação Móvel, orientada pelo Doutor Vítor Basto Fernandes.<br>O principal objetivo do sistema de pesquisa de alimentos desenvolvido no âmbito deste trabalho é o de suportar a identificação de alimentos a partir das suas descrições textuais para efeitos de integração de sistemas. A partilha ou adoção de normas únicas (identificadores, sintaxes, protocolos, etc.) por parte de todos os participantes envolvidos num cenário de integração de sistemas para efeitos de comércio eletrónico, em particular comércio eletrónico B2B (Business to Business), é altamente improvável. A inexistência de identificadores, sintaxes e protocolos universais, comuns a todos os participantes, é um problema típico e recorrente neste tipo de contextos. Neste trabalho propõe-se um mecanismo de identificação automática de recursos (alimentos) entre sistemas heterogéneos, em concreto, entre os sistemas de venda de produtos alimentares dos Serviços de ação social do Instituto Politécnico de Leiria e a base de dados de composição de alimentos disponibilizada pelo Instituto Nacional de Saúde Dr. Ricardo Jorge.
APA, Harvard, Vancouver, ISO, and other styles
43

Dias, Ana Maria Grund. "Estudo semântico/pragmático do E n'a relíquia." Dissertação, Porto : [Edição do Autor], 1995. http://aleph.letras.up.pt/F?func=find-b&find_code=SYS&request=000059719.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Sesterheim, Guilherme Callegaro. "Ambiente móvel para otimização de desktop semântico." Universidade do Vale do Rio dos Sinos, 2013. http://www.repositorio.jesuita.org.br/handle/UNISINOS/4280.

Full text
Abstract:
Submitted by Maicon Juliano Schmidt (maicons) on 2015-07-07T14:06:44Z No. of bitstreams: 1 Guilherme Callegaro Sesterheim.pdf: 2426478 bytes, checksum: a117a25708449aeacc29b10c7a0e280b (MD5)<br>Made available in DSpace on 2015-07-07T14:06:44Z (GMT). No. of bitstreams: 1 Guilherme Callegaro Sesterheim.pdf: 2426478 bytes, checksum: a117a25708449aeacc29b10c7a0e280b (MD5) Previous issue date: 2013-01-31<br>Nenhuma<br>Este trabalho foi desenvolvido com o objetivo de melhorar a experiência do usuário com o desktop de dispositivos que usam sistema operacional Android através de identificação de contextos de uso. Os contextos de uso foram identificados através de registros de uso de aplicativos durante utilização dos mesmos. Para tanto, diferentes técnicas foram estudadas, tanto para entender a localização do dispositivo, como também para identificar e analisar diversos trabalhos relacionados de diferentes áreas. Para entender a localização do dispositivo, diferentes hardwares e as maneiras de interagir com os mesmos foram estudadas. Hardwares de Bluetooth, Wireless, GPS, NFC, Infravermelho e acelerômetro foram estudados e sua interação foi testada para obter informações e então armazená-las. Trabalhos da área também foram estudados, tendo desde dispositivos criados com o propósito de identificar localização, até alterações no comportamento de aplicações que estamos acostumados a usar com o propósito de deixa-las mais específicas. Como resultado deste trabalho, um protótipo funcional foi criado com o propósito de melhorar a experiência do usuário com o desktop de seu smartphone. Uma maneira inteligente de arranjar e destacar os ícones do desktop, e também de alertar o usuário sobre recomendações de aplicativos baseadas em histórico de uso, foi feita para ajuda-lo com suas tarefas usuais.<br>This work was developed aiming to improve the user experience in mobile devices’ desktop that uses Android operational system using context identification. The use contexts were identified through application use registers created during their utilization. For that, different techniques were used, such as to understand the device’s localization, and also to identify the related works in different problems found in different areas. To understand the device’s localization, different hardwares and the ways to interact with them were studied. Bluetooth, Wireless, GPS, NFC, Infrared and accelerometer hardware were searched and their interaction were tested to obtain and to store their information. Works related to the area were studied, finding since entire devices created specifically to identify the localization, and other ones created to change the application’s behavior we are used to use with the purpose of making it more specific. As result of this work, a functional prototype was created to enhance the user experience with his smartphone’s desktop. A more intelligent way to rearrange and to detach the desktop icons, and also to alert the user about the recommendation, was made to help him with his usual tasks.
APA, Harvard, Vancouver, ISO, and other styles
45

Fonseca, Jansley Nobre da. "Um modelo de indexação semântica para intranet." Universidade de Fortaleza, 2002. http://dspace.unifor.br/handle/tede/69859.

Full text
Abstract:
Made available in DSpace on 2019-03-30T00:34:07Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-06-07<br>This work presents a study about information search in intranet sites, using semantic indexing and intelligent agent tecnology concepts. The necessity of major users, in intranets, for information search tools that contain reliable catalogs, easy to look their terms up, is the main question responsible for this study. Details about the modern Web information indexing tecnology are described to make an analogy study with the indexing model proposed.Initiating this work, the benefits and limitations of semantic indexing are showed to justify why this kind of indexing was choiced to insert the links in catalog created.A special chapter is dedicated to study the intelligent agent tecnology, where the state of the art is analyzed. A software agent prototype was developed to prove the efficiency of this tecnology in information search.All the stages to construct the semantic index by software agent, as well as the way to look sites up in the index, are showed too. The objective is to let all researchers in this area to know the implementation of the studied model. Ending this work, there is a description of how the prototype was tested, of what results were achieved and, finally, what conclusions were obtained.<br>Este trabalho apresenta um estudo sobre busca de informação em sites de intranet, utilizando conceitos de indexação semântica e da tecnologia de agentes inteligentes. A verificação da necessidade da maioria dos usuários, em redes intranet, por ferramentas de busca de informação que contenham catálogos confiáveis e fáceis de consultar é encarada como a questão principal responsável pela realização desse estudo. Detalhes sobre a atual tecnologia de indexação de informação na Web são apresentados para que, a partir dos mesmos, se possa fazer uma analogia com o modelo de indexação proposto. Iniciando o trabalho, os benefícios e as limitações da indexação semântica são esclarecidos para justificar o porque da sua escolha e da sua aplicabilidade nesse caso. Um capítulo especial é dedicado ao estudo da tecnologia de agentes inteligentes, no qual é realizado um levantamento completo sobre o estado da arte em que se encontra seu atual desenvolvimento. Baseando-se nesse levantamento, está demonstrada a criação de um protótipo de programa agente, utilizado para gerar subsídios que comprovem a eficiência dessa tecnologia na busca de informação. Todas as etapas para a construção de um índice semântico pelo programa agente, bem como a forma de se consultar o índice, também estão descritas. O objetivo é permitir que outros pesquisadores conheçam a forma de implementação do modelo estudado. Fechando o trabalho, existe uma descrição de como o protótipo foi testado, de quais foram os resultados alcançados e, finalmente, de quais foram as conclusões obtidas.
APA, Harvard, Vancouver, ISO, and other styles
46

Teixeira, Maria Luiza de Sousa. "A indeterminação pragmática e semântica do sujeito /." São José do Rio Preto, 2014. http://hdl.handle.net/11449/110997.

Full text
Abstract:
Orientador: Marize Mattos Dall'Aglio Hattnher<br>Banca: Flávia Bezerra de Menezes Hirata-Vale<br>Banca: Ana Cristina Jaeger Hintze<br>Banca: Eduardo Penhavel<br>Banca: Sandra Denise Gasparini Bastos<br>Resumo: A indeterminação da função sintática sujeito tem sido definida, de maneira geral, como um conceito semântico que envolve a noção de falta de referência. Neste trabalho, entretanto, objetivamos demonstrar que a indeterminação é um processo notadamente pragmático de diferentes formas de codificação morfossintáticas. Com base no aparato teórico da Gramática Discursivo-Funcional (HENGEVELD; MACKENZIE, 2008), admite-se a referência como um conceito pragmático que está intrinsecamente relacionado ao fato de o falante poder, querer ou não querer identificar um referente. Logo, o referente é construído dentro da interação, através de práticas discursivas e cognitivas social e culturalmente situadas. É no discurso, portanto, que o falante expressa a indeterminação. Com vistas a formular um conceito de indeterminação que se centre na complexidade pragmático-semântica-sintática, a descrição dessa codificação gramatical feita neste trabalho parte de córpus formado por diferentes gêneros textuais de base argumentativa da modalidade escrita da língua portuguesa do Brasil. A partir da leitura integral dos textos analisam-se as motivações dadas pela situação comunicativa para que a indeterminação seja marcada morfossintaticamente. Além da descrição de um conjunto bastante diversificado de formas indeterminadoras em língua portuguesa, os resultados permitiram identificar diferentes tipos de indeterminação, conforme ela seja definida só para o falante, só para o ouvinte ou para ambos os interactantes, o que nos levou a propor três tipos de indeterminação do sujeito. A análise integrada dos níveis pragmático, semântico e morfossintático viabilizada pelo aparato teórico da GDF permitiu esclarecer, ainda, a relação entre indeterminação e indefinição. Embora a proposta apresentada de três possibilidades indeterminadoras (Tipo 1, Tipo 2 e Tipo 3) não vise a objetivos didáticos, são apresentadas ...<br>Abstract: The indeterminacy of the syntactic function subject has been defined, generally, as a semantic concept involving the notion of lack of reference. In this study, however, we aimed to demonstrate that indeterminacy is a remarkably pragmatic process of different forms of morphosyntactic coding. Based on the theoretical approach of the Functional Discourse Grammar (HENGEVELD; MACKENZIE, 2008), the reference is assumed as a pragmatic concept that is intrinsically related to the fact that the speaker is able to, is willing or is not willing to, identify a referent. Thus, the referent is built into the interaction through discursive and cognitive practices which are socially and culturally situated. Thus, it is in the speech that the speaker expresses the indeterminacy. In order to formulate a concept of indeterminacy that focuses on its pragmatic, semantic and syntactic complexity, the description of the grammatical coding of indeterminacy is based on a sample of different textual genres of argumentative basis of written Brazilian Portuguese. Besides the description of a very diverse forms of indeterminacy strategies, the results showed different types of indeterminacy, as defined only to the speaker, to the listener only, or to both, which led us to propose three types of subject indeterminacy. The integrated analysis of pragmatic, semantic and morphosyntactic levels enabled by the theoretical approach of FDG also allowed the clarification of the relationship between indeterminacy and vagueness. Although this proposal has no intended didactic goals, some possible applications of this research for teaching purposes are discussed<br>Doutor
APA, Harvard, Vancouver, ISO, and other styles
47

Ribeiro, Julio Tollendal Gomes. "Matriz semântica para projetos aeroportuários no Brasil." reponame:Repositório Institucional da UnB, 2015. http://repositorio.unb.br/handle/10482/19033.

Full text
Abstract:
Tese (doutorado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, Departamento de Arquitetura, Programa de Pós-graduação em Arquitetura e Urbanismo, 2015.<br>Submitted by Tania Milca Carvalho Malheiros (tania@bce.unb.br) on 2015-11-26T17:36:31Z No. of bitstreams: 1 2015_JulioTollendalGomesRibeiro.pdf: 32341682 bytes, checksum: a3d6123597c107aedf4aa86f18aff9ea (MD5)<br>Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2015-12-23T14:27:10Z (GMT) No. of bitstreams: 1 2015_JulioTollendalGomesRibeiro.pdf: 32341682 bytes, checksum: a3d6123597c107aedf4aa86f18aff9ea (MD5)<br>Made available in DSpace on 2015-12-23T14:27:10Z (GMT). No. of bitstreams: 1 2015_JulioTollendalGomesRibeiro.pdf: 32341682 bytes, checksum: a3d6123597c107aedf4aa86f18aff9ea (MD5)<br>A concepção, desenvolvimento e execução de projetos de grande porte, como os do setor aeroportuário, são complexos. A otimização da gestão da informação é essencial para aumentar eficiência e transparência. Atualmente, existem diversas ferramentas computacionais capazes de auxiliar na integração e manipulação de dados, como o sistema de informação geográfica (SIG) e a modelagem da informação da construção (BIM). Contudo, tais ferramentas ainda não são utilizadas nos processos de projeto e aprovação (PPA’s) de aeroportos no Brasil, nem tampouco existem estudos voltados para a sua aplicabilidade neste setor. Esta é a situação, por exemplo, da Empresa Brasileira de Infraestrutura Aeroportuária (INFRAERO). Os PPA’s são caracterizados por elevada linearidade, que resulta em excesso de revisões de projeto e dificulta a integração das soluções de diferentes equipes e setores. O presente estudo investigou as potencialidades e limitações de tais ferramentas, por meio de um projeto piloto aplicado ao terminal de passageiros regional (TPR) da INFRAERO. Os objetivos específicos consistiram em desenvolver um processo de projetação e aprovação de projeto (matriz semântica de regras de abstração) para a sistematização dos PPA’s. Além disto, teve-se como objetivo avaliar a aplicabilidade dos sistemas BIM associada ao SIG, por meio da criação de objetos paramétricos, modelagem do TPR e simulação de três alternativas de projeto para uma torre de controle. A matriz semântica foi construída no XMind® com base em documentos oficiais e manuais operacionais da INFRAERO. Na matriz foram sistematizadas informações relevantes ao processo de projeto de arquitetura de um TPR, incluindo todos os módulos funcionais e com maior detalhamento do módulo “check in”. Para a modelagem nos ambientes BIM e SIG foram utilizados os softwares AutoDesk Revit® e AutoDesk InfraWorks®, respectivamente. Foram modelados oito componentes aeroportuários de acordo com padrões e normas nacionais, customizados com diferentes parâmetros e níveis de detalhe. Os componentes foram exportados para o ambiente SIG, analisados sob diferentes níveis de detalhe semântico e geométrico e utilizados na etapa posterior de reprodução do TPR. A modelagem do TPR foi baseada em seu memorial descritivo, plantas baixas, cortes e fachadas e em um modelo tridimensional no formato do tipo “. SKP” (do SketchUp®), todos eles fornecidos pela INFRAERO. Os resultados indicam que a associação do sistema BIM ao SIG pode aprimorar a gestão de PPA’s na INFRAERO e em outras instituições que lidem com processos semelhantes, porque permite a integração de diferentes níveis e tipos informação em relação à estrutura (geometria, especificações técnicas, propriedades físicas e estruturais, custo, etc.), e aos processos de desenvolvimento e execução de projetos (procedimentos internos, requerimentos legais, termos de referência, pareceres, memorandos, etc.). Permite ainda a integração e sinergia entre as diferentes equipes e usuários. Para sua implantação será preciso construir uma ampla biblioteca de componentes paramétricos, como aqueles desenvolvidos no presente estudo, com campos específicos de informação para sua própria estrutura organizacional. O processo de modelagem, incluindo a sistematização da matriz, permitiu identificar alterações necessárias no desenho dos processos de aprovação da INFRAERO, expressas em um fluxograma que reflete a gestão integrada de informações inerente aos sistemas BIM e SIG. ______________________________________________________________________________ ABSTRACT<br>The development and implementation of large-scale architectural projects, such as the ones in airport sector are highly complex. Optimizing information management is essential to increase their efficiency and transparency. Currently, there are several computer based tools that can assist in data processing and integration, such as geographic information systems (GIS) and building information modelling (BIM). However, such tools haven’t been used yet in the design and approval processes (DAP’s) of the Brazilian Airport Infrastructure Company (INFRAERO). Moreover, no studies have been made to investigate their applicability in company. The DAP’s at INFRAERO are highly linear, which leads to excessive revision of project designs and hinders the integration of solutions from different teams and sectors. The present study investigated the potential and limitations of the above tools, based on a pilot project for INFRAERO’s regional passenger terminal (RPT). The specific objectives were to develop a systemized database (semantic matrix of abstraction rules) of DAP’s; and to evaluate the applicability of BIM associated with GIS at INFRAERO, by creating parametric objects, modelling the RPT, and simulating three design alternatives for a control tower. The semantic matrix was constructed in XMind® and based on INFRAERO official documents and operational manuals. The matrix systematized information relevant to the architectural design process of a RPT, including all functional modules and the "check in" module at a higher level of detail. The BIM and GIS software’s used in this study were Autodesk Revit® and AutoDesk InfraWorks®, respectively. Eight airport components were modelled according to national standards and regulation, and customized with different parameters and levels of detail. The components were exported to GIS, analyzed under different levels of semantic and geometric detail and used in reproduction of the RPT design. The RPT modelling was based on its descriptive memorial, floor plans, sections and facades, and a tridimensional model in .skp format (SketchUp®), all of them provided by INFRAERO. Results indicate that incorporating BIM associated with GIS at INFRAERO can enhance the management of DAP’s because it allows the integration of different data types and levels of information related to the structure (geometry, technical, structural and physical properties, cost, etc.) and processes of project development and implementation (internal procedures, legal requirements, reference terms, memoranda, etc.), as well as the integration and synergy between different teams and users. Implementing those tools requires building a large library of parametric components, such as those developed in this study, with specific fields of information associated to the company’s organizational structure. The modeling process, including the systematization of data in the matrix, revealed the need to make structural changes in the INFRAERO’s approval processes. Those changes were described in flow chart that reflects the integrated management of information inherent to BIM and GIS systems.
APA, Harvard, Vancouver, ISO, and other styles
48

Vitaliano, Filho Arnaldo Francisco 1982. "Mecanismos de anotação semântica para workfows cientificos." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275760.

Full text
Abstract:
Orientador: Claudia Maria Bauzer Medeiros<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-18T01:37:29Z (GMT). No. of bitstreams: 1 VitalianoFilho_ArnaldoFrancisco_M.pdf: 2435279 bytes, checksum: d273e44a51be70002d918835c2e5c11b (MD5) Previous issue date: 2009<br>Resumo: O compartilhamento de informações, processos e modelos de experimentos entre cientistas de diferentes organizações e domínios do conhecimento vem aumentando com a disponibilização dessas informações e modelos na Web. Muitos destes modelos de experimentos são descritos como workflows científicos. Entretanto, não existe uma padronização para a sua descrição, dificultando assim o reaproveitamento de workflows e seus componentes já existentes. A dissertação contribui para a solução deste problema com os seguintes resultados: a análise dos problemas relativos ao compartilhamento e projeto cooperativo de workflows científicos na Web, análise de aspectos de semântica e metadados relacionados a estes workflows, a disponibilização de um editor Web de workflows usando padrões WFMC e, o desenvolvimento de um modelo de anotação semântica para workflows científicos. Com isto, a dissertação cria a base para permitir a descoberta, reuso e compartilhamento de workflows científicos nas Web. O editor permite que pesquisadores construam seus workflows e anotações de forma online, e permite o consequente teste, com dados externos, do sistema de anotações<br>Abstract: The sharing of information, processes and models of experiments is increasing among scientists from many organizations and areas of knowledge, and thus there is a need for supply mechanisms of workflow discovery. Many of these models are described as scientific workflows. However, there is no default specification to describe them, which complicates the reuse of workflows and components that are available. This thesis contributes to solving this problem by presenting the following results: analysis of issues related to the sharing and cooperative design of scientific workflows on the Web; analysis of semantic aspects and metadata related to workflows, the development of a Web-based workflow editor, which incorporates our semantic annotation model for scientific workflows. Given these factors, this work creates the basis to allow the discovery, reuse and sharing of scientific workflows in the Web<br>Mestrado<br>Banco de Dados<br>Mestre em Ciência da Computação
APA, Harvard, Vancouver, ISO, and other styles
49

Gomes, Sionise Rocha. "Anotação semântica de objetos de aprendizagem funcionais." Universidade Federal do Amazonas, 2010. http://tede.ufam.edu.br/handle/tede/2954.

Full text
Abstract:
Made available in DSpace on 2015-04-11T14:03:14Z (GMT). No. of bitstreams: 1 DISSERTACAO Sionise Rocha Gomes.pdf: 2635969 bytes, checksum: 53a27b162d98559a66bcb69e5ea795a1 (MD5) Previous issue date: 2010-08-26<br>Fundação de Amparo à Pesquisa do Estado do Amazonas<br>Media resources can be used and reused for supporting teaching and learning processes. Some of these resources are non-interactive like images, texts, videos and others enable interaction among entities, digital or not, as simulations, games and other applications. The latter are considered Functional Learning Objects (FLOs). To be reused, FLOs must be described in metadata representing both the technical and the educational aspects of the object. However, current metadata are limited in describing FLOs, especially with respect to share teaching experience in the use of the object. This limitation is caused by absence of elements and ambiguity in the vocabulary used for annotation, making it difficult to carry out context-oriented searches, and for professionals from the same domain to establish information exchange. In this context, this paper presents a metadata for description of FLOs, emphasizing different user experiences through integration of different domain ontologies.<br>Recursos de mídia podem ser usados e/ou reutilizados como materiais de apoio ao educador no processo de ensino e aprendizagem. Alguns desses materiais são inertes , como por exemplo, imagens, textos e vídeos, outros possibilitam interação entre entidades, sejam elas digitais ou não, como simulações, jogos e outras aplicações. Os recursos do segundo tipo são denominados Objetos de Aprendizagem Funcionais (OAFs). Para que possam ser reutilizados, OAFs precisam ser descritos em metadados, os quais representam tanto os aspectos técnicos do objeto, quanto os pedagógicos. Entretanto, os atuais metadados apresentam-se limitados na descrição de OAFs, principalmente no compartilhamento de experiência docente em relação ao uso do objeto. Essa limitação ocorre pela ausência de elementos e pela ambiguidade no vocabulário utilizado para anotação, dificultando a realização de buscas contextualizadas, e que profissionais do mesmo domínio estabeleçam uma troca comum de informações. Nesse contexto, este trabalho apresenta um metadado que possibilita a descrição de OAFs, enfatizando diferentes experiências de uso por meio da integração de diferentes ontologias de domínio.
APA, Harvard, Vancouver, ISO, and other styles
50

NESTOR, Paulo Henrique do Espírito Santo. "Historiografia-linguística da semântica estrutural de Greimas." Universidade Federal de Goiás, 2012. http://repositorio.bc.ufg.br/tede/handle/tde/2405.

Full text
Abstract:
Made available in DSpace on 2014-07-29T16:19:04Z (GMT). No. of bitstreams: 1 Dissertacao Paulo H E S Nestor.pdf: 1361687 bytes, checksum: 5a8a47ade153030671e653f74c72b403 (MD5) Previous issue date: 2012-02-24<br>The studies of meaning brought many internal and external controversies to the Linguistics, since the early thoughts from Plato and Aristotle in the old Greece. In the twentieth century, such discussions were intensified and built a polarization, in which there were the ones who defended the relevance of the studies on meaning, and the ones who believed to be impossible to develop those researches. In addition, the Linguistic Historiography is the approach developed in this thesis, in order to interpret the work Structural Semantics` theoretical productivity from the author Algirdas Julien Greimas, one of the linguists who defended vehemently the importance and legitimacy of the meaning analysis. Moreover, this guideline is justified due to the pertinence of this work in the linguistics setting, highlighted in different texts that deal with it as a watershed in the language studies. The Strcutural Semantics was published for the first time in French (1966), and it portrays surprisingly many aspects concerning the existing ideas in that period related to the meaning. Perhaps, Greimas lived in the most productive moment for the language studies of the twentieth century. Furthermore, it was in this period that Course in General Linguistics (Ferdinad de Saussure), Prolegomena a Theory to Language (Louis Hjelmslev), Morphology of the Folktale (Vladimir Propp) etc were published. Besides, Greimas lived for a long time in France, the epicenter of many theoretical discussions concerning both, language (langue) and language (langage). Though, his writings were not only read in this country, but also in many others, such as, Brazil where the Structural Semantics started to be part of many articles, dissertations and thesis` references. The respective work made changes in the research contexts of meaning that went beyond the linguistic semantic field, not only about the object, but also to the meaning and no longer to the sign, concerning the method that was completely different from the ones used so far in the Linguistics<br>Os estudos da significação suscitaram várias controvérsias, internas e externas à linguística, desde as reflexões iniciais de Platão e Aristóteles na Grécia Antiga. No século XX, tais discussões se intensificaram e contruíram uma polarização, na qual havia os que defendiam a importância dos estudos da significação e os que acreditavam serem impossíveis tais pesquisas. Esta dissertação realiza uma abordagem historiográfico-linguistica que busca interpretar a produtividade teórica da obra Semântica estrutural, escrita por Algirdas Julien Greimas, um dos linguisticas que defenderam com maior veemência a relevância e a legitimidade do exame acerca da significação. Tal diretriz se justifica graças à pertinência dessa obra no cenário da linguística, evidenciada nos vários textos que a tratam como um divisor de águas nos estudos da linguagem. A semântica estrutural foi publicada pela primeira em francês (1966), trata-se de um texto revelador de vários aspectos concernentes às idéias existentes nesse período relacionadas à significação. Greimas viveu durante o período que, talvez, tenha sido o mais produtivo para os estudos da linguagem no século XX. Basta lembrar que nesse intervalo foram publicadas as obras: Cursos de linguistica geral (Ferdinand de Saussure), Prolegômenos a uma teoria da linguagem (Louis Hjelmslev), muito tempo na França, epicentro da ebulição de várias discussões teóricas relativas à linguagem e à língua. Porém, seus escritos não circularam apenas nesse país, chegaram a vários outros, inclusive no Brasil, onde a Semântica estrutural passou a fazer parte de muitas bibliografias de artigos, dissertações e teses. A respectiva obra causou alterações no contexto das pesquisas acerca da significação que repercutiram além do âmbito próprio da semântica linguística, tanto no que se diz respeito ao objeto a significação e não mais o signo, quanto no que se refere ao médico, que se diferenciava drasticamente dos utilizados, até entaõ, em linguística.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!