Made available in DSpace on 2014-06-12T15:58:53Z (GMT). No. of bitstreams: 2 arquivo4739_1.pdf: 546621 bytes, checksum: 436ff68296454e12baa513372b9a2fe8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Semântica de ações, um formalismo para especificação de linguagens de programação, define um conjunto padrão de operadores que descrevem conceitos comuns encontrados em linguagens de programação. Estes operadores facilitam a especificação de linguagens de programação porque eles liberam o projetista de linguagens da manipulação de definições complexas usadas para descrevê-las. Entretanto, as especificações em semântica de ações não foram projetadas para serem reusadas ou estendidas. De fato, copiar/colar especificações é o único caminho para reutilizar semânticas de linguagens de programação, ou seja, é extremamente ineficiente e perigosa, no sentido de não produzir uma especificação totalmente confiável, seja por funções semânticas extremamente restritas à linguagem, seja por diferenças sintáticas mínimas que impedem uma integração adequada. Também devemos considerar o fato de que a maioria das linguagens existentes apresentam uma grande semelhança conceitual do ponto de vista semântico, uma vez que o desenvolvimento de novas linguagens de programação geralmente é influenciado por linguagens previamente existente. Portanto, o objetivo deste trabalho é, através do uso da semântica de ações baseada em componentes, uma técnica que permite melhorar a reutilização de especificações em semântica de ações, definir componentes semânticos para estruturas sintáticas abstratas, capazes de representar conceitos de linguagens de programação separados pelos diversos paradigmas de linguagens de programação existentes, e organizados de forma hierárquica garantindo assim um alto grau de reutilização semântica. Como resultados, produzimos uma biblioteca de componentes semânticos, formada pelo agrupamento de componentes semânticos capazes de representar conceitos de linguagens de expressões, imperativas, funcionais e orientada a objetos; e projetamos uma linguagem multiparadigma denominada EIFOO, formada pelo agrupamento dos componentes semânticos especificados em cada um dos paradigmas abordados neste trabalho

Orientador: Carlos Alberto Lungarzo / Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:33:33Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_D.pdf: 16832642 bytes, checksum: cf21f16c851f949466f36f0fcbc0dc58 (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Lógica e Filosofia da Ciência

Orientador: Sebastião Carlos Leite Gonçalves / Banca: Gisele Cássia de Sousa / Banca: Marize Mattos Dall'Aglio Hattnher / Banca: Angélica Terezinha Carmos Rodrigues / Banca: Taisa Peres de Oliveira / Resumo: Nosso objetivo nesta tese é analisar a multifuncionalidade dos predicados acabar, acontecer e começar, na história do português brasileiro, assumindo como quadro teórico duas teorias de mudança linguística - Lexicalização e Gramaticalização - na interface com a Gramática Discursivo-funcional (HENGEVELD e MACKENZIE, 2008). Lexicalização caracteriza-se como processo por meio do qual itens ou construções entram para o léxico da língua com um significado específico (LEHMANN, 2002a), e Gramaticalização, como processo que leva itens ou construções lexicais a assumirem, em contextos específicos, funções gramaticais ou, se já gramaticalizados, a continuar a desenvolver novas funções gramaticais, envolvendo, no decorrer do processo, pragmatização crescente de sentidos e recategorização dos itens ou construções (HOPPER & TRAUGOTT, 2003). Em acordo com modelo de descrição proposto pela Gramática Discursivo-funcional, assumimos como hipótese que a trajetória de mudança percorrida pelos predicados em análise respeita a ordem hierárquica das camadas e dos níveis de representação gramatical. A investigação empírica toma por base corpora compostos de textos históricos do português brasileiro de diferentes gêneros do discurso dos séculos XVIII ao XXI e também de dados de fala do português brasileiro contemporâneo dos séculos XX e XXI. Como resultado da pesquisa em corpora, levantamos para o predicado acabar sete diferentes padrões de uso, para acontecer, dois diferentes padrões de uso, e para começar, quatro padrões de uso, e mostramos que todos os predicados convergem, em suas respectivas trajetórias de mudança, para o mesmo padrão de uso como operador argumentativo. Essa constatação nos permitiu propor um percurso de mudança envolvendo os diferentes padrões de usos de cada um dos predicados, o qual, na arquitetura da Gramática Discursivo-funcional... / Abstract: The present study aimed to investigate the multifunctionality of the predicates acabar, acontecer and começar, in the history of Brazilian Portuguese, assuming as a theoretical framework two theories of linguistic change - Lexicalization and Grammaticalization - in interaction with the study of Functional Discourse Grammar (HENGEVELD & MACKENZIE, 2008). Lexicalization is considered here as the process through which single items or constructions become part of the language lexicon with a new specific meaning (LEHMANN, 2002a), while Grammaticalization is regarded as the process which leads items or lexical constructions to acquire, in specific contexts, grammatical functions or, if those items have already undergone grammaticalization, to continue and develop new grammatical functions. The latter process covers, throughout its development, a rising level of pragmatization of meaning and recategorization of the items and constructions involved (HOPPER & TRAUGOTT, 2003). In accordance to the model of description proposed by the theory of Functional Discourse Grammar, our hypothesis predicted that the trajectory of change perceived in the analyzed predicates would respect the hierarchical order of the layers and the levels of the grammatical representation. Empirical investigation was conducted on corpora composed of: (i) historical written texts of various discourse genres from the 18th to the 21st century; and (ii) Modern Brazilian Portuguese spoken data from the 20th to the 21st century. The results of the corpora investigation led to the findings of seven different patterns of use for the predicate acabar, two different patterns of use for the predicate acontecer and four different patterns of use for the predicate começar. We were also able to establish that all predicates converged, in their respective trajectories of change, to the same pattern of use: that of an argumentative operator... / Doutor

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2008

Este trabalho começa por abordar algumas questões gerais sobre o Tempo e o Aspecto e as suas relações. É apresentada em seguida uma tentativa de caracterização do Progressivo no Português finalizando com a avaliação do comportamento, desta estrutura relativamente a alguns operadores aspectuais e a algumas construções predicativas adjectivais.

Made available in DSpace on 2013-08-07T19:03:19Z (GMT). No. of bitstreams: 1 000445292-Texto+Completo-0.pdf: 884948 bytes, checksum: 3f82de5de5f81fd762b7d4a401f082cc (MD5) Previous issue date: 2012 / Ce travail se propose d’analyser comment la Théorie de l’Argumentation dans la Langue explique la compréhension du sens de la négation dans le discours Sentence Judiciaire, à partir des lectures sur la sémantique argumentative, créée par Oswald Ducrot et collaborateurs. De cette façon, la sémantique argumentative comprend la Théorie de l’Argumentation dans la Langue (ADL), qui considère que le sens est dans la langue. De manière à effectuer cette étude, deux Sentences Judiciaires sont analysées sur la perspective de la deuxième et de la troisième phases de l’ADL, qui correspondent, respectivement, à la Théorie Polyphonique de l’Énonciation et à la Théorie des Blocs Sémantiques. De racine structuraliste et énonciative, cette approche sématique-argumentative a été choisie d’expliquer le sens dans et pour le linguistique, de considérer que la fonction première du langage est argumenter et de vérifier la relation comme fonction élémentaire pour la constitution du sens dans le discours. fre / A proposta deste trabalho é analisar como a Teoria da Argumentação na Língua explica a compreensão do sentido da negação no discurso Sentença Judicial, a partir das leituras sobre a semântica argumentativa, desenvolvida por Oswald Ducrot e colaboradores. Nessa medida, a semântica argumentativa compreende a Teoria da Argumentação na Língua (ANL), a qual considera que o sentido está na língua. Para isso, são analisadas duas Sentenças Judiciais sob a perspectiva das segunda e terceira fases da ANL, que correspondem, respectivamente, à Teoria Polifônica da Enunciação e à Teoria dos Blocos Semânticos. Essa abordagem semântico-argumentativa, de raiz estruturalista e enunciativa, foi escolhida por explicar o sentido no e pelo linguístico, por considerar que a função primeira da linguagem é argumentar e por verificar a relação como função básica para a constituição do sentido do discurso.

Made available in DSpace on 2013-08-07T18:42:48Z (GMT). No. of bitstreams: 1 000410619-Texto+Completo-0.pdf: 1093376 bytes, checksum: 9f3a254816e018c7ea18576bcafe59c0 (MD5) Previous issue date: 2008 / The Semantic Web provides access to heterogeneous, distributed information, enabling software to attend user needs through understanding the information resources available. Agents are a promising technology for the development of Semantic Web software products. However, agent-based technologies will not become widespread until there are adequate infrastructures for the development of semantic multi-agent systems (MAS). Some challenges, such as turning software agents into a practical abstraction for dealing with ontologies and integrating distributed agents with the existing web tools still need to be addressed. This work proposes an architecture to be integrated to web servers and web browsers in order to create Semantic Domains where software agents live thus extending the Web without interfering with its current structure. These Domains turn the current requestresponse paradigm used on the Web into a hybrid request-response / peer-to-peer model. Agents living on the client’s machine in a Semantic Domain associated to a web browser are capable of contacting other agents in other Semantic Domains, and of processing semantic content annotated in Web pages. / A Web Semântica provê acesso a informações distribuídas e heterogêneas, permitindo aos softwares a mediação entre as necessidades dos usuários e as fontes de informações disponíveis. Os agentes de software são uma das tecnologias mais promissoras para o desenvolvimento da Web Semântica. Entretanto, as tecnologias baseadas em agentes não serão difundidas a menos que existam infra-estruturas adequadas para o desenvolvimento de sistemas multiagentes (SMAs). Tornar agentes de software uma abstração prática, capaz de lidar com ontologias e de ser integrado com as ferramentas Web existentes são desafios ainda existentes. Este trabalho propõe uma arquitetura para ser integrada a navegadores e a servidores Web para permitir a criação de domínios semânticos onde os agentes de software vivem, estendendo a Web, sem interferir na sua estrutura atual. Estes domínios alteram o atual paradigma request-response utilizado na Web para um paradigma híbrido requestresponse / peer-to-peer. Os agentes vivendo nas máquinas cliente em domínios semânticos associados a navegadores Web serão capazes de comunicar-se com outros agentes em outros domínios e processarem conteúdos anotados semanticamente em páginas Web.

Made available in DSpace on 2013-08-07T18:42:32Z (GMT). No. of bitstreams: 1 000439268-Texto+Completo-0.pdf: 3839238 bytes, checksum: fd0fa234ac3d8f99019784f88a77547f (MD5) Previous issue date: 2012 / The segmentation of people (automatic or semi-automatic) in still images is a very challenging task, mainly due to several factors in the real world, such as those related to the lighting of the scene where the image was captured, shadows, image noise, occlusions, high similarity of the object of interest with the background of the scene and the lack of information inherent in depth when a scene is captured into a 2D image. In this work we present a skeleton-based model for human segmentation in still images. The input data of the model, related to the skeleton model, can be obtained automatically (using an algorithm for 2D pose estimation of people in images, for example) or manually (through user interaction), depending on the particular application. The skeleton model is used to guide the segmentation by taking into account color information, brightness, angle constraints and anthropometric parameters. In a general way, the main idea of the proposed approach is to build a graph around the skeleton model, for a given input image, and find out the best path in this graph that satisfies a certain condition (e. g., the one that maximizes a certain energy criterion), thus generating the contour of the person in the picture. It is also being proposed in this work an approach to measure quantitatively the experimental results, from information provided through user interaction. The experimental results demonstrate that the proposed model generates satisfactory results for non-trivial images containing people with varied appearances and poses (containing self-occlusions), in various complex environments (and uncontrolled), with different lighting conditions and image quality. The results obtained using the proposed model was also compared with those obtained by a work considered state of the art. Our experiments indicate that the proposed model adapts better to the contours, while the human body shape priors in the confronted work enforce a smoother contour. The proposed segmentation model generates a closed contour (for each person in the image) with semantic information included, (e. g., each contour point is associated with a particular body part), which can be used for various purposes (for example, construction of virtual humans with features extracted from the image, methods for clothes estimation in images, estimation of the human shape under the clothes, etc. ). / A segmentação (automática ou semi-automática) de pessoas em imagens estáticas é uma tarefa bastante desafiadora, principalmente devido a diversos fatores do mundo real, como por exemplo, fatores relacionados à iluminação da cena onde a imagem foi capturada, sombras, ruídos na imagem, oclusão, alta similaridade do objeto de interesse com o fundo da cena e a falta de informação inerente de profundidade quando uma cena é capturada em uma imagem 2D. Nessa tese é apresentado um modelo para segmentação de pessoas em imagens baseado em esqueleto. Os dados de entrada para o modelo proposto, associados ao modelo de esqueleto, podem ser obtidos de forma automática (utilizando um algoritmo para estimativa de pose 2D de pessoas em imagens, por exemplo) ou manual (através de interação com usuário), dependendo da aplicação em questão. O modelo de esqueleto guia a segmentação da pessoa na imagem levando em consideração informações de cor, luminosidade, restrições de ângulos e parâmetros antropométricos. De uma forma geral, a idéia principal da abordagem proposta é construir um grafo ao redor do modelo de esqueleto, para uma determinada imagem de entrada, e buscar o melhor caminho nesse grafo que satisfaça uma determinada condição (por exemplo, aquela que maximiza certo critério de energia), gerando assim o contorno da pessoa na imagem. Também está sendo proposta nessa tese uma abordagem para avaliar quantitativamente os resultados experimentais obtidos, a partir de informações fornecidas através de interação com usuário. Os resultados experimentais demonstram que o modelo proposto gera resultados satisfatórios para imagens não triviais, contendo pessoas com aparências e poses variadas (podendo haver membros parcialmente ocultos), em diversos ambientes complexos (e não controlados), com diferentes iluminações e qualidade de imagem, entre outros fatores. Os resultados obtidos com a utilização do modelo proposto também foram comparados com os obtidos por um trabalho considerado estado-daarte e os experimentos indicam que o nosso modelo gera resultados mais coerentes para o contorno da pessoa, enquanto que os contornos obtidos pelo trabalho em questão apresentam formas mais suaves.O modelo de segmentação proposto é capaz de gerar um contorno fechado (para cada pessoa na imagem) contendo informação semântica, ou seja, cada ponto do contorno resultante está associado a uma determinada parte do corpo, que pode ser utilizada para diversos fins (por exemplo, construção de humanos virtuais com características extraídas da imagem, métodos para estimativa de roupas em imagens, estimativa da forma humana sobre as roupas, entre outros).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Linguística, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T02:24:44Z (GMT). No. of bitstreams: 1 290692.pdf: 699881 bytes, checksum: 94643a70b3d4c96495307f0352a98f99 (MD5) / O objetivo do presente trabalho é investigar a distribuição e interpretação do plural nu no português brasileiro (doravante PB). Para isso, começamos por mostrar, no primeiro capítulo, como a genericidade se manifesta nas línguas naturais, tomando por base o clássico estudo de Krifka et. al. (1995). Ainda no primeiro capítulo, tratamos da proposta de Carlson (1977 principalmente), que analisa o plural nu do inglês como um designador rígido, e do trabalho de Chierchia (1998), que desenvolve essa proposta e a amplia para as demais línguas através do parâmetro de mapeamento nominal. No segundo capítulo, apresentamos as análises para o plural nu do PB, mostrando que existem basicamente duas propostas: a de Müller (2000, 2002a, 2004), que entende o plural nu como um indefinido genérico, e a de Schmitt & Munn (1999, 2002) e Dobrovie-Sorin & Pires de Oliveira (2008), que entendem o plural nu do PB como nome de espécie. Além delas, Müller (2002b) argumenta em favor da ambiguidade deste sintagma. No terceiro capítulo, defendemos a análise segundo a qual o plural nu do PB é um indefinido. Para isso, mostramos que, nos testes propostos por Krifka et. al. (1995), o comportamento deste sintagma não é compatível nem com um nome de referência a espécie, nem com a análise que o toma como um elemento ambíguo (cf. Müller, 2002b). Mostramos também que o plural nu entra em relações de escopo (seguindo Pires de Oliveira & Rothstein (2010)) e tem interpretação não-contraditória em contexto de coordenação, além de se comportar como o indefinido singular em contextos de retomada por anáfora possessiva (seguindo a intuição de Viotti & Müller, 2003). Tomamos todos esses fatos como evidências em favor de nossa análise. Também mostramos que o plural nu necessita de átomos em sua denotação e que ele não necessariamente é ordenado em termos de reticulado. No quarto capítulo, mostramos que o plural nu e o singular nu apresentam diferenças em sua distribuição e interpretação, contrariamente ao que se normalmente se assume, na mesma linha de Pires de Oliveira & Rothstein (2010).

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Letras/Inglês e Literatura Correspondente / Made available in DSpace on 2012-10-23T01:48:54Z (GMT). No. of bitstreams: 1 249124.pdf: 1615970 bytes, checksum: 358ce841ca323044747a62e6581169f2 (MD5) / Essa tese propõe uma nova categoria semântica - o Benefactivo de poder Steele Weickert & Nicolacópulos, 2005a) como refinamento do modelo Nicolacópulos et al, uma abordagem semântico-pragmatica, para localizar e registrar marcas lingüísticas de poder. As marcas abarcam (i) itens lexicais referenciais que podem, ou não, gerar microcenas de poder; (ii) itens lexicais relacionais (predicadores) que compõem microcenas de poder. Uma microcena é a unidade de análise que representa, e está representado por, um conjunto de fatores: um predicador e um ou mais participantes/papéis semânticos acompanhantes alinhados com o contexto. O conceito Benefactivo de poder compreende o Benefactivo de poder positivo e negativo, assim como o quase-Benefactivo de poder. Os sites online da BBC, Telegraph e Washington Post serviram como fontes de língua em uso para construção de corpora com 200 artigos de ?hard news?. O modelo Nicolacópulos et al foi utilizado como ferramenta para analisar os textos, identificando e registrando os predicadores de poder, representando ?no poder?, ?não no poder? ou ?na disputa pelo poder? em suas microcenas. O software de Lingüística de Corpus WordSmith4 (Scott, 2004) facilita a organização e análise dos resultados. Em uma amostra aleatória de 100 microcenas Benefactivas de poder (i) 41% dos itens lexicais de poder emergem em seu sentido básico de poder, e (ii) 59% são metáforas Benefactivas de poder que assumiram o sentido de poder, tendo se originado em outro (sub)domínio semântico e se deslocado para o (sub)domínio Benefactivo de poder. Essa pesquisa aponta que essa família de predicadores de poder ocorre em abundância na língua em uso demonstrando a importância do conceito Benefactivo de poder para registrar lingüísticamente marcas de poder.