34 resultados para Abordagem baseada em tarefas
Resumo:
Este trabalho propõe-se a estudar os sentidos das preposições essenciais do português, a partir da Teoria da Enunciação de Émile Benveniste. As preposições consideradas advêm de um corpus de dados retirado de gramáticas contemporâneas do português. Ao abordar a descrição do sentido das preposições nas gramáticas e estudos lingüísticos brasileiros, constatamos que essa descrição é baseada em noções paradigmáticas constantes e genéricas, tais como espaço e tempo. A partir dos textos de análise de Benveniste, constatamos que o estudo da língua depende da consideração de uma dupla sintaxe, a saber, sintaxe da língua e sintaxe da enunciação, de uma dupla definição de sentido, a saber, valor e referência, de uma dupla definição de unidade, a saber, locução e enunciado e de uma dupla definição de língua, a saber, língua enquanto sistema de signos (língua) e língua enquanto comunicação intersubjetiva (língua-discurso). Constatamos ainda que a dupla consideração do sentido depende da postulação de uma unidade intermediária entre língua e língua-discurso, dita locução ou signo-palavra. Além disso, tal estudo nos mostra que uma metodologia de análise do sentido depende da simultânea consideração das relações de dissociação de forma e integração de sentido entre signos-palavra. A partir do estudo dos textos da Teoria da Enunciação, observamos que, para o estudo do sentido das preposições, devemos considerar que o significado genérico e repetível da locução na língua é determinado pela referência única e irrepetível da locução no enunciado Assim, as noções genéricas de espaço e tempo das preposições enquanto signo transformam-se em sentidos particulares a partir das relações sintagmático-semânticas de integração da preposição enquanto signopalavra. Para estudar os sentidos das preposições, construímos um corpus de fatos constituído de textos extraídos da versão online do jornal Zero Hora do ano de 2004. Com o auxílio do aplicativo Wordsmith, identificamos a estrutura de locuções da língua enquanto sistema de signos. A partir de 24 análises enunciativas das preposições, constatamos que as noções de espaço ou de tempo das preposições são determinadas pela posição singular que o locutor e, por vezes, o alocutário ocupa em cada enunciado, ou seja, pela sintaxe da enunciação.
Resumo:
Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.
Resumo:
A presente dissertação apresenta a análise dos classificadores nominais específicos chineses, embasada na Lingüística Cognitiva, tendo como arcabouço teórico a Semântica Cognitiva Experiencialista e a Teoria Prototípica, visando a revelar as motivações semânticas subjacentes e as propriedades de categorização dos classificadores nominais chineses, quando colocados junto a substantivos. Foram analisados todos os classificadores nominais, a partir dos modelos da Semântica Cognitiva Experiencialista, baseados em Lakoff (1987). A amostragem envolveu dados retirados de livros, revistas e internet e da própria experiência vivencial de pesquisadora. Estão descritas as análises de dez classificadores, selecionados pela relevância cultural e potencial de explicitação dos aspectos discutidos. O estudo revela que a combinação de classificadores com substantivos não é arbitrária, como alguns lingüistas chineses acreditam, mas, sim, um reflexo da interação humana com o mundo objetivo, baseada na cognição.
Resumo:
Este trabalho analisa os efeitos econômicos da competição tributária regional a partir de uma metodologia de equilíbrio geral computável. O objetivo é investigar se a competição tributária regional pode ser consistente com um equilíbrio welfare-improving quando as externalidades fiscais, subjacentes às mudanças estratégicas na política tributária dos governos regionais e às regras do federalismo fiscal vigente no Brasil, são plenamente assimiladas nos payoffs dos agentes econômicos. Para tanto, foi elaborado um modelo inter-regional de equilíbrio geral computável que divide a economia brasileira em duas regiões integradas, o Rio Grande do Sul e o Restante do Brasil. Este modelo foi utilizado para implementar dois experimentos de simulação sobre políticas contra-factuais de competição fiscal. O primeiro experimento avalia os efeitos de uma política regional de incentivo realizada pelo governo estadual gaúcho, baseada na renúncia tributária do ICMS, visando a atração de novos investimentos. Este experimento considera que os novos investimentos são exógenos à região e ao país como um todo e não se assume resposta estratégica do governo do Restante do Brasil. Os resultados mostram que a política é welfare-improving para as duas regiões e gera um retorno tributário líquido positivo para o governo do Rio Grande do Sul. Contudo, o efeito sobre as finanças do governo do Restante do Brasil é negativo, resultado que pode ser visto como um fator de incentivo para uma resposta política de competição fiscal. O segundo experimento avalia os efeitos de políticas de competição tributária regional entre os governos estaduais, assumindo-se que as alíquotas do ICMS são utilizadas como instrumentos estratégicos num jogo não cooperativo para atração de fatores produtivos. O experimento foi implementado para três fechamentos fiscais distintos com a finalidade de avaliar a sensibilidade dos resultados. O primeiro fechamento assume um regime fiscal do tipo soft budget constraint pelo qual o déficit orçamentário é a principal variável endógena para acomodar os custos da competição; o segundo fechamento assume um regime fiscal do tipo hard budget constraint pelo qual o consumo dos governos regionais (provisão de bens públicos) é a principal variável endógena; o terceiro fechamento considera o governo federal como um terceiro player no jogo de competição tributária regional e assume que a alíquota do imposto sobre a renda é a principal variável endógena de ajuste fiscal para capturar o papel das ligações verticais via mecanismos de transferências. Independente do fechamento fiscal, constata-se que a competição tributária gera um equilíbrio welfare-improving, mas o nível dos efeitos de bem-estar é bastante diferenciado entre os fechamentos. Constata-se ainda que o equilíbrio de Nash é do tipo race-to-the-bottom para as alíquotas de ICMS nos dois primeiros fechamentos, mas é race-to-the-top no terceiro porque a estratégia ótima do governo federal força os governos regionais a um equilíbrio com alíquotas de ICMS mais elevadas. As externalidades fiscais têm um papel crucial nos resultados encontrados, particularmente no segundo experimento, pois aliviam a necessidade de ajuste na provisão de bens públicos provocada pelo equilíbrio race-to-the-bottom e, assim, permitem que os ganhos de bem-estar do consumo privado superem as perdas decorrentes da redução na provisão de bens públicos.