Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5) / Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função. / In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege´s system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-10-14Bitstream added on 2014-06-13T18:52:59Z : No. of bitstreams: 1 dias_chbb_me_rcla.pdf: 692647 bytes, checksum: 869fdb9734d900054c9edcfce9ca37cc (MD5) / Universidade Estadual Paulista (UNESP) / Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais paradoxos sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre fuzziness e probabilidade, incluindo uma demonstração de que fuzziness, de fato, existe / Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more paradoxes without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between fuzziness and probability, including a demonstration that fuzziness in fact, exists

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-21Bitstream added on 2014-06-13T20:27:35Z : No. of bitstreams: 1 rodrigues_gcl_me_mar.pdf: 1075481 bytes, checksum: aaa7d51ba45d757b5a6f878845828d93 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Tradicionalmente a ação é explicada na Filosofia por meio de teorias que a consideram como o efeito de uma ou várias causas (DAVIDSON, 1968, 1980). Embora o princípio da causalidade mecânica – entendida como causa eficiente − seja satisfatório para explicar uma gama de eventos físicos, ele se mostra insuficiente na explicação da ação, conforme ressaltam filósofos, tais como von Wright (1973), Dretske (1981, 1988, 1995), Juarrero (1999), Emmeche (2006, 2007), Gonzalez (2005, 2006, 2007) e Üexküll (1982). No âmbito humano, por exemplo, esses filósofos indicam limites e problemas relativos à tentativa de explicar a ação como o resultado de uma sequencia de causas eficientes. Neste sentido, o objetivo da presente dissertação é analisar e discutir problemas centrais da filosofia da ação, em especial: (i) a distinção entre movimento e ação; (ii) limites da causalidade na explicação da ação; (iii) alcance da abordagem informacional da ação; (iv) a pertinência da concepção pragmática de informação genuína na explicação da ação significativa. No que diz respeito ao problema (i), focalizamos o papel da intenção presente na ação que a distingue de movimento. No que diz respeito ao problema (ii), examinamos em que medida seria válido o pressuposto segundo o qual uma teoria é explicativa quando descreve as causas mecânicas envolvidas na ação. Nossa hipótese central é a de que as explicações da ação não deveriam se limitar à relação causal mecânica, porque a ação, além do elemento causal, comporta uma intermediação sígnica que não se reduz ao plano diádico da ação-reação. Seguindo as trilhas de filósofos estudiosos da teoria da informação, argumentamos, na discussão do problema (iii), que a explicação da ação extrapola o domínio causal diádico e incorpora um patamar que inclui a manipulação de informação... / Action is traditionally explained in philosophy by means of theories that consider it to be the effect of one or several causes (DAVIDSON, 1968, 1980). Although the principle of mechanical causality – understood as efficient cause – may be sufficient to explain a range of physical events, it has been found to be inadequate to explain action, as pointed out by philosophers including von Wright (1973), Dretske (1981, 1988, 1995), Juarrero (1999), Emmeche (2006, 2007), Gonzalez (2005, 2006, 2007) and Üexküll (1982). In the human domain, for example, these philosophers indicate the existence of limits and difficulties related to the attempt to explain action as the result of a sequence of efficient causes. Hence, the objective of the present work is to analyze and discuss central problems of the philosophy of action, especially: (i) the distinction between movement and action; (ii) limits of causality in the explanation of action; (iii) extent of the informational approach to action; (iv) relevance of the pragmatic conception of genuine information in explanation of meaning action. Concerning problem (i), we focus on the role of intention, which is present in action and distinguishes it from movement. To address problem (ii), we examine the validity of the presupposition according to which a theory is explanatory when it describes the mechanical causes involved in action. Our central hypothesis is that explanations of action should not be limited to the mechanical causal relationship, because action, besides the causal element, also depends on an intermediation driven by signs that cannot be reduced to the dyadic plane of action-reaction. Following the line taken by earlier philosophers, in discussion of problem (iii), we argue that the explanation of action must extend beyond the dyadic causal domain and incorporate a level that includes the manipulation of meaningful information. In ... (Complete abstract click electronic access below)

[pt] O objetivo deste trabalho é investigar a utilização de um Sistema de Inferência Fuzzy (Fuzzy Inference System) para projetar um sistema de controle semiautônomo adequado a veículos militares, a partir do qual serão definidos valores para o Nível de Intervenção de um controlador automático. São apresentados conceitos básicos sobre a aplicação de Sistemas de Infer ência Fuzzy para a concepção de um ponderador de sinais e sobre a teoria de Controladores Preditivos Baseados em Modelo (Model Predictive Controllers), utilizados na implementação do sistema proposto. A partir da modelagem matemática do sistema dinâmico veicular foram obtidos resultados de simulações do veículo militar enquanto operado em situações perigosas e em que se faça necessária a intervenção do controlador, por exemplo, na presença de ameaças inimigas hostis ou em manobras altamente desestabilizadoras. O comportamento da variável de intervenção do controlador é apresentado por meio de suas curvas de evolução, e indica o seu aumento de acordo com o crescimento do nível de ameaça à qual o veículo está exposto. Os resultados são analisados criticamente, e conclui-se que o uso do sistema proposto resulta em um aumento qualitativo na segurança do veículo, tornando-o um sistema militar mais eficiente, com maior capacidade operacional, além de melhorar as habilidades de seu condutor. / [en] The purpose of this work is to investigate the use of Fuzzy Inference Systems to design an appropriate semi-autonomous control system for military vehicles, from which the choice of the automatic controller intervention level would be achieved. Basic concepts about the application of Fuzzy Inference Systems for the design of a weighted signal generator and about the Model Predictive Controllers theory are presented. These concepts were used for the implementation of the proposed semiautonomous control system. From the mathematical model of the vehicular dynamic system, results were obtained through simulated tests where the military vehicle was being operated in hazardous situations and in which the intervention of the automatic controller was necessary, e.g., in the presence of hostile enemy threats or in highly destabilizing maneuvers. The behavior of the controller s intervention variable is presented through its evolution curves and indicates its increase accordingly to the growth of the threat level to which the vehicle is exposed. The results are criticyzed, and it is concluded that the use of the proposed system will result in a qualitative increase in vehicle s safety, making it a more efficient military system, with greater operational capacity and enhancing the skills of its driver.

A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. Dentre os problemas que devem ser solucionados para exploração adequada do paralelismo, encontra-se a analise de granulosidade. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que devendo ser executados seqüencialmente num único processador. Basicamente, esta analise consiste de uma refinada identificação dos grãos, visando a máxima eficiência na exploração do paralelismo. Neste sentido, devem ser realizadas considerações sobre dependências, complexidade dos grãos e custos envolvidos na paralelização. Recentemente, a analise de granulosidade na programação em lógica tem recebido atenção especial por parte dos pesquisadores. Os grãos podem ser identificados pelo programador através de primitivas de programação ou podem ser detectados automaticamente pelo sistema paralelo. Na programação em lógica, a exploração automática do paralelismo é estimulada, devido ao paralelismo implícito existente na avaliação das expressões lógicas. Além disso, a programação em lógica permite uma clara distinção entre a semântica e o controle da linguagem, proporcionando uma abordagem distinta entre a descrição do problema e o caminho para obtenção das soluções. A detecção automática do paralelismo permite o aproveitamento de programas já existentes, alem de liberar o programador do encargo de paralelizar o problema. Este trabalho dedica-se ao estudo da analise automática de granulosidade na programação em lógica. O texto propõe um modelo para geração de informações de granulosidade, denominado GRANLOG (GRanularty ANalyzer for LOGic Programming). O GRANLOG realiza uma analise estática de um programa em 16aica. Dessa analise resulta o programa granulado, ou seja, o programa original acrescido da anotação de granulosidade. Esta anotação contem diversas informações que contribuem de forma significativa com a exploração adequada do paralelismo na programação em lógica. Durante o desenvolvimento do GRANLOG foram exploradas diversas áreas de pesquisa da programação em lógica, dentre as quais destacam-se: analise de modos, analise de tipos, análise de medidas para mensuração do tamanho de termos, interpretação abstrata, analise de dependências e analise de complexidade. A integração destes t6picos torna o GRANLOG uma rica fonte de pesquisa. Além disso, a organização modular da proposta permite o aprimoramento independente de suas partes, tornando a estrutura do modelo uma base para o desenvolvimento de novos trabalhos. Além do modelo, o texto descreve a implementação de um protótipo e propõe duas aplicações para as informações de granulosidade, ou seja, auxilio a decisões de escalonamento e simulação da execução de programas. O texto apresenta ainda uma proposta para integração do GRANLOG a um modelo para execução paralela de programas em lógica, denominado OPERA. O OPERA dedica-se a exploração do paralelismo na programação em lógica e possui atualmente um protótipo para execução paralela de programas em lógica em redes de computadores. Os bons resultados obtidos com a integração OPERA-GRANLOG demonstram a relevância das informações geradas pelo modelo proposto neste trabalho. Encontra-se ainda neste texto uma proposta para inclusão do GRANLOG numa interface gráfica, denominada XOPERA. Esta interface permite a execução do protótipo OPERA e, a partir deste trabalho, gerencia também o protótipo GRANLOG. A inclusão da gerencia do GRANLOG na interface XOPERA, contribui de forma substancial para a integração OPERA-GRANLOG. / The exploitation of parallelism in logic programming is considered an alternative for simplifying the task of programming parallel machines. Also, it provides a way to increase the performance of logic programs. Because of this, integrating parallel systems with parallel programmin g has been a topic of much interest in the scientific comunity, in the last years. Among the problems that must be solved for the adequate exploitation of parallelism, there is the granularity analysis. Granularity analysis determines the size of the grains, that is, the complexity of the modules that must be sequentially executed in a single processor. Basically, this analysis consists of a refined identification of the grains, aiming the maximum efficiency in the parallelism exploitation. In this sense, considerations must be taken about dependencies, grain complexity and costs involved in the parallelizing process. Recently, many researchers have given special attention to the granularity analysis of logic programming. The grains may be identified by the programmer via programming primitives, or they may be automatically detected by the parallel system. In logic programming, the automatic exploitation of parallelism is stimulated, because of the implicit parallelism that exists in the evaluation of the logic expressions. Besides, logic programming allows a clear distinction between the semantics and the control of the language, providing a distinct approach between the problem description and the way to obtain the results. The automatic detection of parallelism permits the utilization of already written programs, also freeing the programmer from parallelizing the program by hand. This work is dedicated to the study of automatic granularity analysis in logic programming. The text proposes a model for generating granularity informations, called GRANLOG (GRanularity Analyzer for LOGic Programming). GRANLOG performs a static analysis of a logic program. From this analysis, it results a granulated program, that is, the original program increased by the granularity annotation. This annotation has several informations that contribute in a significant way to the adequate exploitation of parallelism in logic programming. During the development of GRANLOG, several research areas have been explored, namely, mode analysis, type analysis, measure analysis for measuring the size of terms, abstract interpretation, dependencies analysis and complexity analysis. The integration of these topics makes GRANLOG a good source for researchs. Besides, the modular organization proposed permits the independent improvement of its parts, making of the model structure, a base for the development of new works. Besides the model, the text describes the implementation of a prototype and proposes two applications for the granularity informations, namely, help in scheduling decisions and program execution simulation. It also presents a proposal for integrating GRANLOG to a parallel logic execution model for logic programming, called OPERA. OPERA is dedicated to the exploitation of parallelism in logic programming and, at the present time, has a prototype for parallel execution of logic programming in computer networks. The good results obtained by integrating OPERA and GRANLOG show the importance of the information generated by the model proposed in this work. There is, also, in this work, a proposal for including GRANLOG in a graphical interface, called XOPERA. This interface allows the execution of the OPERA prototype and, from now on, also manaaes the GRANLOG prototype. The inclusion of GRANLOG in the XOPERA interfaces substantially contributes to the OPERAGRANLOG intearation.

Este trabalho procura utilizar algumas das idéias de J. Piaget, em especial a "Lógica Operatória Intraproposicional", para uma análise das relações de herança entre classes empregadas em sistemas de representação de conhecimento. Procura-se sistematizar a noção de taxonomias do conhecimento "científico", ou "classificações sistemáticas". Estas estruturas foram utilizadas por Piaget como ponto de partida para a descoberta de estruturas cognitivas do conhecimento científico. Em especial, define-se a relação CS, que determina quais quais relações de herança seguem de uma taxonomia do conhecimento científico. A noção de classificação do conhecimento científico é comparada com a de "classificação do senso comum". São mostradas as diferenças entre estes conceitos. Determina-se a semântica das classificag6es do senso comum nas estruturas de agrupamentos de Piaget, via uma extensão epistêmica da lógica de classes. É estudada a relação de herança do senso comum que admite exceções. É também apresentada a formulação usual em lógica de predicados, e é proposta uma formulação em lógica de classes estendida. Conclui-se que a definição intuitiva da relação de herança empregada em uma formulação em lógica de classes pode ser diferente daquela que é empregada em uma formulação em lógica do proposições. Observa-se, em especial na formulação em lógica de classes, que as relações de herança não-estrita não se adaptam A estrutura de grafo direcionado acíclico. Na verdade, a relação de herança não-estrita não estabelece uma ordenação entre as classes (no sentido de conjunto parcialmente ordenado, ou CPO), mas uma possível simetria entre estas classes. Esta observação não aparece tão claramente na formulação proposicional, já que a relação de herança é mascarada pelo uso da implicação lógica (->), o que dá uma aparência de ordenação parcial. Verifica-se o que ocorre quando são combinadas relações de herança com ou sem exceções em uma única teoria de herança. É feita ainda alguma sistematização da lógica operatória intraproposicional de Piaget. Esta sistematização não prima pelo rigor, mas em fornecer algum entendimento básico para os não iniciados em Piaget. O trabalho abrange a sistematização dos quatro agrupamento de classes da lógica intraproposicional, e relega o estudo dos quatro agrupamentos de relações para um trabalho posterior. / This work use some ideas of Jean Piaget, mainly the Operating Logic, for an analysis of inheritance relationships used in knowledge representation systems. The notion of "scientific" knowledge classifications as defined by Piaget is shown. These structures were used by Piaget as a starting point to find the cognitive structures of scientific knowledge. It is also defined a relation CS. This relation tells whether an inheritance relationship follows from a scientific knowledge taxonomy or not. The notion of scientific knowledge classification is compared with that of "commonsense classification". The differences between these concepts are shown. The semantics of common sense classifications is determined in terms of Piaget's "groupments", through an epistemic extension of the logic of classes. The common sense inheritance relationship with exceptions is studied. The usual formulation of inheritance in propositional logic is presented, and a formulation in the extended logic of classes is proposed. The conclusion is that the intuitive definition of inheritance relationship in one formulation may be different of that in the other. It is observed in the formulation in logic of classes that non-strict inheritance relationships don't adapt to the structure of an acyclic directed graph. In fact, the non-strict inheritance relation doesn't stablish an ordering between classes (in the sense of a partially ordered set, or POSET), but it stablishes a possible simmetry between these classes. This is not so clear in the propositional formulation, because the inheritance relation is masked by using logic implication (->), what gives an appearance of partial ordering. It is verified what occurs when inheritance relations with or without exceptions are mixed in one single theory. It is made some sistematization of the Piaget's intrapropositional operating logic. This sistematization doesn't try to be rigorous, but gives some basic understanding on this theme. The work involves the sistematization of the four groupmonts of classes of the intrapropositional logic, and leaves the study of the four groupments of relations for a future work.

Este trabalho e dedicado ao estudo da exploração de paralelismo na Programação em Lógica. O aspecto declarativo das linguagens de Programação em Lógica permite uma exploração eficiente do paralelismo implícito no código, de forma mais simples que as linguagens imperativas. Ao mesmo tempo, o paralelismo tem-se mostrado uma forte opção para procura de aumentos significativos do desempenho dos computadores. Como conseqüência, nos últimos anos, diversas maquinas paralelas tem surgido no mercado. No entanto, a sua efetiva utilização ainda ressente-se de uma dificuldade de programação maior que a das maquinas sequênciais. Por outro lado, o alto nível das linguagens de Programação em Lógica permite o desenvolvimento de programas de forma mais rápida e concisa do que as linguagens tradicionais (imperativas). Porem, apesar dos importantes progressos nas técnicas de compilação destas linguagens, elas permanecem menos eficientes que as linguagens imperativas. 0 aumento na eficiência de execução da Programação em Lógica, com o use do paralelismo, certamente estenderá o seu emprego. Em função disto, a unido da Programação em Lógica e maquinas paralelas tem sido proposta como uma alternativa para facilitar a programação das maquinas paralelas, bem como para aumentar o desempenho na Programação em Lógica. O ponto central do trabalho e a concepção de um modelo para exploração do paralelismo E Restrito na execução de Prolog, voltado para arquiteturas multiprocessadoras sem memória comum. Como ponto de partida foi utilizado o modelo já definido para exploração do paralelismo OU do projeto OPERA, do Instituto de Informática da UFRGS, de maneira que o modelo de paralelismo E proposto possa vir a compor, com aquele, uma plataforma que integre a exploração simultânea dos paralelismos E e OU. O modelo concebido compreende uma proposta de compilação e um ambiente de execução. A detecção e o controle do paralelismo é iniciado na compilação. Nesta fase, a gerada uma Expressão Condicional de Execução para cada clausula do programa Prolog, cuja avaliação em tempo de processamento determina a execução, em paralelo ou não, dos literais que compõem a clausula. A Maquina Abstrata Prolog, projetada para o emulador paralelo, é baseada na WAM (Warren Abstract Machine), uma das mais eficientes e difundidas técnicas para compilação Prolog. Isto, dentre outros aspectos, confere uma boa portabilidade ao modelo. O ambiente de execução compreende a concepção de uma arquitetura de processos formada por trabalhadores OPERA, uma filosofia de escalonamento de serviço entre estes trabalhadores, uma política para gerencia de sua memória e uma estratégia para as comunicações. Para validar o modelo proposto para exploração do paralelismo E, o mesmo foi implementado em rede local de estações Unix, obtendo bons resultados. / This work is devoted to the study of the exploration of parallelism in Logic Programming. The declarative aspect of the Logic Programming languages allows an efficient exploration of the implicit parallelism in the code, in a simpler form than the imperative languages. At the same time, parallelism has been shown as a strong option to the search for significant increases in the performance of the computers. As a consequence, in the last years, several parallel machines have been sprung up into the market. Nevertheless, their effective usefulness still undergoes some difficulties in programming which are greater than those of the sequential machines. On the other hand, the high level of Logic Programming languages allows programs development to be faster and concise than in the traditional languages (imperatives). However, despite the important progress in compiling techniques for these languages, they remain less efficient than the imperatives languages. The increase in execution efficiency of logic programs, with the use of parallelism, will probabily extend their use. Having this in mind, the union of the Logic Programming and parallel machines has been proposed as an alternative to make programming of the parallel machines easier, as well as to increase the performance of Logic Programming. The central aspect of the work is the conception of a model to explore the Restricted AND Parallelism in the execution of Prolog, turned to multiprocessing architectures without a common memory. As a starting point, the already defined model for exploring OR parallelism of the OPERA project, from the Instituto de Informatica da UFRGS was used. This happened so that the proposed model of AND parallelism can make up a plataform with that one to integrate the simultaneous exploration of the AND and OR parallelisms. The conceived model holds a proposal of compilation and execution environment. The detection and the control of the parallelism is started in the compilation. A Conditional Expression of Execution to each clause of the Prolog program is generated on this phase. Its evaluation, during the time of processing, determines the execution, whether or not in parallel, of the literals that constitute the clause. The Abstract Prolog Machine, projected for the parallel emulator, is based on the WAM (Warren Abstract Machine) which is one of the most efficient and spread techniques for Prolog compilation. This aspects, among others, gives a good portability to the model. The environmente of execution comprises the conception of an architecture of processes formed by OPERA workers and a philosophy of scheduling service among these workers; it also comprise a policy to manage its memory and a strategy for the communications. So that the proposed model for the exploitation of AND parallelism got validated, it was implemented on a local net of Unix workstations, obtaining good results.

Este trabalho apresenta um modelo de escalonamento hierárquico para exploração do paralelismo E Independente e do paralelismo OU na programação em lógica. O modelo utiliza informações de granulosidade geradas pelo GRANLOG (Granularity Analyzer for Logic Programming) para o auxílio ao escalonamento. Um estudo detalhado de ambientes de programação em lógica explorando o paralelismo é apresentado. A partir deste, é feita uma comparação destacando as principais características de cada um. O escalonamento em linhas gerais também é descrito e uma enfâse maior é dada ao escalonamento dinâmico. As principais vantagens e desvantagens de cada escalonador são mostradas. O modelo proposto recebe o nome de DSLP – Distributed Scheduler for Logic Programming e realiza o escalonamento em duas fases. Inicialmente é executada a Fase OU, na qual todo paralelismo OU é explorado. Em seguida, é iniciada a Fase E onde ocorre a exploração do paralelismo E Independente. A estratégia de escalonamento proposta, utiliza informações de complexidade do GRANLOG para determinar o trabalho a ser exportado, bem como o nível de sobrecarga dos nodos. Para validação do trabalho, um protótipo utilizando o ambiente Parallel Virtual Machine foi implementado. O protótipo é um simulador de programas Prolog e implementa a fase E de escalonamento. / This work presents a hierarchical scheduling model for exploration of the Independent AND parallelism and OR parallelism in logic programming. The model uses granularity information generated by GRANLOG (Granularity Analyzer for Logic Programming) to aid the scheduler. A detailed study of parallel logic programming environments is presented. Starting from this, it is made a comparison highlighting the main characteristics of each one. Scheduling in general is also described and the dynamic scheduling is pointed out. The main advantages and disadvantages of each scheduler are shown. The proposed model receives the name of DSLP – Distributed Scheduler for Logic Programming and it accomplishes the scheduling in two phases. Initially the OR Phase is executed and the whole OR parallelism is explored. Soon after, it is initiate the AND Phase with the exploration of the Independent AND parallelism. The scheduling strategy proposed uses complexity information generated by GRANLOG to determinate the task to be exported, as well as the nodes overloaded level. For work validation, a prototype using the Parallel Virtual Machine was implemented. The prototype is a Prolog simulator and it implements the scheduling AND phase.

Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma extensão da programação em lógica, onde busca-se a eficiência e a possibilidade de executar novas classes de problemas. Variáveis em CLP podem pertencer a domínios específicos como, por exemplo, reais ou booleanos. O principal conceito introduzido é a restrição. Restrição a uma equação que representa uma certa informação sobre uma variável e a sua relação com outras variáveis. o uso de restrições foi proposto para diminuir o espaço de busca na execução dos programas. Apesar de mais eficientes que a programação em lógica clássica, para algumas aplicações reais o desempenho das linguagens CLP ainda é insatisfatório. Por isso, é necessário buscar alternativas novas como a execução em paralelo. A exploração de paralelismo implícito em programas em 1ógica já demonstrou resultados promissores. Vários modelos foram propostos e implementados utilizando as duas principais fontes de paralelismo — E e OU — de forma isolada ou combinada. O objetivo principal desse trabalho é apresentar o modelo pclp(FD) de exploração de paralelismo OU multi-sequêncial para um ambiente com memória distribuída. O modelo pclp(FD) caracteriza-se pela existência de vários trabalhadores, cada um deles possuindo uma maquina abstrata completa. O escalonamento de tarefas a realizado por uma política dinâmica e distribuída. Uma tarefa em pclp(FD) equivale a um ponto de escolha e a um contexto de execução. O contexto de execução a formado por porções da pilha do exportador. Para que o importador tenha acesso ao contexto de execução utiliza-se a cópia incremental, que a uma das varias técnicas possíveis. Cada trabalhador possui a sua própria copia privada das pilhas de execução. A cópia caracteriza-se pelo envio das pilhas de execução do exportador para uma área privada do importador. A cópia incremental é uma técnica mais otimizada que verifica a existência de partes comuns entre os trabalhadores, copiando apenas as panes novas. O algoritmo de cópia incremental proposto no modelo a feito sem nenhuma centralização de informação do estado das pilhas. O projeto e implementação de um prot6tipo para esse modelo, utilizando a linguagem clp(FD), que implementa CLP sobre domínios finitos, permitirá uma analise das vantagens e desvantagens do modelo proposto. Os resultados obtidos com a análise servirão de base para trabalhos futuros, visando aprimorar a implementação e o modelo. / This work is dedicated to the study of the exploration of OR parallelism in Constraint Logic Programming for distributed environment. Logic Programming, which the most meaningful language is Prolog, has as premise the use of the logic of predicates as computational language. Constraint Logic Programming or CLP is an extension of the logic programming, where efficiency and the possibility to execute new kinds of problems are searched. A variable in CLP can belong to specific domains as, for example, Real or Boolean. The main concept introduced is the constraint. Constraint is an equation that represents a certain information over a variable and its relation with others variables. The use of constraints was proposed to decrease search space in the program execution. Although it is more efficient than classic logic programming, for some real applications, the performance of CLP languages still is unsatisfactory. So, it is necessary to search alternatives as parallel execution. The exploration of implicit parallelism in programs in logic has already demonstrated promising results. Several models have been proposed and implemented using the two main sources of parallelism - AND and OR — in an isolated or combined form. The main objective of this work is to present the pclp(FD) model of exploration of multi-sequential OR parallelism for a distributed memory environment. The pclp(FD) model is characterized for the existence of some workers, each one of them possessing a complete abstract machine. Task scheduling is executed by one dynamic and distributed policy. A task in pclp(FD) is equivalent to a choice point and an execution context. Execution context is formed by portions of the stack of the exporter. So that importer has access to the execution context, it uses incremental copy, which is one of the several possible techniques. The copy is characterized for sending execution stacks of the exporter to a private area of the importer, that is, each worker possesses its private copy of the execution stacks. The incremental copy is a more optimized technique that verifies the existence of common parts between workers, copying only the new ones. The incremental copy algorithm proposed in the model executes without centralized information of the state of the stacks. A prototype project and implementation for this model, using the language clp(FD), that implements CLP over finite domains, will allow an analysis of advantages and disadvantages of the considered model. The results gotten with the analysis will serve of base for future works, aiming to improve the implementation and the model.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-06-13T19:00:59Z No. of bitstreams: 1 IrisLinharesPimentaGurgel_TESE.pdf: 6167347 bytes, checksum: 6f71232bbc950cdd9f5d34f9172fe75f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-06-14T19:52:00Z (GMT) No. of bitstreams: 1 IrisLinharesPimentaGurgel_TESE.pdf: 6167347 bytes, checksum: 6f71232bbc950cdd9f5d34f9172fe75f (MD5) / Made available in DSpace on 2017-06-14T19:52:00Z (GMT). No. of bitstreams: 1 IrisLinharesPimentaGurgel_TESE.pdf: 6167347 bytes, checksum: 6f71232bbc950cdd9f5d34f9172fe75f (MD5) Previous issue date: 2017-04-24 / As empresas de base tecnol?gica enfrentam demandas duais de explora??o de novos produtos e aprimoramento de produtos existentes. Essas a??es n?o s?o triviais para os empreendedores, por?m s?o consideradas essenciais para o desempenho organizacional. A partir da revis?o sistem?tica da literatura, verificou-se a n?o exist?ncia de estudos analisando os eixos da ambidestria a partir das compet?ncias empreendedoras. Nesse sentido, esta tese tem como objetivo analisar como as compet?ncias de oportunidade e organizacional existentes nos empreendedores de empresas incubadas de base tecnol?gica direcionam suas a??es para lidar com as for?as contradit?rias de explora??o e explota??o. Trata-se de um estudo qualitativo-descritivo, que a partir de um roteiro semiestruturado de entrevistas analisou as a??es dos oito empreendedores de empresas na Inova Metr?pole, incubadora de empresas de base tecnol?gica do Instituto Metr?pole Digital da UFRN. Para o processo de an?lise dos dados qualitativos utilizou-se a an?lise de conte?do categorial feita linha a linha, de forma que as entrevistas ap?s sua transcri??o, passaram por tr?s momentos de codifica??o: inicial, focalizada e an?lise categorial. Para auxiliar na interpreta??o dos dados qualitativos foram criadas figuras, mapas de ?rvore e nuvens de palavras com o apoio do software NVivo? vers?o 11 para Windows. Esta pesquisa utilizou de crit?rios de qualidade para seu desenvolvimento, a citar triangula??o, compara??o intercasos e intracasos, detalhamento do processo de pesquisa, exame pelos pares e reflexividade. Como resultados, na compet?ncia de oportunidade, os empreendedores possuem uma maior ?nfase no processo de identifica??o de oportunidade, no geral n?o realizam estudos para avaliar oportunidades de neg?cio, nem avaliam os riscos associados. Com rela??o ? compet?ncia organizacional destaca-se a??es relacionadas ao controle, delega??o, lideran?a e motiva??o. Com rela??o ? ambidestria, tem-se que os empreendedores conduzem as empresas para uma ambidestria n?o sin?rgica. Existe uma maior propens?o nas atividades de explota??o, destacando aspectos relacionados ? capacidade de atendimento, flexibilidade produtiva, al?m de contar com o apoio dos clientes para o desenvolvimento dos produtos, enquanto na explora??o, identificou-se que os empreendedores n?o est?o abertos ? novos mercados, n?o buscam ampliar o mercado local e atuam passivamente no processo de aquisi??o de clientes. Observou-se em virtude da compet?ncia de oportunidade se deter ao processo de identifica??o de oportunidade, poucas a??es relacionadas ? explora??o s?o realizadas pelos empreendedores, ao passo que na compet?ncia organizacional, as preocupa??es com rela??o ao controle, organiza??o e planejamento refletem na maior aten??o as atividades de explota??o. Os resultados desta pesquisa contribuem para a compreens?o de como os empreendedores gerenciam e buscam oportunidades de neg?cio, bem como o direcionamento das a??es para os eixos da ambidestria, isso favorece o desenvolvimento de a??es que busquem desenvolver essas compet?ncias. / Technology-based companies face dual demands for the exploration of new products and the enhancement of existing products. These actions are not trivial for entrepreneurs, but are considered essential for organizational performance. From the systematic review of the literature, it was verified the absence of studies analyzing the axes of the ambidexterity from the entrepreneurial competences. In this sense, this thesis aims to analyze how the opportunity and organizational skills existing in entrepreneurs of incubated technology-based companies direct their actions to deal with the contradictory forces of exploitation and exploitation. This is a qualitative-descriptive study that, based on a semistructured interview script, analyzed the actions of the eight entrepreneurs at Inova Metr?pole, an incubator of technology-based companies of the Metr?pole Digital Institute, UFRN. For the analysis of the qualitative data, we used the analysis of categorical content made line by line, so that the interviews after their transcription, went through three coding moments: initial, focused and categorial analysis. To assist in the interpretation of qualitative data, figures, tree maps and word clouds were created with the support of NVivo? software version 11 for Windows. This research used quality criteria for its development, to cite triangulation, intercasos and intracasos comparison, detail of the research process, peer review and reflexivity. As results, in opportunity competence, entrepreneurs have a greater emphasis on the opportunity identification process, in general they do not conduct studies to evaluate business opportunities, nor do they assess the associated risks. With regard to organizational competence, we highlight actions related to control, delegation, leadership and motivation. With respect to ambidexterity, it has been found that entrepreneurs lead businesses to a non-synergistic ambidexterity. There is a greater propensity in the activities of exploitation, emphasizing aspects related to the capacity of attendance, productive flexibility, besides having the support of the clients for the development of the products, while in the exploration, it was identified that the entrepreneurs are not open to the new markets. Do not seek to expand the local market and act passively in the process of customer acquisition. It was observed that because of the opportunity competence to stop the opportunity identification process, few actions related to the exploitation are carried out by the entrepreneurs, while in the organizational competence, the concerns regarding control, organization and planning reflect in the most attention the activities. The results of this research contribute to the understanding of how entrepreneurs manage and look for business opportunities, as well as the direction of the actions towards the axes of ambidexterity, this favors the development of actions that seek to develop these competences.