Magíster en Ciencias de la Ingeniería, Mención Eléctrica / Ingeniera Civil Electricista / Debido a la geografía Chilena, aún existen localidades aisladas de los cuatro grandes sistemas eléctricos que proveen energía al país. Considerando esta situación y el hecho de que Chile posee abundantes recursos renovables no convencionales para generar energía eléctrica, se plantea la posibilidad de instalar centrales de generación distribuida para estas localidades, de manera de robustecer los sistemas principales ya existentes. El Centro de Energía de la Universidad de Chile, instaló en 2010 una micro-red con generación distribuida en la localidad de Huatacondo, región de Tarapaca, que incorpora recursos renovables. Dicha comunidad, contaba con 10 horas diarias de energía previo a la instalación de la micro-red. Ésta micro-red está diseñada para operar con un EMS (Energy Management System), que realiza los despachos de las unidades, de manera de optimizar los costos de generación. Una de las entradas a este sistema corresponde a la predicción de demanda y además incorpora un sistema de gestión de demanda. El primero de los objetivos de esta tesis es el diseño del bloque de predicción de demanda, para lo cual se utilizaron modelos difusos de Takagi y Sugeno, tomando en cuenta el comportamiento no lineal que presenta la demanda. El modelo está diseñado para entregar las predicciones que el EMS necesita, es decir, para un horizonte de 2 días. Al derivar el modelo, se incluye a las etapas de identificación, un análisis de estabilidad basada en los teoremas Tanaka y Sugeno (1990). El modelo final consta de cuatro reglas y 96 regresores, es decir, la demanda futura depende de la demanda del día anterior. Como resultado, se obtiene un modelo que logra entregar predicciones para horizontes de dos días, con errores entorno al 14%. También se analizó la predicción utilizando el optimizador del EMS, la predicción con modelo difuso tenía un error 11% menor a la predicción usada originalmente, lo que se tradujo en una disminución del 15% de los costos para la optimización a dos días. El segundo objetivo corresponde a desarrollar una metodología para modelar la variación del consumo ante las señales de gestión de demanda, utilizando para esto modelos difusos de Mamdani. La base de reglas se construyó a partir de la información de encuestas realizadas a los habitantes de Huatacondo, a los que se les preguntó sobre su consumo eléctrico habitual y cómo este cambiaria para diferentes señales de gestión. A partir de las encuestas se realizó un perfil base para cada casa los que se compararon con los cambios que dijeron realizarían para diferentes señales de gestión, a partir de esto se extrajeron siete reglas difusas. Los conjuntos de entrada al modelo corresponden a la hora y la señal de gestión, mientras que la salida es la variación esperada en el consumo. Finalmente, se utilizan intervalos difusos para determinar el rango dinámico para el factor de desplazamiento de carga. Esto se probó en el EMS, utilizando dos intervalos de distinta amplitud y comparándolos con el caso sin desplazamiento de carga, obteniéndose que a mayor amplitud del intervalo, los costos disminuyen hasta en un 27%.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T13:45:04Z (GMT). No. of bitstreams: 1 Carolino_PietroKreitlon_M.pdf: 612208 bytes, checksum: d9a9dde30e7c7ea6f5a420ad1dfde09c (MD5) Previous issue date: 2009 / Resumo: A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles, Leibniz, Newton e dos analistas a partir do século XVII, como Taylor, MacLaurin e Lagrange. O que foi chamado em [12] de polinomizar é precisamente a tentativa de reavaliar os métodos oriundos de Boole e Leibniz, que permitem representar a semântica e a sintaxe de diversos sistemas lógicos pela manipulação algébrica. Tirando partido de resultados combinatórios elementares, é possível tratar todas as lógicas multivalentes verofuncionais com base em manipulação polinomial; não somente estas, mas também lógicas não-verofuncionais, e ainda fragmentos da lógica de primeira ordem, que formalizam a teoria clássica de silogismos de Aristóteles. Este trabalho pretende esclarecer tais questões de forma mais abrangente, e investigar a possibilidade de estender o tratamento da polinomização a outras lógicas. São obtidos alguns resultados positivos, como novas demonstrações de teoremas conhecidos, mas também negativos, que mostram as limitações do método. Investiga-se também a relação da polinomização de lógicas com outros tratamentos conhecidos, como paraconsistentização, temporalização, algebrização etc. / Abstract: The work of George Boole, cornerstone of contemporary logic, does not draw a clear distinction between the methods of mathematical analysis, and those of logic proper. If, on the one hand, this lack of well-de ned borders has earned it harsh criticism, on the other hand it makes Boole's work a true synthesis of formal thought, inherited from Aristotle, Leibniz, Newton and the 17th-century analysts, such as Taylor, MacLaurin and Lagrange. What was called polynomizing in [12] is precisely the attempty to re-evaluate the methods originiating in Boole and Leibniz, which allow one to represent the semantics and syntax of varioius logical systems through algebraic manipulation. Using elementary combinatorial results, it is possible to treat all multivalent truth-functional logics by polynomial manipulation; not only these, but some non-truth-functional logics, and also fragments of first-order logic, which formalize Aristotle's classical theory of syllogisms. The present work intends to throw light upon such questions in a broader way, and to investigate the possibility of extending the method of polynomization to other logics. Some positive results are obtained, such as new proofs of known theorems, but also some negative ones, which show the inherent limitations of the method. We further investigate the relationship between polynomization of logics and other known treatments, such as paraconsistentization, temporalization, algebrization etc. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Rafael Santos Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T03:50:44Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_D.pdf: 6761411 bytes, checksum: ceea1c2dd3d35ba4d2e536d090e00ab6 (MD5) Previous issue date: 1998 / Resumo: Aborda-se o problema de verificação de especificações e síntese de controladores em uma classe de sistemas dinâmicos a eventos discretos. Propõe-se uma nova lógica modal denominada lógica modal NK, e mostra-se que um conjunto de fórmulas nesta lógica é equivalente a um conjunto de fórmulas escritas no contexto da teoria de dióides. Desse modo, um sistema descritível por um grafo a eventos, que é modelado por um conjunto de equações num dióide apropriado, também é modelado por um conjunto de fórmulas da lógica modal NK. Então utiliza-se as técnicas de tableaux analíticos para desenvolver um algoritmo para decidir se uma especificação é satisfeita ou não. Quanto ao problema de síntese, a solução obtida pelo tableau analítico é utilizada para determinar as NK-fórmulas, e portanto o controlador, que tomará a especificação satisfeita. A principal vantagem deste inter-relacionamento de abordagens é permitir a utilização de técnicas da lógica modal, particularmente os tableaux analíticos, no tratamento de problemas de análise e síntese de controlad9res para sistemas a eventos discretos / Abstract: The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system described by an event graph can be modeled by a set of formulas in NK logic. Then we use the technique of the analytic tableaux to develop an algorithm to decide if a specification, also expressed in NK logic, is satisfied. If a specification is not satisfied then there exists a solution for the equations written in dioid context that violates the specification. The method of analytic tableaux gives this solution. Conceming the synthesis problem, the solution obtained by the analytic tableau is used to determine the NK-formulas, and therefore the controller, that makes the specification be verified. The main advantage of this approach is allow us to use the technique of analytic tableaux to investigate problems of analysis and synthesis of controllers for discrete event systems / Doutorado / Doutor em Engenharia Elétrica

Orientador: Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-20T17:07:34Z (GMT). No. of bitstreams: 1 Sautter_FrankThomas_M.pdf: 1965384 bytes, checksum: de383de9d44d5f50a346a84f71ec3e04 (MD5) Previous issue date: 1995 / Resumo: Analisamos as definições de conjunto finito de Dedekind (1893), de Zermelo (1908) e de Alarcón Athens (1987). A partir destas definições, formulamos e demonstramos diversos princípios de indução matemática para conjuntos finitos. Obtivemos uma nova definição de conjunto finito: um conjunto C é finito 'Se e somente se o conjunto vazio pertence a toda família não-vazia F de subconjuntos de C tal que para todo conjunto não vazio D 'PERTENCE¿ F existe um único conjunto E 'PERTENCE¿ F onde E = D - {d} para algum d 'PERTENCE¿ D. Demonstramos que, na axiomática de Zermelo-Fraenkel sem o axioma da escolha, esta definição é formalmente equivalente ao axioma de Dedekind, segundo o qual todo conjunto infinito, no sentido aritmético usual, tem subconjunto enumerável / Abstract: We analize Dedekind's (1893), ZermeIo's (1908) and Alarcón Athens' (1987) definitions of finite sets. From these definitions we formulate and prove some mathematical induction principles for finite sets. We obtain a new definition of finite sets: a set C is finite if and only if the empty set beIongs to every non-empty famiIy F of subsets of C, such that for every non-empty set D 'PERTENCE¿ F there exists exactly one set E 'PERTENCE¿ F such that E = D - {d} for some d 'PERTENCE¿ D. We prove that, in ZermeIo-Fraenkel axiomatics without the choice axiom, this definition is formally equivalent to Dedekind's axiom, which says that every infinite set, in the ordinary sense, has an enumerabIe subset / Mestrado / Mestre em Filosofia

Orientador : Ubiratan d'Ambrosio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / O exemplar da FE pertence a Coleção de Teses do Circulo de Estudos, Memoria e Pesquisa em Educação Matematica (CEMPEM) / Made available in DSpace on 2018-07-15T09:22:56Z (GMT). No. of bitstreams: 1 Muhl_VeraJussaraLourenzi_M.pdf: 1562990 bytes, checksum: a7333f65f84d0e400829327d62479855 (MD5) Previous issue date: 1989 / Resumo:Esta dissertação procura sugerir uma forma de trabalhar a iniciação à Lógica Simbó1ica (matemática), forma essa já experimentada com os alunos da Licenciatura Plena em Ciências que prepara profissionais para atuarem no ensino de Ciências do 1º grau. Num processo lento de ação e de reflexão sobre o trabalho em sala de aula, chegamos a proposta que ora apresentamos. Descrevemos aqui essa proposta e registramos as conclusões a que chegamos, as quais são os limites ou os alcances do trabalho proposto. Ela se baseia no processo dialético teoria-prática, onde a modelagem e a estratégia que faz com que o aluno tome consciência do seu modo de pensar a realidade. Este processo dialético, que faz uso da modelagem explicitado na descrição do trabalho. Esta dissertação mostra um trabalho que pode ser a atividade normal de qualquer educador, ou seja, reflexão sobre o processo ensino-aprendizagem em sala de aula / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador: Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1 Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5) Previous issue date: 1989 / Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de fórmulas são associados a critérios de derivação que determinam os argumentos das funções dos programas. estabelecendo o seqüenciamento da execução destas funções e possibilitando a derivação de novos conhecimentos. Propõe-se um conjunto de relações de complexidade entre as fórmulas do 'lambda¿-cálculo tipado. que se baseia em uma classificação destas fórmulas. A classificação se fundamenta na estrutura sintática dos símbolos para tipo associados às fórmulas. A ordem dos símbolos para tipo determina relações de ordem entre as fórmulas do 'lambda¿-cálculo tipado, definindo as relações de complexidade. As relações de complexidade são utilizadas em uma representação sintática das relações hierárquicas de complexidade do conhecimento representado em um sistema. Demonstra-se um conjunto de condições necessárias ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines the programms functions arguments and the execution function sequence. A typed 'lambda¿-calculus formulas complexity relationship based on a typed h-calculus formulas classification is proposed. The classification is based on the formulas and type simbols sintat ic structure. The type simbols orders determines typed 'lambda¿-calculus formulas order relations wich define the complexity relationship. The complexity relationship is used to represent a sintatic representation of a knowledge system hierarchic relationship complexity ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica

Orientador : Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-16T09:51:30Z (GMT). No. of bitstreams: 1 Gonzales_MariaEuniceQuilici_M.pdf: 34830142 bytes, checksum: 2b5e2b2cb44e1d091ead102c22b1f740 (MD5) Previous issue date: 1984 / Resumo: Analisamos nesta dissertação questões relativas à descoberta científica e aos processos cognitivos subjacentes a atividade de resolução humana de problemas. No que diz respeito à descoberta científica, nossa análise limita-se basicamente a uma investigação dos trabalhos de Hanson e Simon sobre a lógica da descoberta científica. Quanto aos processos cognitivos subjacentes à atividade de resolução humana de problemas, nosso estudo estará apoiado nas idéias de Polya, Newell e Simon, Hintikka e Remes. O presente trabalho divide-se em duas partes centrais que se desdobram nos capítulos I-V. No capítulo I, iniciamos o estudo da descoberta confrontando os pontos de vista de Hanson e Popper sobre a lógica da descoberta científica. A seguir, com base nas obras de Buchanan Logics of Scientific Discovery e de Kuhn A Estrutura das Revoluções Científicas, desenvolvemos uma análise do conceito de descoberta e discutimos algumas dificuldades concernentes à noção da lógica da descoberta. Concluímos o capítulo I discutindo algumas das teses centrais que poderiam caracterizar uma metodologia da descoberta científica. No capítulo II, analisamos as principais teses de Hanson sobre a lógica da descoberta, em três secções que correspondem aos três estágios da obra desse autor. Iniciamos o capítulo discutindo as teses de Patterns of Discovery. A seguir, o artigo "Is There a Logic of Scientific Discovery?¿ é analisado e, finalmente, ¿Retroductive Inference" completa a nossa análise do trabalho de Hanson. No capítulo III examinamos algumas idéias relativas a uma possível metodologia da descoberta científica. Iniciamos o capítulo investigando, com base na obra de Polya - A Arte de Resolver Problemas, uma área de estudos denominada "Heurística", a qual trata de métodos de resolução de problemas e de processos de descoberta. Após uma breve análise acerca da natureza dos problemas, discutimos a tese segundo a qual a descoberta científica pode ser entendida como um processo de resolução de problemas. Concluímos o capítulo apresentando um método conhecido como método de análise (o qual foi utilizado pelos antigos para a descoberta de provas de teoremas e soluções de problemas da geometria) e sugerindo que o estudo desse método poderia ser útil para uma análise da metodologia da descoberta científica. Nos capítulos IV e V, que constituem a segunda parte da tese, discutimos, respectivamente, a teoria de resolução de problemas de Newell e Simon e a teoria da descoberta de Simon, desenvolvidas na área de Inteligência Artificial. No capítulo IV I damos especial destaque ao estudo de um método conhecido nessa área como método heurístico de busca e mostramos em que sentido ele poderia ser entendido como uma versão do método de análise. No capítulo V apresentamos a teoria da descoberta elaborada por Simon, na versão psicológica e sociológica, de um lado, e na versão "lógica", de outro. Concluímos a dissertação fazendo um balanço daquilo que foi apresentado nos capítulos anteriores, e questionando as contribuições da Inteligência Artificial, no que diz respeito ao esclarecimento das noções apresentadas sobre o processo da descoberta científica / Abstract / Mestrado / Mestre em Filosofia

Orientador : Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T22:28:00Z (GMT). No. of bitstreams: 1 Pedrosa_RenatoHyudadeLuna_M.pdf: 2015565 bytes, checksum: b7d81d45dac1c68e5b5fa95933d079b9 (MD5) Previous issue date: 1981 / Resumo: Não informado / Abstract; Not informed / Mestrado / Mestre em Matemática

Orientador: Jose Armando Valente / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T05:06:57Z (GMT). No. of bitstreams: 1 Baranauskas_MariaCeciliaCalani_D.pdf: 17533192 bytes, checksum: 75acf1785ebdc0ff37c188cfb76d937a (MD5) Previous issue date: 1993 / Résumé: Cette these a comme theme principal le design des outils computationales constituent un ambiant de programmation Prolog et l'étude de l'interaction du novice en cet ambiant. La proposition de l'ensemble des outils est expliciter le paradigme sousjacent et enrichir le feedback formé par l'ambiant Prolog facilitant au novice l'acces au programme pas seulement dans la signification operationale, mais aussi dans la signification logique. Les outils insérés dans l'ambiant de programmation Prolog constituent um Module Operationale et un Module Declaratif. Dans le Module Operationale, la machine virtuelle du langue est executé à travers d'une base des donnés que nous appelons Arbre du Espace de Cherche. Dans le Module DecIaratif le formalisme clausal du programme est exprimé d'une manihe picturale à travres d'un modele basé en diagrammes des reseaux sémantiques, que nous appelons Diagrammes Sémantiques. II a été fait une étude experimentale pour l'analyse de l'interaction du novice dans l'ambiant proposé, avec deux types de novices: (A) novices dans leur premiere experience avec une langue de programmation (et aussi avec les ordinateurs) et (B) novices en Prolog, mais avec un bon connaissance des langues de procedures. Notre objectif a été étuder les états initials du procés de acquisition de la langue Prolog et les effets des outils dans ce procés. Les études des observations faites on montré que les deux types de novice ont modéles conceptuelles initiales de Ia machine virtuelle, qui sont les responsables de leur interpretation du programme Prolog e de la conduite de la machine virtuelle de la langue. Les situations d erreur peuvent être interprétés a partir de ces modeles conceptuelles courant, qui evoluent dans le procés d'interaction avec l'ambiant. L'activité de programmer s'est montré comme un proces d'incrémentation que comprend une cyc1e realimenté par reponds donés par l'ambiant de programation. Ainsi, la dépuration est une partie du procés de acquisition de la langue et non une phase que doit être traité isolément. Le feedback formé par les outils a été l'origin d'une transformation de la perspective des éleves en relation a la conaissance etant représenté (programme) et en relation au interlocuteur dans le procés de programmation (machine virtuelle), lequel a rend possible la modification de leurs modéles conceptuelles de la langue / Resumo: Esta tese tem como tema principal o design de ferramentas computacionais que constituem um ambiente de programação Prolog e o estudo da interação do novato nesse ambiente. A proposta do conjunto de ferramentas é explicitar o paradigma de programação subjacente e enriquecer o feedback gerado pelo ambiente Prolog, possibilitando ao novato acesso ao programa não apenas em seu significado operacional, mas também em seu significado lógico. As ferramentas, inseridas no ambiente de programação Prolog, constituem um Módulo Operacional e um Módulo Declarativo. No Módulo Operacional, a máquina virtual da linguagem é explicitada através de uma representação gráfica da ,árvore de busca de determinada meta em uma base de dados, que denominamos Arvore de Espaços de Busca. No Módulo Declarativo o formalismo clausal do programa é expresso de forma pictórica através de um modelo baseado em diagramas de redes semânticas, que denominamos Diagramas Semânticos. Foi feito um estudo experimental para análise da interação do novato no ambiente proposto, que envolveu dois tipos de novatos: (A) novatos em sua primeira experiência com linguagem de programação (e mesmo com computadores) e (B) novatos em Prolog, mas com bom conhecimento de linguagens procedurais. Nosso objetivo foi investigar os estágios iniciais do processo de aquisição da linguagem Prolog e os efeitos das ferramentas propostas, nesse processo. Os estudos realizados mostraram que ambos os tipos de novato têm modelos conceituais iniciais da máquina virtual, responsáveis pela sua interpretação a respeito do programa Prolog e do comportamento da máquina virtual da linguagem. As situações de erro podem ser interpretadas a partir desses modelos conceituais correntes, que evoluem ao longo do processo de interação com o ambiente. A atividade de programar mostrou-se como um processo incremental que envolve um ciclo realimentado por respostas forneci das pelo ambiente de programação. Dessa maneira, depuração é parte do processo de aquisição da linguagem e não uma fase a ser tratada isoladamente. O feedback gerado pelas ferramentas provocou uma mudança de perspectiva dos estudantes em relação ao conhecimento sendo representado (programa) e em relação ao interlocutor no processo de programação (máquina virtual), o que possibilitou a modificação nos seus modelos conceituais da linguagem / Abstract: This thesis concerns the design of computational tools which constitute a Prolog programming environment and the study of novices' interaction in this environment. The purpose of the tool package is to make explicit the underlying programming paradigm and to reinforce the feedback provided by the Prolog environment, opening to the novice access to the program, not only in its operational meaning but also in its logical meaning. The tools are integrated in the Prolog environment through an Operational Module and a Declarative Module. In the Operational Module, the language virtual machine is shown through a graphical representation of the search tree of a goal within a database, which I named Search-Spaces Tree. In the Declarative Module, the clausal form of the program is represented in a pictorial way, by means of a model based on network diagrams, which I named Semantic Diagrams. The study of the novice's interaction within the proposed environment was conducted experimentally with two types of novices: (A) novices in their first experience with a programming language (and even with computers) and (B) novices with good practice of procedural programming. Our aim was to investigate the early stages of Prolog programming and the effects of the proposed tools in this process. The observational studies undertaken showed that both types of novices had an initial conceptual model of the virtual machine. Such models guided their interpretation of the Prolog program and of the behavior of the machine. Their misunderstandings may be understood as resulting from their current models, which evolve as long as they interact in the environment. The programming activity can be interpreted, from the results, as an incremental process which envolves a cyclic process fed by responses of the programming environment. By this way, debugging is part of the language learning process and not an activity to be treated in isolation. The feedback created by the tools provided changes in the students' perspective related to the knowledge being represented (program) and the interlocutor in the process (virtual machine), which lead them to the understanding of the conceptual model of the language / Doutorado / Doutor em Engenharia Elétrica

Orientador: Fernando A. C. Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T15:26:53Z (GMT). No. of bitstreams: 1 Daltrini_AlexandreMoreira_M.pdf: 4304751 bytes, checksum: 40ce8b7b349c84d1c46e348802edecdf (MD5) Previous issue date: 1993 / Resumo: Atualmente, a Modelagem e Processamento de Conhecimento é um assunto muito explorado na área de pesquisa em Inteligência Artificial. A proposta deste trabalho é apresentar uma modificação das Redes de Petri, a Rede de Petri Nebulosa Estendida, baseada em conceitos da Lógica Nebulosa e das Redes de Petri. Esta nova metodologia é direcionada para a representação e processamento de conhecimento em sistemas com caracteristicas de incerteza ou aspectos vagos em sua modelagem. A Rede de Petri Nebulosa Estendida pretende fornecer uma ferramenta para representação de conhecimento que seja de amplo escopo de aplicação, adaptando-se à problemas nas mais diversas áreas de atuação, e que seja de fácil manipulação. Há ainda um exemplo de aplicação em simulação de sistemas de manufatura, onde se realiza a modelagem através de regras de produção nebulosas e, após o processamento sob o algoritmo proposto, apresentam-se os resultados e sua devida interpretação / Abstract: Nowadays, knowledge modelling and processing are topics of interest for Artificial Intelligence researchers. The proposal of this work is to develop a modification of classical Petri Nets, which one is based on principles of Fuzzy Logic and Petri Nets, called Extended Fuzzy Petri Nets. This new methodology is addressed to the Knowledge Representation and Processing of systems, in which there are some aspects of uncertainty and vagueness. The Extended Fuzzy Petri Nets intends to offer a Knowledge Representation tool, with several application areas and easy manipulation. There is an example of manufacturing systems simulation, with the cell modelling based on fuzzy production roles and, after the processing by the algorithm developed, the results and interpretation are presented. / Mestrado / Mestre em Engenharia Elétrica