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.

Comparação e validação de vários métodos de mapeamento cortical para o planeamento pré-cirúrgico por Imagem Funcional de Ressonância Magnética

Na análise funcional de imagens do cérebro podem utilizar-se diferentes métodos na identificação de zonas de activação. Tem havido uma evolução desde o método de correlação [19], para outros métodos [9] [14] até o método baseado no modelo linear generalizado que é mais comum ser utilizado hoje e que levou ao pacote de software SPM [15]. Deve-se principalmente à versatilidade que o método tem em realizar testes com diferentes objectivos. Têm sido publicados alguns estudos comparativos. Poucos têm sido quantitativos [20] e quando o são, o número de métodos testados é reduzido[22]. Há muitos estudos comparativos do ponto de vista da estatística envolvida (da matemática) mas que têm em geral apenas ns académicos. Um objectivo deste estudo é comparar os resultados obtidos por diferentes métodos. É de particular interesse averiguar o comportamento de cada método na fronteira do local de activação. As diferenças serão avaliadas numericamente para os seguintes métodos clássicos: t de Student, coeficiente de correlação e o modelo linear generalizado. Três novos métodos são também propostos - o método de picos de Fourier, o método de sobreposição e o método de amplitude. O segundo pode ser aplicado para o melhoramento dos métodos de t de Student, coe ciente de correlação e modelo linear generalizado. Ele pode no entanto, também manter-se como um método de análise independente. A influência exercida em cada método pelos parâmetros pertinentes é também medida. É adoptado um conjunto de dados clínicos que está amplamente estudado e documentado. Desta forma elimina-se a possibilidade dos resultados obtidos serem interpretados como sendo específicos do caso em estudo. Há situações em que a influência do método utilizado na identificação das áreas de activação de imagens funcionais do cérebro é crucial. Tal acontece, por exemplo, quando um tumor desenvolve-se perto de uma zona de activação responsável por uma função importante . Para o cirurgião tornase indispensável avaliar se existe alguma sobreposição. A escolha de um dos métodos disponíveis poderá ter infuência sobre a decisão final. Se o método escolhido for mais conservador, pode verificar-se sobreposição e eliminar-se a possibilidade de cirurgia. Porém, se o método for mais restritivo a decisão final pode ser favorável à cirurgia. Artigos recentes têm suportado a ideia de que a ressonância magnética funcional é de facto muito útil no processo de decisão pré-operatório [12].O segundo objectivo do estudo é então avaliar a sobreposição entre um volume de activação e o volume do tumor. Os programas informáticos de análise funcional disponíveis são variados em vários aspectos: na plataforma em que funcionam (macintosh, linux, windows ou outras), na linguagem em que foram desenvolvidos (e.g. c+motif, c+matlab, matlab, etc.) no tratamento inicial dos dados (antes da aplicação do método de análise), no formato das imagens e no(s) método(s) de análise escolhido(s). Este facto di culta qualquer tentativa de comparação. À partida esta poderá apenas ser qualitativa. Uma comparação quantitativa implicaria a necessidade de ocorrerem três factos: o utilizador tem acesso ao código do programa, sabe programar nas diferentes linguagens e tem licença de utilização de software comercial (e.g. matlab). Sendo assim foi decidido adoptar uma estratégia unificadora. Ou seja, criar um novo programa desenvolvido numa linguagem independente da plataforma, que não utilize software comercial e que permita aplicar (e comparar quantitativamente) diferentes métodos de análise funcional. A linguagem escolhida foi o JAVA. O programa desenvolvido no âmbito desta tese chama-se Cérebro.

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

Inteligência emocional: a compreensão das emoções em crianças do pré-escolar

A inteligência emocional (IE) tem sido geralmente estudada no contexto da compreensão do funcionamento do adulto (Hall, Geher, & Brackett, 2004). Como tal, muitos aspectos da IE têm sido raramente estudados em crianças (Lahaye et al., 2010). Este estudo procura estudar e medir em crianças do pré-escolar a compreensão emocional (CE), um construto complexo, considerado componente-chave da IE das crianças pequenas (Denham et al., 2003). Especificamente, o estudo analisa as relações do desenvolvimento cognitivo, temperamento, relação com os pares, género, idade, estatuto socioeconómico e número de irmãos com a CE. A amostra é constituída por 140 crianças entre os 4 e 6 anos, às quais foram administradas o Test of Emotion Comprehension (TEC, Pons, Harris, & de Rosnay, 2004), as Matrizes Progressivas Coloridas de Raven (MPCR, aferida por Simões, 2000), a Escala de Personalidade da Criança (EPC, Dibble & Cohen, 1974) e uma análise sociométrica (Peceguina, Santos, & Daniel, 2008). Os resultados indicam correlações entre a CE e o desenvolvimento cognitivo e o temperamento, não existindo uma sobreposição entre estes três construtos. A CE é um construto desenvolvimental que vai aumentando através da idade, e que influencia as relações da criança com os pares. Os resultados desten estudo fornecem pistas relevantes para intervenções que visem a promoção de competências socio-emocionais.

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