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

Entre a Anta e a Cruz: história e memória da cidade de Nova Cruz - RN

Dans ce travail, nous étudions la construction narrative du passé de la ville de Nova Cruz, dans l´agreste potiguar. Les récits soulignent l´existence d´un corpus narratif homogène qui fait référence à l´occupation du lieu et à l´évangelisation de ses habitants. Ainsi, les images des saints et des missionaires civilisateurs de l´espace qui domestiquent les manifestations d´un esprit autochtone sauvage, habitants du milieu naturel, sont recurrentes dans la description des personnages du passé. Observant la continuité sémantique des différentes versions de l´histoire de la ville, nous nous proposons d´analyser d´une manière conjointe les textes de l´historiographie locale et les témoignages oraux collectés. Comme il a été possible de le constater, les chemins de l´écrit et de l´oral se croisent en plusieurs occasions, obéissant à des logiques locales de représentations du passé. Ainsi, notre étude porte sur des champs communs à l´Anthropologie, à l´Histoire e à la Littérature. Les reconstructions narratives du passé local sont aussi activées par des faits plus récents, des "marques de la mémoire" comme le marché, le train, la croix et le réservoir, symboles d´une époque d´abondance qui suit l´action civilisatrice des personnages ancestraux

Adrien-Marie Legendre (1752-1833) e suas obras em Teoria dos Números

The present thesis is an analysis of Adrien-Marie Legendre s works on Number Theory, with a certain emphasis on his 1830 edition of Theory of Numbers. The role played by these works in their historical context and their influence on the development of Number Theory was investigated. A biographic study of Legendre (1752-1833) was undertaken, in which both his personal relations and his scientific productions were related to certain historical elements of the development of both his homeland, France, and the sciences in general, during the 18th and 19th centuries This study revealed notable characteristics of his personality, as well as his attitudes toward his mathematical contemporaries, especially with regard to his seemingly incessant quarrels with Gauss about the priority of various of their scientific discoveries. This is followed by a systematic study of Lagrange s work on Number Theory, including a comparative reading of certain topics, especially that of his renowned law of quadratic reciprocity, with texts of some of his contemporaries. In this way, the dynamics of the evolution of his thought in relation to his semantics, the organization of his demonstrations and his number theoretical discoveries was delimited. Finally, the impact of Legendre s work on Number Theory on the French mathematical community of the time was investigated. This investigation revealed that he not only made substantial contributions to this branch of Mathematics, but also inspired other mathematicians to advance this science even further. This indeed is a fitting legacy for his Theory of Numbers, the first modern text on Higher Arithmetic, on which he labored half his life, producing various editions. Nevertheless, Legendre also received many posthumous honors, including having his name perpetuated on the Trocadéro face of the Eiffel Tower, which contains a list of 72 eminent scientists, and having a street and an alley in Paris named after him

Já li muita coisa, então, eu posso inventar mais! A leitura literária e o desenvolvimento do pensamento criativo na infância

This study investigates the contributions of reading literature for the development of creative thinking in childhood. Its relevance consists in exploring practices that contemplate the creative thinking development in apprentices at school space and understanding the literature like a significant way to promote the creative thinking. The study is connected to the qualitaty strand. The exploratory observation and the intervention were adopted as research techniques. The field diary and the audio and video recording of the reading sections were adopted as methodological instruments. The research was conducted in the application s college from the Federal University of Rio Grande do Norte, in a 1th grade class, with 18 students between 6 and 7 years old. During the intervention, 8 readind class happened, with varied strategies and literary genres. The reading sessions were conducted through the principles of scaffolding, defended by Graves and Graves (1995). The corpus is made of speaks episodes, whose encoding semantics allowed the grouping into two central categories: divergent thinking and coauthoring of literary reader. It was taken as a theoretical framework the studies of Amarilha (2011; 2006; 2001; 1991; 1993; 1994), Alencar (2001), Coelho (2000; 1997), Culler (1999), De Masi (2005), Gallo (2000), Guilford (1977), Iser (1996), Jouve (2002), Kneller (1978), Martínez (1997), Smith (2003), Stierle (1979), Vigotski (2009; 1998), Wechsler; Nakano (2003; 2002). The analysis points to the formation of creative individuals in the classroom, through the reading of literature. Reposition the literary education front of the new social demands. Resizes the function of school in children s development, considering the children s skill in exploring, testing hypotheses and making use of their creative thinking, in climate of freedom mental. It signals, in this way, the teacher like a mediator, promoting a favorable to the development of creative thinking environment, a stimulating atmosphere, which enhances the expression of creative thinking in community

EIT: Escalonador Inteligente de Transações

In order to guarantee database consistency, a database system should synchronize operations of concurrent transactions. The database component responsible for such synchronization is the scheduler. A scheduler synchronizes operations belonging to different transactions by means of concurrency control protocols. Concurrency control protocols may present different behaviors: in general, a scheduler behavior can be classified as aggressive or conservative. This paper presents the Intelligent Transaction Scheduler (ITS), which has the ability to synchronize the execution of concurrent transactions in an adaptive manner. This scheduler adapts its behavior (aggressive or conservative), according to the characteristics of the computing environment in which it is inserted, using an expert system based on fuzzy logic. The ITS can implement different correctness criteria, such as conventional (syntactic) serializability and semantic serializability. In order to evaluate the performance of the ITS in relation to others schedulers with exclusively aggressive or conservative behavior, it was applied in a dynamic environment, such as a Mobile Database Community (MDBC). An MDBC simulator was developed and many sets of tests were run. The experimentation results, presented herein, prove the efficiency of the ITS in synchronizing transactions in a dynamic environment

SISOnt: sistema de informação em saúde baseado em ontologias

The sharing of knowledge and integration of data is one of the biggest challenges in health and essential contribution to improve the quality of health care. Since the same person receives care in various health facilities throughout his/her live, that information is distributed in different information systems which run on platforms of heterogeneous hardware and software. This paper proposes a System of Health Information Based on Ontologies (SISOnt) for knowledge sharing and integration of data on health, which allows to infer new information from the heterogeneous databases and knowledge base. For this purpose it was created three ontologies represented by the patterns and concepts proposed by the Semantic Web. The first ontology provides a representation of the concepts of diseases Secretariat of Health Surveillance (SVS) and the others are related to the representation of the concepts of databases of Health Information Systems (SIS), specifically the Information System of Notification of Diseases (SINAN) and the Information System on Mortality (SIM)