• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 263
  • 68
  • 11
  • 10
  • 6
  • 5
  • 5
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 360
  • 153
  • 88
  • 64
  • 62
  • 61
  • 34
  • 33
  • 31
  • 29
  • 28
  • 27
  • 24
  • 24
  • 22
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
231

A lógica da descoberta nos jogos digitais

Tonéis, Cristiano Natal 10 May 2010 (has links)
Made available in DSpace on 2016-04-29T14:23:55Z (GMT). No. of bitstreams: 1 Cristiano Natal Toneis.pdf: 14474137 bytes, checksum: 81bf760195af01ca56123ea3b53bf71f (MD5) Previous issue date: 2010-05-10 / Secretaria da Educação do Estado de São Paulo / The present study into the perspective of development the reasoning logicalmathematical by means of the ontological structures in the digital games happens on a specific modality of digital games that present many structures narratives, and its structural development in the form of logical puzzles, practical, related with the idea Greek of mathéma. The methodology has used combines the conceptual efforts in philosophy of the logical positivism, hermeneutic phenomenology, the pragmatic logic, the genetic epistemology, Ethnomathematics and games practical theory, showing that puzzles in the digital games constitute in cognitives structures of high value for the promotion and production of the knowledge, practical and scientifical, as well as achievement and promotion of its structures narratives that they culminate in uncurling of an interactive history. The research takes as example shape the game Myst, establishing it as descriptionconceptual reference that allows the integration of new forms to stimulate and to support the apprehension of logical-mathematicians knowledge, being assumed and demonstrating that to the reasoning logical-mathematician, organized in the form of puzzles, structured in a way thought oncologic. Thus, it shows the organization of new and versatile forms for the modeling, symbolization, analysis, exploration, conjecture and demonstration of the knowledge mathematician, in the playful-cognitive form of puzzles into the immersive digital universes, more recently assigned as metaverses. From then on, the research demonstrates the theoretician-pragmatic value of creation and organization of digital games that can serve to advancement human culture, in reference the promotion of the human subjectivity in the culture, as well as in the structuralization and equilibration of structures logical-cognitives in immersive experience through the adventure games and by means its puzzles. Thus, we indicate the value of use of the digital games (metaverses) as complementary structure for the development of critical abilities in the citizen in a process of continuous education, as well as in its aspects of widening of the mathematical understanding as logical as cultural, where from universalisation and generalization the experience into the puzzles in metaverses. We show the results of an experience with children in school age, which the use of the game model promoted an increment in his general cognitives abilities and change the form they see the world and solving problems that demand an attitude logical-mathematics. Students not only must use multimedia to learn, but they can also use it to communicate their understanding of the subject to those around them. Virtual reality has the potential to move education from its reliance on books to experiential learning in naturalistic settings. The research culminates with the proposal of a heuristic for the resolution of problems, which as children as adult chance over a new species of epistemologists that, from the experience in the digital games, argue in to think the forms of thinking , or rethink, look at problems in many different ways mathéma by the resolution of puzzles / A presente dissertação na perspectiva do desenvolvim V dentro das estruturas ontológicas presentes nos jogos digitais incide sobre uma modalidade específica de jogos digitais nos quais se fazem presentes, tanto estruturas narrativas, bem como o seu desenvolvimento estrutural na forma de puzzles lógicos, práticos e, relacionados com a idéia grega de mathéma. A metodologia utilizada combina os esforços conceituais presentes na filosofia do positivismo lógico, da fenomenologia hermenêutica, da lógica pragmática, da epistemologia genética, da etnomatemática e da teoria e prática dos jogos, mostrando que os puzzles presentes nos jogos digitais se constituem em estruturas cognitivas de alto valor para a promoção e produção do estruturas narrativas que culminam no desenrolar de uma história interativa. A pesquisa toma como exemplo modelar o game Myst, estabelecendo-o como referência histórico-conceitual que permite a integração de novas formas para incentivar e apoiar a apreensão de conhecimentos lógico-matemáticos, assumindo e demonstrando que o raciocínio lógico-matemático, organizado na forma de puzzles, se estrutura em um modo de ser ontológico do pensamento. Neste sentido mostra a organização de novas e versáteis formas para a modelagem, simbolização, análise, exploração, conjectura e demonstração do conhecimento, inclusive matemático, na forma lúdico-cognitiva dos puzzles no interior de universos digitais imersivos, mais recentemente designados como metaversos. A partir daí, a pesquisa demonstra o valor teórico-pragmático da criação e organização de jogos digitais que podem servir como promotores da cultur promoção da subjetividade humana na cultura, bem como na estruturação e equilibração das estruturas lógico-cognitivas dos sujeitos imersivos que realizam a aventura dos games por meio de seus puzzles. Com isso indicamos o valor da utilização dos jogos digitais (metaversos) como estrutura complementar para o desenvolvimento de habilidades críticas no sujeito humano em um processo de educação contínua, tanto em seus aspectos de alargamento da compreensão matemática como lógica e também cultural, a partir do pressuposto da universalização e generalização da experiência dos puzzles no interior dos metaversos. Neste sentido mostramos os resultados de uma experiência de campo com crianças em idade escolar na qual a utilização do jogo modelo promoveu um incremento em suas habilidades gerais cognitivas e uma mudança na forma de ver o mundo e colocar problemas que demandam uma atitude lógico-matemática. A pesquisa culmina com a proposta de uma heurística para a resolução de problemas, na qual tanto crianças como adultos se convertem em uma nova espécie de epistemólogos que, a partir da experiência nos jogos digitais, se defrontam com a tarefa continuada e falibilista de pensar as formas do pensar mathéma por meio da resolução dos puzzles
232

Hegels Wissenschaft der Logik, die absolute Idee Einleitung und Kommentar /

Vos, Ludovicus de, January 1983 (has links)
Thesis--Katholische Universität zu Löwen, 1982. / Includes bibliographical references (p. 177-180).
233

[en] A SHORT-TERM LOAD FORECASTING MODEL USING NEURAL NETWORK AND FUZZY LOGIC. / [pt] MODELO DE PREVISÃO DE CARGA DE CURTO PRAZO UTILIZANDO REDES NEURAIS E LÓGICA FUZZY

FLAVIA CRISTINA DA COSTA SERRAO 22 May 2003 (has links)
[pt] O objetivo principal desta dissertação é desenvolver um método de previsão de carga elétrica de curto prazo (previsão horária), através de um sistema híbrido (Redes Neurais e Lógica Fuzzy) utilizando temperaturas máximas e mínimas como variáveis explicativas. Como primeiro passo, foram definidos os perfis homogêneos das curvas de carga diárias através de um classificador utilizando os Mapas Auto Organizáveis (Self-Organizing Maps- SOM). Um previsor será adicionado ao esquema de previsão através da Lógica Fuzzy que associará as variáveis climáticas aos perfis criados pela SOM produzindo as previsões. O modelo foi aplicado em dados de duas concessionárias de energia elétrica do Brasil usando dados horários coletados durante dois anos. / [en] This dissertation presents a short-term load forecasting procedure mixing a classifier scheme and a predictive scheme. The classifier is implemented through an artificial neural network using a non-supervised learning procedure (SOM). Concerning the predictive scheme, a fuzzy logic procedure uses climatic variables and their prediction to choose the appropriate profiles created by SOM and then combines them to produce the desired forecast. The model is applied to two utilities in Brazil using hourly observations collected during two calendar years and the results obtained, in terms of mean absolute percentage error (MAPE) through the period analyzed, are presented.
234

Sagrado, sentido e sabedoria uma trilha na filosofia de Eric Weil / Action, Sens et sacré dans la philosophie d'Eric Weil / Action, sense and sacred in Eric Weil's philosophy

Da Fonseca Lins Junior, Daniel 11 October 2017 (has links)
La philosophie d’Eric Weil présente une structure systématique dont l’interprétation des composants n’est pas facilement concevable. Le titre “Philosophie et histoire dans la pensée d'Eric Weil” propose une lecture complète du système weilian visant à sa compréhension à travers un élément qui traverse tout son travail : l’histoire. Notre hypothèse est que Weil présente une manière originale de penser à l’histoire qui, sans constituer une “philosophie particulière”, peut être un principe herméneutique pour l’interprétation de sa pensée. Nous voulons montrer que la question de l’histoire représente une position originale en s’éloignant de l’inspiration hegelienne et de la pensée heideggerienne; et fondamental, parce que la pensée de Weil ne peut être comprise sans référence à la réflexion sur l’histoire et à l’homme qui pose des questions sur l’histoire. Notre thèse se développe à partir de la tâche qui exige à la fois la présentation des problèmes inhérents à la conception d’une philosophie de l’histoire et la détermination du fil qui pointe vers son unité interne et son articulation avec le reste du système. Par conséquent, à chaque nouvelle étape, l’hypothèse est prise : la réflexion sur l’histoire sert de clé herméneutique légitime à approcher le travail weilien. Une première exigence a un caractère historique-exposant : énumérer les textes qui abordent les questions de la réflexion sur l’histoire. Il faut également lire systématiquement l’ensemble des textes et leur relation avec le système de philosophie articulé dans la Logique de la philosophie, en supposant que l’idée du système est la pierre angulaire de la validité de toute interprétation. Il ne s’agit donc pas de découper le corpus weilien en vue de l’indication des lieux où apparaît la question, mais de reconstruire l’unité entre les différentes parties de son travail. Notre enquête prend le travail de Weil en se concentrant sur l’histoire dans sa dimension logique-philosophique sans dispenser de la perspective histoire-politique. C’est donc une approche logique-argumentative qui tente de comprendre une philosophie qui est à la fois dialectique et critique. Nous avons divisé le travail en quatre chapitres. Le premier abordait la métaphilosophie dans la pensée weilienne à partir de son inspiration kantienne. Notre hypothèse fondamentale est le retour à l’affirmation du kantisme de Weil. Nous commençons par la définition de la philosophie en tant qu’acte humain de celui qui a librement choisi de comprendre le monde, une activité éminemment scientifique et transmissible et essentiellement historique. Le deuxième insère Eric Weil parmis les philosophes qui pensent l’histoire, plus précisément, il rélie Weil à la tradition d’une “critique de la raison historique” qui s’étend de Dilthey à Weber et à Aron. Le troisième prend les conditions des discours sur le sens de l’histoire dans le système des catégories discursives. Autrement dit, nous suivons la succession catégorielle de la Logique de la philosophie. Ce dernier constitue une deuxième partie du travail et reprend la tâche annoncée comme la récupération de la fonction sociale du philosophe, de la lecture weilienne de la Révolution française. / The following thesis argues for the singular presence of the concept of sacred and the philosophical categories of Sense and the Wisdom on Éric Weil writings, taking as referencethe first term so that go beyond from a sociological perspective, restricted to Political Philosophy, but present in other works, whether with a defined signification or as well as apointed place. The Sacred does not take on religious characters on Weil's thinking, but it is linked to the tradition field and from the values that allow a certain community to decide amongconflicts, taking on the idea of a decision element and not only of composition of a context for problematization and comprehension of a theme. The walk by the work made possible to setthe concept of Sacred, as well as its permanence with basic characteristics and, beyond this, with a specific place at the text, namely, the sacred is a fundamental concept for the weilianthinking when it is set a conflict situation and it demands to think about criteria in face of crisis. Such importance of the sacred on weilian text on its practical sense evoked the issue ofexistence, for who decided by philosophy, of his sacred too, in other words, is there the sacred for the philosopher, just like there is one for the community who needs to decide? Thefundamental difference is that the sacred of the philosopher just wouldn't only an issue of decision, but of philosophical comprehension of the speeches on real. Therefore, the secondconcept of triad, the Sense, the formal category of philosophy that allows the comprehension of what is essential in each category on dynamic of the Logic of Philosophy. The essential ofthe speech is understood at the horizon of sense and for each category to express itself in a speech, or even as a no-speech, the Sense appears at the perspective of understanding thelanguage in its inventiveness and poetical creativity, so that the Sense, like the sacred in its practical logic, is the field of theoretical comprehension of what is set discursively on severalphilosophical categories. Sacred and Sense express the issues of practical and theoretical, but the weilian thinking doesn't understand them closing in themselves, once they overflow to thesynthesis that is effected on Wisdom, namely, the third element of our hypothesis, that is characterized as the category that updates itself once the wiseman thinks about yourself action,join in his action both the theoretical and the practical of the speeches. The Wisdom concerns to the innermost relationship between the attitude and the category and the wiseman, the manof the presence, as well is the man of the Sense and in it, finally, philosophy meets to itself. / A tese que segue defende a singular presença do conceito de sagrado e as categorias filosóficas do Sentido e da Sabedoria nos escritos de Éric Weil, tomando como referência oprimeiro termo de modo a ir além de uma perspectiva sociológica, restrita à Filosofia Política mas, presente nas demais obras, seja com uma significação definida, seja também como umlugar determinado. O sagrado não assume características religiosas no pensamento de Weil, mas está ligado ao campo da tradição e dos valores que permitem uma determinada comunidadedecidir em meio aos conflitos, assumindo a ideia de elemento de decisão e não apenas de composição de um contexto para problematização e compreensão de um tema. O percurso pelaobra possibilitou situar o conceito do sagrado, como também a sua permanência com características básicas e, além disso, com um lugar determinado no texto, a saber, o sagrado éum conceito fundamental para o pensamento weiliano quando se instaura uma situação de conflito e se exige pensar critérios frente à crise. Essa importância do sagrado no texto weilianoem seu sentido prático fez surgir a questão da existência, para aquele que se decidiu pela filosofia, também de seu sagrado, em outras palavras, há o sagrado para o filósofo, assim comohá para a comunidade que necessita decidir? A diferença fundamental é que o sagrado do filósofo já não seria apenas uma questão de decisão, mas de compreensão filosófica dosdiscursos sobre o real. Desse modo, surge o segundo conceito da tríade, o Sentido, categoria formal da filosofia que permite a compreensão do que é essencial de cada categoria na dinâmicada Lógica da Filosofia. O essencial do discurso é compreendido no horizonte do sentido e por cada categoria se expressar em um discurso, ou mesmo como negação do discurso, o Sentidosurge na perspectiva de compreender a linguagem em sua inventividade e criatividade poética, de modo que o Sentido, como o sagrado em sua lógica prática, é o campo da compreensãoteórica do que é posto discursivamente nas várias categorias filosóficas. Sagrado e Sentido expressam os problemas do prático e do teórico, mas o pensar weiliano não os entende sefechando em si, uma vez que transbordam para a síntese que se efetua na Sabedoria, a saber, o terceiro elemento de nossa hipótese, e que se caracteriza como a categoria que se atualiza jáque o sábio pensa sua ação, une na ação tanto o teórico quanto o prático dos discursos. A Sabedoria diz respeito à íntima relação entre a atitude e a categoria e o sábio, o homem dapresença, também é o homem do sentido e nela, finalmente, a filosofia encontra a si mesma.
235

Metodologias da inteligencia computacional em identificação e controle de processos : abordagem nebulosa evolutiva e neural

Coelho, Leandro dos Santos January 1997 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-17T00:27:36Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T21:24:04Z : No. of bitstreams: 1 106549.pdf: 11541153 bytes, checksum: 7575f2206b683c6693ce7160231badbb (MD5) / Esta dissertação trata da descrição, projeto e implementação de metodologias da inteligência computacional em identificação e controle de processos, em escala laboratorial, com propósito ao tratamento adequado das restrições e dos requisitos exigidos no projeto de sistemas. As metodologias da inteligência computacional utilizados são: lógica nebulosa, computação evolucionária, redes neurais artificiais, "simulated annealing" e sistemas híbridos inteligentes.
236

[en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES / [pt] OPERAÇÕES SOBRE ONTOLOGIAS LEVES

ROMULO DE CARVALHO MAGALHAES 25 February 2016 (has links)
[pt] Este trabalho aborda problemas de projeto de ontologias tratando-as como teorias e definindo um conjunto de operações que mapeiam ontologias em ontologias, incluindo suas restrições. Inicialmente, o trabalho resume o conhecimento básico necessário para definir a classe de ontologias utilizada e propõe quatro operações para manipular ontologias. Em seguida, mostra o funcionamento destas operações e como elas podem ajudar na criação de novas ontologias. O cerne do trabalho mostra a implementação destas operações em um plug-in do Protégé, detalhando sua arquitetura e incluindo casos de uso. / [en] This work addresses ontology design problems by treating ontologies as theories and by defining a set of operations that map ontologies into ontologies, including their constraints. The work first summarizes the base knowledge needed to define the class of ontologies used and proposes four operations to manipulate them. It then shows how the operations work and how they may help design new ontologies. The core of this work is describing the implementation of the operations over a Protégé plug-in, detailing the architecture and including case-use examples.
237

[en] MODELING THE MEDIATED SCHEMA CONSTRAINTS / [pt] MODELAGEM DE RESTRIÇÕES DE ESQUEMAS MEDIADOS

TANARA LAUSCHNER 17 September 2018 (has links)
[pt] Integração de dados refere-se ao problema de combinar dados que estão armazenados em diferentes fontes, fornecendo ao usuário uma visão unificada dos dados. As consultas são então expressas em um esquema global ou esquema mediado, que deve incluir restrições de integridade que contribuam para um entendimento correto sobre o que a semântica das fontes de dados do ambiente de mediação tem em comum. Esta tese endereça o problema de modelar as restrições de um esquema mediado a partir das restrições dos esquemas importados e dos mapeamentos de esquemas. Argumenta-se que as restrições devem ser modeladas como o ínfimo das restrições dos esquemas exportados, depois de traduzidos para um vocabulário comum. Desta forma, assegura-se que os usuários do esquema mediado interpretarão os resultados das consultas corretamente. Para uma família expressiva de restrições, esta tese mostra como computar eficientemente o ínfimo de conjuntos de restrições. / [en] Data integration refers to the problem of combining data stored in different sources, providing users with a unified view of the data. Queries are then expressed in terms of a global or mediated schema, which should include integrity constraints that contribute to a correct understanding of what the semantics of the data sources have in common. This thesis addresses the problem of modeling the constraints of a mediated schema from the imported schemas constraints and mappings. It argues that the constraints should be modeled as the greatest lower bound of the constraints of the export schemas, after appropriate translation to a common vocabulary. This assures that users of the mediated schema will correctly interpret query results. For a rich family of constraints, it shows how to efficiently compute the greatest lower bound of sets of constraints.
238

[en] POINT AND INTERVAL FORECASTING OF HIGH-FREQUENCY TIME SERIES WITH FUZZY LOGIC SYSTEM / [pt] PREVISÕES PONTUAIS E INTERVALARES DE SÉRIES TEMPORAIS DE ALTA FREQUÊNCIA COM SISTEMA DE LÓGICA FUZZY

BRUNO QUARESMA BASTOS 12 July 2017 (has links)
[pt] A previsão de séries temporais é um assunto de grande importância para diversas áreas, podendo servir como base para planejamento e controle, entre outros. As formas mais comuns de previsão são as pontuais. É arriscado, no entanto, planejadores tomarem decisões unicamente com base em previsões pontuais, pois séries reais são compostas por uma parte aleatória que não pode ser definida por modelagem matemática. Um modo de contornar este problema é realizando previsões intervalares. Estas fornecem informações sobre as incertezas das previsões pontuais, o que auxilia o planejador em suas decisões. Modelos de lógica fuzzy têm sido investigados na literatura de previsão devido a sua capacidade de modelar incertezas. Apesar disso, sistemas de lógica fuzzy Mamdani (MFLS) foram pouco investigados no tema, comparando-se a outros tipos de modelagens fuzzy. Ademais, entende-se que a literatura de previsão intervalar com modelos fuzzy é limitada. Neste contexto, este trabalho propõe um método para construção de previsões intervalares a partir das previsões pontuais do modelo MFLS de tipo-1 (T1 MFLS). O método proposto para construção de previsões intervalares do MFLS é baseado na reamostragem de erros in-sample. O modelo T1 MFLS é construído com uma heurística (para partição do universo de discurso das variáveis do modelo) e com a seleção da entrada do modelo. Previsões pontuais e intervalares são produzidas para séries horárias de carga de energia elétrica. A literatura de modelos fuzzy de previsão é revisada. / [en] Time series forecasting is an important subject for many areas; it can serve as basis for planning and control, among others. The most common type of forecast is the point forecast. It is, nevertheless, risky to make decisions based on point forecasts, considering that real time series are composed by a random part that cannot be exactly defined by mathematical modeling. One way to by-pass this problem is by producing interval forecasts. These provide information about point forecasts reliability, what helps the planner make his decisions. Fuzzy logic models have been investigated in the forecasting literature due to their ability to model uncertainties. In spite of this, Mamdani fuzzy logic systems (MFLS) have been less investigated in this subject than other types of fuzzy modeling approaches. Furthermore, it is understood that the literature of interval forecasting with fuzzy models is very limited. In this context, this work proposes a method for creating interval prediction from point forecasts of a type-1 MFLS (T1 MFLS). The proposed method for interval forecast construction is based on the resampling of in-sample errors. The T1 MFLS model is constructed with a heuristic (that makes the partition of the universe of discourse of the model s variables) and with selection of the model s inputs. Point and interval forecasts are produced for hourly electricity load series. The literature of fuzzy models applied in forecasting is reviewed.
239

Exploração de paralelismo ou em uma linguagem em lógica com restrições / OR parallelism exploitation in a constraint logic language

Vargas, Patricia Kayser January 1998 (has links)
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.
240

Philosophie et histoire dans la pensée d'Eric Weil / Filosofia e historia no pensamento de Eric Weil

Castelo Branco, Judikael 11 October 2017 (has links)
La philosophie d’Eric Weil présente une structure systématique dont l’interprétation des composants n’est pas facilement concevable. Le titre “Philosophie et histoire dans la pensée d'Eric Weil” propose une lecture complète du système weilian visant à sa compréhension à travers un élément qui traverse tout son travail : l’histoire. Notre hypothèse est que Weil présente une manière originale de penser à l’histoire qui, sans constituer une “philosophie particulière”, peut être un principe herméneutique pour l’interprétation de sa pensée. Nous voulons montrer que la question de l’histoire représente une position originale en s’éloignant de l’inspiration hegelienne et de la pensée heideggerienne; et fondamental, parce que la pensée de Weil ne peut être comprise sans référence à la réflexion sur l’histoire et à l’homme qui pose des questions sur l’histoire. Notre thèse se développe à partir de la tâche qui exige à la fois la présentation des problèmes inhérents à la conception d’une philosophie de l’histoire et la détermination du fil qui pointe vers son unité interne et son articulation avec le reste du système. Par conséquent, à chaque nouvelle étape, l’hypothèse est prise : la réflexion sur l’histoire sert de clé herméneutique légitime à approcher le travail weilien. Une première exigence a un caractère historique-exposant : énumérer les textes qui abordent les questions de la réflexion sur l’histoire. Il faut également lire systématiquement l’ensemble des textes et leur relation avec le système de philosophie articulé dans la Logique de la philosophie, en supposant que l’idée du système est la pierre angulaire de la validité de toute interprétation. Il ne s’agit donc pas de découper le corpus weilien en vue de l’indication des lieux où apparaît la question, mais de reconstruire l’unité entre les différentes parties de son travail. Notre enquête prend le travail de Weil en se concentrant sur l’histoire dans sa dimension logique-philosophique sans dispenser de la perspective histoire-politique. C’est donc une approche logique-argumentative qui tente de comprendre une philosophie qui est à la fois dialectique et critique. Nous avons divisé le travail en quatre chapitres. Le premier abordait la métaphilosophie dans la pensée weilienne à partir de son inspiration kantienne. Notre hypothèse fondamentale est le retour à l’affirmation du kantisme de Weil. Nous commençons par la définition de la philosophie en tant qu’acte humain de celui qui a librement choisi de comprendre le monde, une activité éminemment scientifique et transmissible et essentiellement historique. Le deuxième insère Eric Weil parmis les philosophes qui pensent l’histoire, plus précisément, il rélie Weil à la tradition d’une “critique de la raison historique” qui s’étend de Dilthey à Weber et à Aron. Le troisième prend les conditions des discours sur le sens de l’histoire dans le système des catégories discursives. Autrement dit, nous suivons la succession catégorielle de la Logique de la philosophie. Ce dernier constitue une deuxième partie du travail et reprend la tâche annoncée comme la récupération de la fonction sociale du philosophe, de la lecture weilienne de la Révolution française. / The philosophy of Eric Weil presents a systematic structure whose interpretation of the components is not easily conceivable. The title “Philosophy and history in the thinking of Eric Weil” proposes a comprehensive reading of the Weilian system aiming at its comprehension through an element that crosses all his work: history. Our fundamental hypothesis is that Weil is the original way of thinking about history, which, even without being a “particular philosophy”, is a hermeneutical principle for the interpretation of its thought. In our view, the theme has not yet found the deserved deepening among those who have been willing to think about Weilian philosophy both by the way the question of the relationship between philosophy and history is usually raised or as a tangent theme in the work or as a brand of his “Hegelianism”. We show that the question of history is taken from an original philosophical perspective by distancing itself from both Hegelian “inspiration” and Heideggerian thought; and fundamental, because Weil’s thinking can not be understood without reference to the reflection on history and the man who is interested in it. Our thesis develops from the task that demands both the presentation of the problems inherent to the design of a philosophy of history, and the determination of the thread that points to its internal unity and to its articulation with the rest of the system. Therefore, with each new step the hypothesis is taken that the reflection on the history serves as legitimate hermeneutic key of the work weiliana. A first requirement has a historical-expository character: to list texts that deal with the questions of thought about history. One should also systematically read the set of texts and their relation to the philosophy system articulated in the Logique de la philosophie, assuming the idea of ​​system as the touchstone of the validity of any interpretation. It is not, therefore, a question of cutting the Weilian corpus in view of the indication of the places where the question appears, but of rebuilding unity between the different parts of his work. Our investigation takes Weil’s work by concentrating on history in its logical-philosophical dimension without dispensing with that historical-political. It is, then, a logical-argumentative perspective that tries to understand a philosophy that is intended dialectic and critical. To do so, we divided the work into four chapters. The first deals with metaphilosophy in Weilian thought from its Kantian inspiration. Our fundamental hypothesis is the return to the affirmation of Weil’s kantism, Kantianism taken up by a philosopher who read and understood Hegel. We start from the definition of philosophy as a human act of one who freely chose to understand the world in a quest for meaning understood as an eminently scientific and communicable activity and, above all, essentially historical. The second is Eric Weil in the wake of philosophers who think of history, always according to Kantian inspiration, which implies associating it with the tradition of a “critique of historical reason” that starts from Dilthey and extends to Weber and Aron. The third takes the conditions of discourses on the meaning of history to the system of discursive categories. Put another way, we follow the categorial succession of the Logique de la philosophie. On the one hand, we discern the motives that hinder a historical discourse from the Truth to the Self, and on the other, we follow the development of the foundational discourses of an understanding of the history of the category of God to Wisdom. The latter constitutes a second part of the work and takes up the task announced as the recovery of the social function of the philosopher, from the Weilian reading of the French Revolution. / A filosofia de Eric Weil apresenta uma estrutura sistemática cuja interpretação dos componentes não é facilmente concebível. O título “Filosofia e história no pensamento de Eric Weil” propõe uma leitura abrangente do sistema weiliano visando sua compreensão através de um elemento que atravessa toda a sua obra: a história. Nossa hipótese fundamental é a de que se encontra subjacente, em Weil, uma forma original de pensar a história, que, mesmo sem constituir uma “filosofia particular”, é uma princípio hermenêutico para a interpretação do seu pensamento. A nosso ver, o tema ainda não encontrou o aprofundamento merecido entre os que se dispuseram a pensar a filosofia weiliana tanto pela forma como normalmente se põe a questão da relação entre a filosofia e a história ou como um tema tangente na obra ou como uma marca do seu “hegelianismo”. Mostramos que a questão da história é tomada numa perspectiva filosófica original por se distanciar tanto da “inspiração” hegeliana como do pensamento heideggeriano; e fundamental, porque o pensamento de Weil não pode ser compreendido sem referência à reflexão sobre a história e sobre o homem que por ela se interessa. Nossa tese se desenvolve a partir da tarefa que demanda tanto a apresentação dos problemas inerentes ao projeto de uma filosofia da história, como a determinação do fio condutor que aponta para a sua unidade interna e para a sua articulação com o restante do sistema. Portanto, a cada novo passo retoma-se a hipótese de que a reflexão sobre a história serve de chave hermenêutica legítima da obra weiliana. Uma primeira exigência tem caráter histórico-expositivo: elencar os textos que abordam as questões próprias do pensamento sobre a história. Deve-se também ler sistematicamente o conjunto dos textos e da sua relação com o sistema da filosofia articulado na Lógica da filosofia, assumindo a ideia de sistema como pedra de toque da validade de qualquer interpretação. Não se trata, portanto, de recortar o corpus weiliano em vista da indicação dos lugares em que a questão aparece, mas de reconstruir a unidade entre as diferentes partes da sua obra. Nossa investigação toma a obra de Weil concentrando-nos sobre a história na sua dimensão lógico-filosófica sem prescindir daquela histórico-política. Trata-se, então, de uma perspectiva lógico-argumentativa que tenta compreender uma filosofia que se pretende dialética e crítica. Para tanto, dividimos o trabalho em quatro capítulos. O primeiro aborda a metafilosofia no pensamento weiliano a partir da sua inspiração kantiana. Nossa hipótese fundamental é o retorno à afirmação do kantismo de Weil, kantismo retomado por um filósofo que leu e compreendeu Hegel. Partimos da definição da filosofia como ato humano próprio de quem escolheu, livremente, compreender o mundo numa busca de sentido entendida como atividade eminentemente científica e comunicável, e, acima de tudo, essencialmente histórica. O segundo, insere Eric Weil na esteira dos filósofos que pensam a história, sempre segundo a inspiração kantiana, o que implica associá-lo à tradição de uma “crítica da razão histórica” que parte de Dilthey e se prolonga até Weber e Aron. O terceiro leva as condições dos discursos sobre o sentido da história ao sistema das categorias discursivas. Dito de outro modo, seguimos a sucessão categorial da Lógica da filosofia. De um lado, discernimos os motivos que impedem um discurso histórico da Verdade ao Eu, e de outro, acompanhamos o desenvolvimento dos discursos fundantes de uma compreensão da história da categoria Deus até a Sabedoria. O último constitui uma segunda parte do trabalho e retoma a tarefa anunciada como a recuperação da função social do filósofo, a partir da leitura weiliana da Revolução francesa.

Page generated in 0.0453 seconds