Representação de categorias

Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.

MetaSketch OCL Interpreter

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.

Culture`s for us: uma plataforma para o turismo móvel

Orientador: Jos P. van Leeuwen

Erros linguísticos em textos formais de professores e de alunos: um estudo de caso

Esta é uma investigação sobre os erros linguísticos mais frequentes praticados por professores e alunos em textos formais. Trata-se de um estudo de caso, realizado numa escola pública com ensino básico e secundário da Região Autónoma da Madeira. Os testes dos alunos e as atas que os professores redigem das várias reuniões em que participam na escola constituem os corpora dos textos formais. Os informantes foram trinta e dois alunos, todos do 12º ano de cursos científico-humanísticos, e oitenta professores de diversos grupos disciplinares. Dado que não foi possível abranger todos os tipos de erros observados, optou-se por analisar as três áreas gramaticais em que a sua ocorrência foi mais problemática, a saber, ortografia, pontuação e coesão sintática, em detrimento de outras como a semântica, a lexicologia e a coerência textual. Este é um trabalho eminentemente prático que tem como objetivos primordiais enumerar os principais erros observados e comparar as diferenças de desempenho entre os dois grupos de informantes. Para isso, dividiu-se a análise em duas partes: a primeira é, essencialmente, descritiva e interpretativa; enquanto a segunda se baseia nos dados quantitativos para chegar a conclusões que, de outra forma, não seriam percetíveis. No final, sugerem-se algumas estratégias que poderão ajudar a diminuir a incidência do erro no meio escolar.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

A cultura de índio, seu menino, vem de longe aqui : formação histórica e territorialização dos Tremembé/CE

This dissertation is based on the ethnography of a strategic selection of three Tremembé ethnic situations, which are situated in the backlands of Acaraú and Itarema, municipalities located in Ceará State (Northeast Brazil). My main aims are the following. Firstly, I reconstitute the historical and social formation of three localities, called Lagoa dos Negros, Telhas, and Queimadas, related to a particular origin myth which refers to Almofala, an extinct colonial Aldeamento in the seashore, where the Tremembé indians and other native populations were converted and gathered under missionary administration. According to the origin myth, these three localities were set up after a strong drought which happened in 1888 (the so called three eights) when a group of Tremembé families moved to the countryside and established close to the Lagoa dos Negros and, later on, they were segmented into smaller groups which started to live in other areas and places not far from the former location. Notably, I develop an anthropological approach to understand the historical formation of these three localities. Secondly, I analyze some processes of territorialization, which were emerged from the 1980s and had important consequences to these indigenous families throughout the next two decades. This historical dimension is re-appropriated and ressignified in ethnic terms. A third point of my work is the analysis of the construction of territorialities and also the cultural and symbolic dimensions which are formulated by the Tremembé Indians who live in these localities. Therefore, I investigate some cultural traditions and rituals, such as the Torém dance, but I also examine their multiple semantics, which constitute a transversal direction throughout the history understood by the Tremembé of the different social situations I researched. To sum up, there is a process of cultural actualization, which is still going on and presents itself through the ludic sphere as well as their political and religions dimensions, which are usually associated to the ritual presentation of the Torém

Diferenças de gênero na produção de associações livres de palavras através do ciclo sono-vigília

Although several studies, have shown differences in cognitive performance between men and women, it not yet known whether these differences occur in tasks involving free association of words (WA). Studies across the sleep-wake cycle (SWC) suggest that rapid eye movement sleep (REM) favors semantic flexibility, in comparison with pre-sleep waking (Pre-WK), slow-wave sleep (SWS) and post-sleep waking (Post-WK). The present work has two aims: (1) to evaluate the semantic distances of word pairs produced by AP, comparing men and women, (2) to evaluate semantic distance in word pairs produced by free association across the SWC in young adults of both sexes. To achieve aim (1), we applied a task of WA in 68 adult volunteers during waking (52 women and 16 men). The WA task consisted of writing the first word that came to mind after viewing another word offered as a stimulus (root Word). To achieve aim (2), we performed polysomnography to identify specific stages of the SWC. The experimental subjects were then awakened (if they were asleep) and were immediately given a WA task. The task was administered to 2 groups of 10 subjects each (G1 and G2). G1 subjects were stimulated with the same set of root words after waking from various states of SWC, while G2 subjects received sets of different root words at each state of the SWC. In the absence of a Portuguese corpus suitable for the measurement of semantic distances, the words collected in our experiments were translated to English, and semantically quantified within a systematic and representative corpus of that language (Wordnet). This procedure removed the polysemies typical of Portuguese, but preserved the semantic macrostructure common to both languages. During waking, we found that semantic distances are significantly lower in WA produced by women, in comparison with the distances observed in men. Through the SWC, there were no statistically significant differences in G1. In G2 women, we detected a significant increase of semantic distances upon being awakened from SWS. In contrast, G2 men showed a significant increase in semantic distances upon being awakened from REM. The results of the first experiment are consistent with the notion that women have a more concrete reasoning than men. The results of the second experiment indicate that men awakened from REM present more flexibility in word association than when being awakened from other states. In contrast, women showed more flexible word association after being awakened from SWS, in compared with other states. The results indicate that the cognitive flexibility attributed to different states of the SWC shows gender dependency