[pt] A presente tese investiga a representação explícita de conhecimento específico na interpretação de imagens de baixa resolução multitemporais adquiridas por satélite. Neste contexto, o termo conhecimento específico, se refere a todo e qualquer tipo de conhecimento que torna um indivíduo capaz de ou mais apto para realizar uma determinada tarefa. Dentro do escopo desta tese, conhecimento específico compreende o conjunto das informações necessárias para a interpretação de imagens de satélite de baixa resolução, como por exemplo: as características das classes presentes, o manejo agronômico e a ecologia da região de interesse. Assim sendo, a presente tese propõe um modelo para a interpretação baseada em conhecimento de imagens de satélite de baixa resolução visando reproduzir o raciocínio empregado pelo foto-intéprete ao realizar a interpretação visual. Neste modelo são empregadas diferentes formas de conhecimento específico: 1) Conhecimento espectral que associa as diversas assinaturas espectrais observadas na imagem de entrada às classes da legenda, agrupando em uma única classe espectral as classes da legenda cujas assinaturas espectrais sejam de difícil discriminação. 2) Conhecimento contextual que indica os diversos contextos relevantes para a discriminação de classes da legenda com assinaturas espectrais semelhantes. 3) Conhecimento multitemporal que relaciona, considerando a classificação anterior, as classificações possíveis no presente momento e a possibilidade de ocorrência de cada uma delas. A potencialidade desta abordagem foi avaliada através de uma série de experimentos, onde, como base de dados, são utilizadas imagens de duas regiões inseridas na Alta Bacia do Rio Taquari ao leste do pantanal mato-grossense. O objetivo primordial destes experimentos foi explicitar a contribuição de cada forma de conhecimento. Os resultados obtidos foram animadores e indicam que o uso de abordagens baseadas em conhecimento pode automatizar grande parte do processo de fotointerpretação, aumentando a produtividade dos foto-intérpretes. No futuro, os resultados da presente pesquisa contribuirão para a construção de sistemas capazes de realizar uma estratégia de interpretação qualquer a ser definida pelo próprio foto-intérprete, acelerando o monitoramento do uso do solo com base em imagens de baixa resolução adquiridas por satélite. / [en] The present thesis investigates the explicit representation of specific knowledge for the automatic interpretation of multitemporal low resolution satellite images. In this context, the term specific knowledge refers to all and any type of knowledge that makes an individual capable or more competent to carry out one determined task. In the scope of this thesis, specific knowledge comprehends the necessary information for the interpretation of low resolution satellite images, for instance: the characteristics of the classes in the legend, the agronomic management, and the ecology of the region under interest. Thus, the present thesis proposes a framework for the knowledge based interpretation of low-resolution satellite images which concerns at reproducing the reasoning used by the photo-interpreter while performing the visual interpretation. This model employs three different kinds of specific knowledge: 1) Spectral knowledge, that associates the diverse observed spectral signatures in the input image to the correspondent classes in the legend, grouping under a single spectral class the classes of the legend whose spectral signatures are difficult to be discriminated. 2) Contextual knowledge, which indicates the diverse contexts for the discrimination of the classes in the legend with similar spectral signatures. 3) Multitemporal knowledge, which relates, considering the previous classification, the possible classifications at the present moment and their respective possibility of occurrence. The potentiality of this methodology was evaluated through a series of experiments. The dataset consisted of images of two regions inserted in the Upper Watershed of the Taquari River, situated at the east of the Brazilian Pantanal, a lowlands ecological sanctuary located in the States of Mato Grosso and Mato Grosso do Sul. The main objective of the experiments was to evaluate the contribution of each sort of knowledge. The results indicate that the use of knowledge based methods can automate great part of the interpretation process, increasing the productivity of the photointerpreters. In the future, the results of the present research can guide the development of systems capable to automatically perform any interpretation strategy, defined by the proper photointerpreter, speeding up the monitoring of land use based on low resolution satellite images.

Made available in DSpace on 2016-04-26T20:26:16Z (GMT). No. of bitstreams: 1 Marco Aurelio de Mello Castrianni.pdf: 25069561 bytes, checksum: daef5acc3dc2c452c84bee0877334ac4 (MD5) Previous issue date: 2007-11-08 / Logic is a Philosophy instrument, as well as for the other sciences. Among its methods are deduction and induction, which are discursive, and the intuition. By deduction, we reason from the general to the particular. By induction, we start from the particular to reach the general. Intuition is the direct way to acquire knowledge. The logic methods have their basis in Rationalism and Empiricism. For the former, the knowledge stems from exclusively in the reason; its method is deductive. For the latter, the knowledge is acquired by experience, either external or internal; its method is inductive. Intuition is the no discursive method. Using it, we can reach the values, the object of Axiology. The values implicate the genesis of the rules and juridical principles. The phenomenon of the values happens in the society and interact with the culture. The human being is the source value, and the Justice is the fundamental value. Equity is a kind of Justice, which surpasses in a certain way. The Juridical Logic is the application of the Logic as Law instrument. The operator uses either deduction or induction, i.e., are methods used for interpretation and application. The intuition is also applied by the Law operators, although its study has not been so developed. It can be seen by the analyses, as juridical, the principles and the rules, the doctrine and other works, the sentences, the jurisprudence, the habits, the analogy and criminal investigation. None of the methods is used in an isolated way, for interpretation and Law application, because they are not enough, although the three ones, objects of this study, are adequate. The methods which are most studied are deductive and inductive, but the intuition has also an important role in the interpretation and application of the Law, although the operator does not realize how often he makes use of it in his everyday work. The methods are, therefore, complementary and interdependent / A Lógica é instrumento da Filosofia e de todas as ciências. Entre seus métodos estão a dedução e a indução, que são discursivos, e a intuição. Pela dedução, raciocina-se do geral para o particular. Pela indução, parte-se do particular para se chegar ao geral. A intuição é forma direta de aquisição de conhecimento. Os métodos lógicos têm seu fundamento no Racionalismo e no Empirismo. Para o primeiro, o conhecimento se origina exclusivamente na razão; seu método é o dedutivo. Para o segundo, o conhecimento se adquire pela experiência, seja externa ou interna; seu método é o indutivo. A intuição se trata de método não discursivo. Por ela, se chega aos valores, objeto da Axiologia. Os valores implicam a gênese de normas e princípios jurídicos. O fenômeno dos valores se dá na sociedade e se interrelaciona com a cultura. O ser humano é o valor fonte, e a Justiça, o valor fundamental. A Eqüidade é uma espécie de Justiça e, de certa forma, a supera. A Lógica Jurídica é a aplicação da Lógica como instrumento do Direito. O seu operador utiliza tanto a dedução como a indução, ou seja, são métodos utilizados para sua interpretação e aplicação. A intuição também é aplicada pelos operadores do Direito, embora seu estudo ainda não esteja tão desenvolvido. Isso se constata pela análise, no âmbito jurídico, dos princípios, das normas, da doutrina e outros trabalhos, das sentenças, da jurisprudência, do costume, da analogia e da investigação criminal. Nenhum dos métodos é utilizado de forma isolada, para interpretação e aplicação do Direito, pois, por si só, não é suficiente, embora sejam todos os três, objeto deste estudo, adequados. Todos podem e devem ser utilizados. Os métodos mais estudados são o dedutivo e o indutivo, mas a intuição também tem um importante papel na interpretação e na aplicação do Direito, embora o operador possa até não se dar conta de quanto a utiliza em seu trabalho cotidiano. Os métodos são, pois, complementares e interdependentes

Made available in DSpace on 2016-04-27T17:27:26Z (GMT). No. of bitstreams: 1 Maria Augusta Dib.pdf: 24143216 bytes, checksum: 06bca583ab88e47b078b65aeb8599ced (MD5) Previous issue date: 2008-11-25 / If not through the means of psychological subjective belief, nor through the path of religious belief, how can a philosophical, logical and objective belief attribute to love the role of law under which continuous evolutionary development of life occurs? Unacquainted with the ideological categorical imperatives such as moral, philosophical, and psychological order (i.e. Kantian) or the religious orders (such as Christian), Peirce s pragmaticist belief in the universal instinctive action to live, extends this instinct to a propensity for the non-individual growth and development toward the summum bonum from micro to macroscopic organism, through mankind itself: «progress comes from every individual who grounds his individuality on the affection towards his neighbors» (CP 6.294). Peirce s philosophical architecture which is both objective and logical postulates love - agape as a condition of evolutionary cosmic law, where the cosmos is mind and endowed with life (CP 6.289). According to Nicola Abbagnano s Dictionary of Philosophy, page 27, Agapism is a term adopted by Peirce to designate the "law of evolutionary love", since the cosmic evolution tend to boost brotherly love among mankind. The same Dictionary defines Agathology to mean the doctrine of Good as part of Ethics. If the pragmatist William James, a contemporary and friend of Peirce, had held onto the belief of action as the ultimate purpose, then there would be a possibility of ethical action as an ultimate purpose for him. Charles Sanders Peirce differs from him, preferring to be considered a pragmaticist (CP 5.414) and focusing on the research of the evolutionary process which leads to the summum bonum, where Aesthetics, Ethics and Logics converge into the same purpose, the Wellness (EP 2.27). The Agathotopia, term used by James E. Meade, Nobel Prize award in Economics (1977), appears in the universe of the political economy as an alternative model (a combination of the best in the capitalist system with the best in the socialist system). It would possibly be a model for the construction of a good society to live in, such as an ideal place depicted by Thomas Moore s Utopia (1516) and other utopias throughout philosophical thought since the Republic of Plato . According to Peirce, the so-called - Agathotopia - different and original, will not be reduced to a specific and ideal geographical place to live as sought by the utopias, and even less a post-death base as the religions postulate. It would be neither a socio-political nor an economic model to promote the collective welfare in the reality of the existential universe. Charles Sanders Peirce s Agathotopia has been proposed in all his scientific metaphysical architecture, in his realistic philosophy and logic of his objective idealism, in his Synechism. It develops into the ongoing semioses between sign-object-interpretant, and the evolving process of reasonability, a continuous teleological self-corrective movement toward the evolutionary enhancement. It gives credit to agapic love, the function of mental law as a creative and supportive habit of the universe in this evolutionary process. If Peirce believes in that dynamic mental loving action that tends to the Admirable, Fair and True Purpose then he might not be proposing just one more utopia in the history of Philosophy, but Agathotopia for the first time. An tópos to the Summum Bonum / Se não pela via das crenças subjetivas psicológica e religiosa, como uma crença filosófica lógica objetiva pode atribuir ao amor, a função de lei sob a qual se dá o continnum desenvolvimento evolucionário da vida? Não afeita a imperativos categóricos ideológicos quer de ordem filosófico-moral e psicológica (como o kantiano), quer de ordem religiosa (como o cristão), a crença pragmaticista de Charles Sanders Peirce na ação instintiva para a vida em relação a tudo no Universo, estende este instinto para uma atração ao crescimento e desenvolvimento não individualista em direção ao summum bonum desde o organismo microscópico até o macro, passando pelos homens: o progresso vem de todo individuo que funda a sua individualidade na sintonia (affect) com os seus próximos (CP 6.294). A arquitetura filosófica lógica metafísica de Peirce postula o amor ágape como condição de lei cósmica evolutiva, onde o cosmos é mente e dotado de vida (CP 6.289). Segundo o Diccionario de Filosofia de Nicola Abbagnano, na página 27, o Agapismo é um termo adotado por Peirce para designar a lei do amor evolutivo , em virtude do qual a evolução cósmica tenderia a incrementar o amor fraterno entre os homens; e seguidamente, o mesmo Diccionário define Agatologia que, raramente utilizado, designa a doutrina do Bem como parte da ética. Se o pragmatista William James, contemporâneo e amigo de Peirce, conservouse na crença da ação como fim último, e então talvez para ele houvesse a possibilidade de uma ação ética como fim último, Charles Sanders Peirce dele se diferenciará, preferirá ser considerado um pragmaticista (CP 5.414) bem como preferirá se dedicar à investigação do processo evolucionário que leva ao summum bonum, onde Estética, Ética e Lógica convergem para um mesmo fim, o Bem. (EP 2.27). Agathotopia, termo utilizado pelo premiado Nobel de Economia (1977) James Edward Meade, aparece no universo da economia política como um modelo alternativo (uma combinação do que há de melhor no sistema capitalista com o que há de melhor no sistema socialista) e possível para construção de uma boa sociedade para se viver, tal qual o lugar ideal há tanto buscado pela Utopia de Thomas More (1516) e outras Utopias mais ao longo do pensamento filosófico, desde a República de Platão. Em Peirce, o que aqui lhe atribuímos Agathotopia diferente e originalmente, não se reduzirá a um bom lugar geográfico específico e ideal para se viver como querem as Utopias, não um lugar pós - morte como postulam as religiões, e tampouco um modelo sócio-político-econômico que promova o bem-estar coletivo na realidade do universo existencial. A Agathotopia de Charles Sanders Peirce está proposta ao todo de sua arquitetura metafísica científica, na sua filosofia lógica realista de seu idealismo objetivo, no seu Sinequismo, que se dá pela contínua semiose entre signo objeto- interpretante, no processo mesmo de crescimento da razoabilidade, um continuado movimento teleológico autocorretivo em direção ao aperfeiçoamento evolutivo, e que credita ao amor agápico, a função de lei mental como um hábito do universo, criador e mantenedor deste processo evolucionário. Se Peirce crê nesta ação dinâmica mental amorosa que tende para o fim Admirável, Justo e Verdadeiro, então talvez ele esteja propondo não uma Utopia a mais na história da Filosofia, mas sim, e pela primeira vez, uma Agathotopia, um tópos para o Summum Bonum

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 Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:20:09Z No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:21:18Z (GMT) No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-01-19T10:21:18Z (GMT). No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-11-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is outline the course by which the concept of rule "arises" in Wittgenstein's thought. I shall consider that the origin of the approach to the concept of "rule" lies in the rapid development of the author's thinking between 1929-1934. His immediate problem was to remedy the glaring error, presented by Ramsey, on the Tractarian remarks about the logical necessity. In order to correct this error, Wittgenstein introduces two major innovations with which he believes that can solve the problem and still preserve the rigid tractarian demarcation between logical truth and empirical truth. First, he will replace the combinatorial model underlying the natural language that prevailed in the Tractatus by a conception which he describes as a system of propositions (Satzsysteme), in which language would be considered as a complex system of autonomous propositional calculi. This change make possible preserves the thesis that all necessity is a logical necessity, however, it will be necessary to abandon the referential conception of meaning and the logical independence of elementary propositions. Thus, our proposal in this dissertation is to establish all aspects of the Tractarian philosophy that precede and sustain the proposal of language as correspondence, emphasizing that the abandonment shall result in changes such as: 1) a word has its meaning only in the context of its propositional system; 2) the meaning of any word is the totality of the rules governing its use in this system; 3) The meaning of a proposition is the method of its verification. Finally, in order to understand the context of these changes, it seems to be the case, that in one hand, we need to establish the essence and general form of the proposition in the Tractatus, and thereby elucidate some aspects of what are the essential traits of language and the world; On the other, to establish the limits and the scope of analysis, so we can understand its mutation outlined in accordance with the new criterion of sense – the rules – since what counts as the object of analysis will not be determined by a general form, but displayed by a “possible calculus”. / Em minha dissertação buscarei esboçar o percurso pelo qual o conceito de regra “surge” no pensamento de Wittgenstein. Irei considerar que a origem da abordagem do conceito de “regra” encontra-se no rápido desenvolvimento do pensamento do autor entre 1929 – 1934. Nesta época, seu problema imediato era remediar o erro das considerações Tractarianas acerca da necessidade lógica apresentado por Ramsey. Para corrigir este erro, Wittgenstein introduz duas inovações com as quais ele acredita poder resolver o problema e, ainda, preservar a rígida demarcação tractariana entre verdade lógica e verdade empírica. Primeiro, ele irá substituir o modelo único de cálculo subjacente à linguagem natural que imperava no Tractatus por uma concepção que ele descrever como sistema de proposições (Satzsysteme), no qual a linguagem seria vista como um complexo emaranhado de sistemas proposicionais autônomos, cada qual constituindo um espaço lógico distinto. Desta maneira, ele preserva a tese de que toda necessidade é uma necessidade lógica, contudo, será preciso abandonar a concepção referencial de significado e a independência lógica das proposições elementares. Assim, nossa proposta nesta dissertação é estabelecer todos os aspectos da filosofia do Tractatus que antecedem e fundamentam a proposta da linguagem enquanto correspondência, enfatizando que o abandono desta última resulta em mudanças como: 1) uma palavra só tem significado no contexto do seu sistema proposicional; 2) o significado de uma palavra qualquer é a totalidade das regras que governam seu uso neste sistema; 3) o sentido de uma proposição é o método de sua verificação. Por fim, para que possamos compreender o contexto dessas mudanças, parece ser o caso de, por um lado, estabelecer a essência e a forma geral da proposição no Tractatus e, com isso, elucidar alguns aspectos do que, segundo o autor, são traços essências da linguagem e do mundo; por outro, estabelecer os limites do âmbito da análise, para que possamos compreender a sua mutação esboçada em conformidade com o novo critério do sentido, as regras, pois o que conta como objeto de análise será menos determinado por uma forma geral e mais exibido por um “cálculo” possível.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2014-09-18T15:33:16Z No. of bitstreams: 2 Dissertacao Yerko Contreras Rojas.pdf: 673331 bytes, checksum: 5359343f8c3a32e21369c3bc57917634 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-18T15:43:59Z (GMT) No. of bitstreams: 2 Dissertacao Yerko Contreras Rojas.pdf: 673331 bytes, checksum: 5359343f8c3a32e21369c3bc57917634 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-18T15:43:59Z (GMT). No. of bitstreams: 2 Dissertacao Yerko Contreras Rojas.pdf: 673331 bytes, checksum: 5359343f8c3a32e21369c3bc57917634 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-07-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This document presents an approach and development of some of the results of Shumyatsky in [14, 15, 16, 17, 18], where he worked with automorphisms of order two in finite groups of odd order, mainly showing the influence that the structure of the centralizer has on that of Group. Let G be a group with odd order, and ϕ an automorphism on G, of order two, where G = [G,ϕ], and given a limitation in the order of the centralizer of ϕ regard to G, CG(ϕ), which induces a limitation in the order of derived group G′ of group G, and we also verified that G has a normal subgroup H that is ϕ-invariant, such that H′ ≤ Gϕ and its index [G : H] is bounded with the initial limitation. With the same hypothesis of the group G and with the same limitation of the order of the centralizer of the automorphism, let V a abelian p-group such that G⟨ϕ⟩ act faithful and irreductible on V, then there is a bounded constant k, limitated by a function depending only on the parameter m, where m is tha limitation in the order of CG(ϕ), and elements x1, ...xk ∈ G−ϕ such that V = ρϕx 1,...,xk(V−ϕ). / O trabalho baseia-se na apresentação e desenvolvimento de alguns resultados expostos por Shumyatsky em [14, 15, 16, 17, 18], onde trabalha com automorfismos de ordem dois em grupos de ordem ímpar, mostrando fundamentalmente a influência da estrutura do centralizador do automorfismo na estrutura do grupo. Seja G um grupo de ordem ímpar e ϕ um automorfismo de G, de ordem dois, tal que G = [G,ϕ], dada uma limitação na ordem do centralizador de ϕ em G, CG(ϕ), a mesma induz uma limitação na ordem do grupo derivado G′ do grupo G, além disso verificamos que G tem um subgrupo H normal ϕ-invariante, tal que H′ ≤ Gϕ e o índice [G : H] é limitado dependendo da limitação inicial de CG(ϕ). Nas mesmas hipóteses do grupo G e com a mesma limitação da ordem do centralizador do automorfismo, seja V um p-grupo abeliano, tal que G⟨ϕ⟩ age fiel e irredutivelmente sobre V, então existe uma constante k, limitada por uma função que depende só da limitação de CG(ϕ), e elementos x1, ...xk ∈ G−ϕ, tal que V = ρϕx 1,...,xk(V−ϕ).

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. / A teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.