A maioria dos algoritmos de aprendizado de máquina simbólico utilizam regras de conhecimento if-then como linguagem de descrição para expressar o conhecimento aprendido. O objetivo desses algoritmos é encontrar um conjunto de regras de classificação que possam ser utilizadas na predição da classe de novos casos que não foram vistos a priori pelo algoritmo. Contudo, este tipo de algoritmo considera o problema da interação entre as regras, o qual consiste na avaliação da qualidade do conjunto de regras induzidas (classificador) como um todo, ao invés de avaliar a qualidade de cada regra de forma independente. Assim, como os classificadores têm por objetivo uma boa precisão nos casos não vistos, eles tendem a negligenciar outras propriedades desejáveis das regras de conhecimento, como a habilidade de causar surpresa ou trazer conhecimento novo ao especialista do domínio. Neste trabalho, estamos interessados em construir regras de conhecimento com propriedades específicas de forma isolada, i.e. sem considerar o problema da interação entre as regras. Para esse fim, propomos uma abordagem evolutiva na qual cada individuo da população do algoritmo representa uma única regra e as propriedades específicas são codificadas como medidas de qualidade da regra, as quais podem ser escolhidas pelo especialista do domínio para construir regras com as propriedades desejadas. O algoritmo evolutivo proposto utiliza uma rica estrutura para representar os indivíduos (regras), a qual possibilita considerar uma grande variedade de operadores evolutivos. O algoritmo utiliza uma função de aptidão multi-objetivo baseada em ranking que considera de forma concomitante mais que uma medida de avaliação de regra, transformando-as numa função simples-objetivo. Como a avaliação experimental é fundamental neste tipo de trabalho, para avaliar nossa proposta foi implementada a Evolutionary Computing Learning Environment --- ECLE --- que é uma biblioteca de classes para executar e avaliar o algoritmo evolutivo sob diferentes cenários. Além disso, a ECLE foi implementada considerando futuras implementações de novos operadores evolutivos. A ECLE está integrada ao projeto DISCOVER, que é um projeto de pesquisa em desenvolvimento em nosso laboratório para a aquisição automática de conhecimento. Analises experimentais do algoritmo evolutivo para construir regras de conhecimento com propriedades específicas, o qual pode ser considerado uma forma de análise inteligente de dados, foram realizadas utilizando a ECLE. Os resultados mostram a adequabilidade da nossa proposta / Most symbolic machine learning approaches use if-then know-ledge rules as the description language in which the learned knowledge is expressed. The aim of these learners is to find a set of classification rules that can be used to predict new instances that have not been seen by the learner before. However, these sorts of learners take into account the rule interaction problem, which consists of evaluating the quality of the set of rules (classifier) as a whole, rather than evaluating the quality of each rule in an independent manner. Thus, as classifiers aim at good precision to classify unseen instances, they tend to neglect other desirable properties of knowledge rules, such as the ability to cause surprise or bring new knowledge to the domain specialist. In this work, we are interested in building knowledge rules with specific properties in an isolated manner, i.e. not considering the rule interaction problem. To this end, we propose an evolutionary approach where each individual of the algorithm population represents a single rule and the specific properties are encoded as rule quality measure, a set of which can be freely selected by the domain specialist. The proposed evolutionary algorithm uses a rich structure for individual representation which enables one to consider a great variety of evolutionary operators. The algorithm uses a ranking-based multi-objective fitness function that considers more than one rule evaluation measure concomitantly into a single objective. As experimentation plays an important role in this sort of work, in order to evaluate our proposal we have implemented the Evolutionary Computing Learning Environment --- ECLE --- which is a framework to evaluate the evolutionary algorithm in different scenarios. Furthermore, the ECLE has been implemented taking into account future development of new evolutionary operators. The ECLE is integrated into the DISCOVER project, a major research project under constant development in our laboratory for automatic knowledge acquisition and analysis. Experimental analysis of the evolutionary algorithm to construct knowledge rules with specific properties, which can also be considered an important form of intelligent data analysis, was carried out using ECLE. Results show the suitability of our proposal

Para o sucesso do processo de mineração de dados é importante que o conhecimento extraí?do seja compreensível e interessante para que o usuário final possa utilizá-lo em um sistema inteligente ou em processos de tomada de decisão. Um grande problema, porém, é identificado quando a tarefa de mineração de dados denominada associação é utilizada: a geração de um grande volume de regras. Taxonomias podem ser utilizadas para facilitar a análise e interpretação das regras de associação, uma vez que as mesmas provêm uma visão de como os itens podem ser hierarquicamente classificados. Em função dessa hierarquia é possível obter regras mais gerais que representem um conjunto de itens. Dentro desse contexto, neste trabalho é apresentada uma metodologia para construção semi-automática de taxonomias, que inclui procedimentos automáticos e interativos para a realização dessa tarefa. Essa combinação possibilita a utilização do conhecimento do especialista e também o auxilia na identificação de grupos. Entre os principais resultados deste trabalho, pode-se destacar a proposta e implementação do algoritmo SACT (Semi-automatic Construction of Taxonomies - Construção Semi-automática de Taxonomias), que provê a utilização da metodologia proposta. Para viabilizar a utilização do algoritmo, foi desenvolvido o módulo computacional RulEESACT. Com o objetivo de viabilizar e analisar a qualidade da metodologia proposta e do módulo desenvolvido, foi realizado um estudo de caso no qual foram construída taxonomias para duas bases de dados utilizando o RulEE-SACT. Uma das taxonomias foi analisada e validada por uma especialista do domínio. Posteriormente, as taxonomias e as bases de transações foram fornecidas para dois algoritmos de generalização de regras de associação a fim de analisar a aplicação das taxonomias geradas / I n the data mining process it is important that the extracted knowledge is understandable and interesting to the final user, so it can be used to support in the decision making. However, the data mining task named association has one problem: it generates a big volume of rules. Taxonomies can be used to facilitate the analysis and interpretation of association rules, because they provide an hierarchical vision of the items. This hierarchy enables the obtainment of more general rules, which represent a set of items. In this context, a methodology to semi-automatically construct taxonomies is proposed in this work. This methodology includes automatic and interactives procedures in order to construct the taxonomies, using the specialist?s knowledge and also assisting in the identification of groups. One of the main results of this work is the proposal and implementation of the SACT (Semi-automatic Construction of Taxonomies) algorithm, which provides the use of the proposed methodology. In order to facilitate the use of this algorithm, a computational module named RulEE-SACT was developed. Aiming to analyze the viability and quality of the proposed methodology and the developed module, a case study was done. In this case study, taxonomies of two databases were constructed using the RulEE-SACT. One of them was analyzed and validated by a domain specialist. Then the taxonomies and the databases were supplied to two algorithms which generalize association rules, aiming to analyze the use of the generated taxonomies

Esta dissertação tem por objetivo analisar os determinantes institucionais que afetam a capacidade de atuação de organismos colegiados como os Conselhos Gestores de Políticas Sociais na produção de políticas públicas. Para tanto, realiza um estudo de caso sobre o Conselho Nacional de Saúde (CNS), no período compreendido entre 1990 e 2006. Verificamos que as regras institucionais definem recursos importantes nas mãos do Poder Executivo, os quais servem como mecanismo de controle sobre o processo decisório da instituição. Trata-se do que denominamos \"instrumentos reguladores\", recursos definidos institucionalmente, utilizados pelo Ministro de Estado da Saúde para controlar a tomada de decisão por parte do Conselho, afetando o perfil de suas políticas. / The aim of the present dissertation is to analyze the institutional determinants that affect the action of collegiate bodies, such as the Managing Boards of Social Policies in the making of Public Policies. Thus, a case study is conducted on the National Health Council, in the period between 1990 and 2006. This study confirms that the institutional rules define important resources concentrated in the hands of the Executive Power and that rules are used to control the institution\'s decision-making process. Its focus is what we call regulating instruments, institutionally defined resources, used by the Health Minister in order to control the Council\'s decision making powers.

O presente estudo tem por objetivo registrar a variação dialetal no léxico do município de Guiratinga-MT. Para isto utilizou-se do Questionário Semântico-Lexical do projeto ALiB, versão 2001, na recolha in loco do corpus, a qual se deu em conformidade com os princípios metodológicos da Geolinguística atual, em três pontos do município: a sede e dois distritos.Na sede foram entrevistados 05 homens e 05 mulheres em cada uma das quatro faixas etárias estabelecidas: acima de 65 anos, 50/64 anos, 35/49 anos e 20/34 anos; no distrito 1, Alcantilado, entrevistaram-se 02 homens e 02 mulheres em cada faixa etária; no distrito 2, Vale Rico, os sujeitos entrevistados foram 03 homens e 03 mulheres, também naquelas faixas etárias. Os dados obtidos a partir dessas respostas estão em tabelas nas quais consideram ponto linguístico, faixa etária, gênero e frequência absoluta e relativa de acordo com as noções de estatística lexical de Muller. Ao final de cada área semântica expõem-se as lexias mais frequentes em histogramas, e a seguir se dão as análises, privilegiando a abordagem semântico-lexical, com base em Rastier semas inerentes e aferentes , a partir da concepção de norma de Coseriu. Enfim, a pesquisa apresenta a realidade linguística de um pequeno município do centro-oeste do Brasil, antes que ela se perca pela ação natural de dinâmica e mutabilidade da própria língua ou por questões denominadas homogeneizadoras. / The present study has as aim to register the lexical dialectal variation of Guiratinga-MT; In order to reach that objective, the Semantics-Lexical Questionnaire, of the ALiB project, version 2001, was used during the collection of corpus in loco, according to the current Geolinguistics methodological principles, in three sites: the headquarter (the town) and two districts. In the headquarter, 5 men and 5 women from each of the following age categories were interviewed: over 65 years old, 50/64 years old, 35/49 years old and 20/34 years old; in the first district, Alcantilado, 2 men and 2 women of those age categories were interviewed. The obtained data are in tables which consider linguistics point, age, gender, and, absolute and relative frequency, in accordance to Mullers lexical statistics notion. At the end of each semantical field, the most frequent lexis were exposed in histograms, followed by analysis, granting the semantical lexical approach, based on Rastier inherent and afferent semas from the model conception of Coseriu. Finally, the study presents the linguistics reality of a small town in the Brazilian Midwest, before it disappears because of the natural action of dynamics and changeability of the own language, or because of homogenizing matters.

This work discusses a way of thinking the normative practices as a phenomenon better understood through a pragmatic account of social practices. We claim that an appropriate approach to normativity should accept the presence, in the normative creature, of natural capacities intrinsically related to norm-governed activities, especially what we call a normative attitude. Thus, we present a discussion on the rule-based account of normativity understood as a sort of intersubjective practice grounded in practical skills and learning processes as well. We also indicate why the pragmatic model appropriately fits with a connectionist model of cognition. Finally, we argue that normative practices should be understood primarily in terms of internal patterns, functionally defined, instituted as nonexplicit, non-conscious individual processes. The consequence is a practical, inferentialist, connectionist, and implicit approach to the normativity. / Este trabalho discute um modo de pensar as práticas normativas como um fenômeno melhor entendido através de uma explicação pragmática das praticas sociais. Afirmamos que uma estratégia apropriada para entender a normatividade deve aceitar a presença, nas criaturas normativas, de capacidades naturais intrinsecamente relacionadas às atividades governadas por normas, especialmente o que chamamos de atitudes normativas. Assim, apresentamos uma discussão de uma abordagem da normatividade baseada em regras entendidas como um tipo de prática intersubjetiva fundada em habilidades práticas e, também, em processes de aprendizado. Indicamos, então, por que um modelo pragmático se adéqua apropriadamente a um modelo conexionista de cognição. Finalmente, argumentamos que as práticas normativas devem ser entendidas primeiramente em termos de padrões internos, funcionalmente definidos, instituídos como processos individuais não explícitos e não conscientes. A consequência é uma explicação prática, inferencialista, conexionista e implícita da normatividade.

O presente trabalho consiste em uma pesquisa sobre como adolescentes jogam e resolvem situações-problemas relativas ao Sudoku. O objetivo foi analisar o raciocínio de escolares por meio de seu desempenho nesse jogo. Poucas são as pesquisas com jogos de regras para o desenvolvimento e aprendizagem de alunos de 9º ano do Ensino Fundamental II e, por isso, o desejo em pesquisar sobre o desenvolvimento do raciocínio por meio do jogo Sudoku com essa parcela da população escolar. O ponto diferenciador de nosso trabalho é a questão da dificuldade dos alunos em justificar suas respostas às situações- problema propostas. Para tanto, a professora-pesquisadora elaborou partidas de jogo Sudoku e situações-problema relativas ao mesmo jogo e as desenvolveu com 21 alunos de 9º ano do Ensino Fundamental II de uma escola pública do município de São Paulo. A coleta de dados foi realizada durante 15 aulas por meio de protocolos elaborados pela professora-pesquisadora. Na análise desses dados coletados, investigamos o desenvolvimento do raciocínio dos alunos ao longo dos encontros por meio de suas resoluções e da linguagem que utilizaram para justificar suas respostas aos jogos e aos Enigmas Sudoku propostos. A discussão dos resultados foi orientada principalmente pelos estudos de Jean Piaget quanto ao desenvolvimento e à aprendizagem e pelo estudo de Philippe Meirieu sobre como aprender por meio de situações-problema. Os alunos avançaram consideravelmente do primeiro encontro para o último em relação aos conceitos e procedimentos relativos aos jogos e às situações-problema e, além disso, desenvolveram sua justificação lógica, permitindo concluir que as experiências por que passaram ofereceram a oportunidade de tomarem consciência dos motivos que os orientaram em suas escolhas. Consideramos essa pesquisa relevante para o campo da Psicologia do Desenvolvimento e da Aprendizagem, pois, por meio de um jogo, aprendemos a trabalhar o raciocínio e uma forma de pensar, útil para a escola e para a vida / This work is a research about how teenagers play and solve problem situations related to Sudoku. The aim was to analyze the logic of students through their performance in that game. There are not so many researches on rule games for development and learning of students in 9th grade from Elementary School and, because of this, there was the desire to research the development of logic through Sudoku game with this part of the school population. The differentiator point of this work is the question of the students difficulty to justify their answers to the proposed problem situations. For that, the teacher-researcher elaborated Sudoku matches and problem situations related to the same game and developed them with 21 students in the 9th grade of the Elementary School in a public school in São Paulo city. The data collection was done during 15 classes by protocols elaborated by the teacher-researcher. In the analysis of the collected data, we investigated the development of the students´ logic during the encounters with the solutions and the language used to justify their answers in the proposed games and puzzles. The discussion of the results was oriented by the studies of Jean Piaget on development and learning and by the studies of Philippe Meirieu on how to learn with problem situations. The students had a considerable progress from the first encounter to the last one in relation to concepts and procedures related to the game and to the problem situations and, beyond that, they developed their logical justification, allowing us to conclude that the experiences that they had endured offered them an opportunity to be conscious of the reasons that oriented them on their choices. We consider this research relevant to the Developmental and Educational Psychology field because through a game we learned to work with logic and a way of thinking, useful for school and life

Le cœur de la problématique relative aux normes non directement applicables réside dans le caractère extrêmement réducteur du raisonnement suivant : la norme est trop imprécise ou n’a pas pour objet de régir la situation juridique, elle ne peut donc pas être appliquée à une espèce sur laquelle elle n’a, par elle-même, aucun effet juridique, par conséquent le justiciable ne saurait s’en prévaloir au soutien de ses prétentions et elle doit être exclue du débat juridictionnel. L’étude commence par une analyse de la démarche d’identification de leur absence d’applicabilité directe. La logique commande de vérifier ensuite si ce caractère a pour corollaire une spécificité du régime juridique des règles : l’applicabilité correspond à une application directe aux autorités publiques et l’absence d’invocabilité de ces norme correspond à leur absence d’application directe aux individus. Or, la justiciabilité des normes non directement applicables est, en réalité, à géométrie tout aussi variable que leurs effets juridiques. Aussi est-il important d’en découvrir les raisons tant théoriques que pratiques, et de proposer d’y apporter quelques aménagements. / Invocabilité Non self-executing rules don’t generally effect, of themselves, the object to be accomplished or the people’s condition, but they are carried into execution by the public authorities of the state. Regarded as political questions by thejudges, they can’t be invoked before court : the legislature must execute them before they can become “actual” rules for the judges. The study begins with a search on the criteria that distinguish self-executing and non self-executing rules. It is thennecessary to analyse the consequences of such a qualfication on the way those rules effect the public authorities, responsible for they enforcement. They don’t operate of themselves without an implementation act, and are therefore conceived as rules adressing themselves to the political powers and not to the judges. There is a direct link that binds the state’s authorities to non self-executing rules, whereas the link between those and the people is indirect. This indirect nature manifests itself in the lack of justiciability, to which this thesis tries to find explanations and solutions.

The subject of the conflict of laws and arbitration in intellectual property rights is a complicated topic to research, because the normal rules of private international law and arbitration can be affected by the special characteristics of patents and trademarks. Some rules of these subjects might need to be reformed and in some cases there are principles that should be created to successfully handle cross-border disputes concerning patents and trademarks. Establishment of a special court with supranational jurisdiction may be required to resolve these types of disputes. Recently, this subject has been given enormous attention around the world. While the academics, legislators and forums in developed states have broadly discussed the subject of conflict of laws and arbitration in intellectual property rights, in Saudi Arabia, it has not been given noticeable attention. This thesis intends to make a significant contribution to Saudi law and provide appropriate approaches on the subject of conflict of laws and arbitration in intellectual property rights. The topics which will be covered in this thesis are the rules of international jurisdiction, the rules of choice of law, the rules for enforcement of foreign judgments and the rules of arbitration. The modification and the enhancement of the rules of private international law and arbitration established in Saudi law will be recommended and the arguments for each suggested approach will be presented.

Materialized XML views are a popular technique for integrating data from possibly distributed and heterogeneous data sources. However, the problem of the incremental maintenance of such XML views poses new challenges which to date remain unaddressed. One, XML views not only filter the data, but may radically restructure it to construct new XML nested document structures. Moreover, order is inherent in the XML model, and XML views reflect both the implicit document order of the underlying sources and the order explicitly imposed in the view definition. Therefore, order also has to be preserved at view maintenance time. In this thesis we present an algebraic approach for the incremental maintenance of XQuery views, called VOX (View maintenance for Ordered XML). To the best of our knowledge, this is the first solution to order-preserving XML view maintenance. Our strategy correctly transforms an update to source XML data into sequences of updates that refresh the view. Our technique is based on an algebraic representation of the XQuery view expression using an XML algebra. The XML algebra has ordered bag semantics; hence most of the operators logically are order preserving. We propose an order-encoding mechanism that migrates the XML algebra to (non-ordered) bag semantics, no longer requiring most of the operators to be order-aware. Furthermore, this now allows most of the algebra operators to become distributive over update operations. This transformation brings the problem of maintaining XML views one step closer to the problem of maintaining views in other (unordered) data models. We are thus now able to adopt some of the existing (relational) maintenance techniques towards our goal of efficient order-sensitive XQuery view maintenance. In addition we develop a full set of rules for propagating updates through XML specific operations. We have proven the correctness of the VOX view maintenance approach. A full implementation of VOX on top of RAINBOW, the XML data management system developed at WPI, has been completed. Our experimental results performed using the data and queries provided by the XMark benchmark, confirm that incremental XML view maintenance indeed is significantly faster than complete recomputation in most cases. Incremental maintenance is shown to outperform recomputation even for large updates.

We introduce an algorithm for mining expressive temporal relationships from complex data. Our algorithm, AprioriSetsAndSequences (ASAS), extends the Apriori algorithm to data sets in which a single data instance may consist of a combination of attribute values that are nominal sequences, time series, sets, and traditional relational values. Datasets of this type occur naturally in many domains including health care, financial analysis, complex system diagnostics, and domains in which multi-sensors are used. AprioriSetsAndSequences identifies predefined events of interest in the sequential data attributes. It then mines for association rules that make explicit all frequent temporal relationships among the occurrences of those events and relationships of those events and other data attributes. Our algorithm inherently handles different levels of time granularity in the same data set. We have implemented AprioriSetsAndSequences within the Weka environment and have applied it to computer performance, stock market, and clinical sleep disorder data. We show that AprioriSetsAndSequences produces rules that express significant temporal relationships that describe patterns of behavior observed in the data set.