Neste tutorial, serão apresentadas as noções básicas de conjuntos fuzzy e da álgebra dos conjuntos fuzzy, assim como inferência fuzzy e sistemas fuzzy. Serão analisados exemplos de aplicações.

Possui graduação em Engenharia Civil pela Universidade Católica de Pelotas (1980), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1998). Atualmente é Professora Adjunta do Centro de Ciências Computacionais da Universidade Federal do Rio Grande – FURG, docente permanente do Programa de Pós-Graduação em Modelagem Computacional da FURG, avaliador de cursos de graduação do BASIS do Ministério da Educação e pesquisador nível 2 do Conselho Nacional de Desenvolvimento Científico e Tecnológico. É editora associada da Revista TEMA – Tendências em Matemática Aplicada e Computacional, da SBMAC. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas Multiagentes e Matemática da Computação, atuando principalmente nos seguintes temas: organização de sistemas multiagentes, processos de decisão em sistemas multiagentes, simulação social, teoria dos domínios, lógica fuzzy e matemática intervalar.

Verificação de modelos (ou model checking) é uma técnica utilizada quando se quer garantir que um sistema de hardware ou software possui determinada propriedade. Essa técnica é particularmente interessante para sistemas concorrentes, quando as técnicas de teste de software tradicionalmente aplicadas não funcionam. Na verificação de modelos, um sistema é descrito por um modelo finito de estados, gerado a partir de uma linguagem de especificação e as propriedades são especificadas por meio de alguma lógica temporal. O verificador de modelos é um algoritmo que percorre o espaço de estados do modelo, assegurando que em nenhum estado a propriedade especificada é violada; caso isso ocorra, o verificador apresenta um contra-exemplo para a propriedade, correspondente ao traço de execução no sistema que violou a propriedade. A automatização do processo de verificação tem o atrativo de não demandar conhecimentos especializados de provas matemáticas formais; por outro lado, tem a limitação do espaço de estados ter que ser finito. Neste curso veremos diferentes abordagens existentes para a verificação de modelos, ferramentas disponíveis e como elas podem auxiliar na construção de sistemas corretos do ponto de vista de sua especificação.

Possui graduação em Engenharia Informática pela Universidade Nova de Lisboa (1993), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1996) e doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2005). É professora do ensino superior desde Agosto de 1996. Atualmente é Professora Adjunta da Universidade Federal do Pampa (Unipampa) e avaliadora institucional e de cursos do Instituto Nacional de Estudos e Pesquisas Educacionais (INEP). Tem experiência na área de Ciência da Computação atuando principalmente nos seguintes temas: orientação a objeto, método formais de especificação e verificação de sistemas de software, gramáticas de grafos, modelos de melhoria de processos de software e educação em computação e informática.

Inicialmente, analisam-se os modelos da Teoria da Computação Clássica (especialmente a máquina de Turing) desde o ponto de vista sistêmico, isto é, desde o ponto de vista que considera os sistemas computacionais como sistemas reais, funcionando no contexto do ambiente em que estão inseridos. Caracterizam-se, então, os modelos da computação clássica como sistemas fechados, não interativos, com computações limitadas à realização computacional de mapeamentos entre dados de entrada e saída. A seguir, analisam-se os modelos da Teoria da Computação Interativa (especialmente a máquina de Turing persistente) do ponto de vista sistêmico, mostrando de que forma eles se caracterizam como sistemas abertos cujas computações realizam a troca interativa de informações com o ambiente. Em seguida, considera-se a perspectiva de estender os modelos da Teoria da Computação Interativa para incluir a possibilidade de o sistema trocar não apenas informação, mas também matéria e energia com o seu ambiente. Nessa perspectiva, procura-se indicar as características gerais que se esperaria de sistemas computacionais com características desenvolvimentais, isto é, de sistemas computacionais capazes de se modificar material e operacionalmente enquanto funcionam e interagem com o ambiente. Para concluir, consideram-se as possíveis consequências práticas e teóricas da disponibilidade de sistemas computacionais com características desenvolvimentais.

Possui graduação em Engenharia Elétrica opção Eletrônica pela Universidade Federal do Rio Grande do Sul (1977), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1980), especialização em Metodologia do Ensino Superior pela Universidade Federal do Rio Grande do Sul (1981) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1993). Atualmente é professor adjunto da Universidade Federal do Rio Grande, pesquisador 2b do Conselho Nacional de Desenvolvimento Científico e Tecnológico e professor orientador colaborador da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos temas: Fundamentos da Inteligência Artificial, Sistemas Multiagentes e Teoria da Computação Interativa.

Este curso tem por objetivos oferecer uma visão geral da área de métodos formais para especificação de sistemas e dar uma introdução ao método de gramáticas de grafos. Este método de especificação pode ser utilizado para especificar uma grande variedade de sistemas complexos, incluindo sistemas concorrentes e distribuídos. A descrição utilizando grafos para representar estados e transformações de grafos para representar mudanças de estados é bastante intuitiva e ao mesmo tempo poderosa. Neste curso serão discutidas várias aplicações de gramáticas de grafos. Atenção especial será dada à especificação de sistemas concorrentes e distribuídos, que podem ser modelados de forma simples e elegante usando gramática de grafos.

Leila Ribeiro: Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informtica – Technische Universitat Berlin (1996). Atualmente é pesquisadora nível 2 do Conselho Nacional de Desenvolvimento Científico e Tecnológico e professor associado da Universidade Federal do Rio Grande do Sul. É membro do IFIP Working Group 1,3 (Foundations of System Specification). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: especificação e semântica formal, bioinformática, verificacao formal e modelos de computação.

Fernando Luís Dotti: possui graduação e mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1988 e 1991), e doutorado em Ciência da Computação pela Universidade Técnica de Berlim (1997). De agosto de 2008 a julho de 2009 esteve em estágio pós-doutoral em visita às Universidades de Newcastle e York, Inglaterra. Desde 1998 é professor em tempo integral na Pontifícia Universidade Católica do Rio Grande do Sul, onde atua como orientador no Programa de Pós-Graduação em Ciência da Computação. Tem experiência em redes de computadores e sistemas distribuídos, aplicando técnicas de especificação, verificação e análise quantitativa de protocolos de comunicação e algoritmos distribuídos. Durante o estágio pós-doutoral investigou técnicas de especificação formal e análise aplicadas a sistemas tolerantes a falhas. Atualmente é Coordenador do Programa de Pós-Graduação em Ciência da Computação da PUCRS.

Este curso tem por objetivos oferecer uma visão geral da área de métodos formais para especificação de sistemas e dar uma introdução ao método de gramáticas de grafos. Este método de especificação pode ser utilizado para especificar uma grande variedade de sistemas complexos, incluindo sistemas concorrentes e distribuídos. A descrição utilizando grafos para representar estados e transformações de grafos para representar mudanças de estados é bastante intuitiva e ao mesmo tempo poderosa. Neste curso serão discutidas várias aplicações de gramáticas de grafos. Atenção especial será dada à especificação de sistemas concorrentes e distribuídos, que podem ser modelados de forma simples e elegante usando gramática de grafos.

Leila Ribeiro: Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informtica – Technische Universitat Berlin (1996). Atualmente é pesquisadora nível 2 do Conselho Nacional de Desenvolvimento Científico e Tecnológico e professor associado da Universidade Federal do Rio Grande do Sul. É membro do IFIP Working Group 1,3 (Foundations of System Specification). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: especificação e semântica formal, bioinformática, verificacao formal e modelos de computação.

Fernando Luís Dotti: possui graduação e mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1988 e 1991), e doutorado em Ciência da Computação pela Universidade Técnica de Berlim (1997). De agosto de 2008 a julho de 2009 esteve em estágio pós-doutoral em visita às Universidades de Newcastle e York, Inglaterra. Desde 1998 é professor em tempo integral na Pontifícia Universidade Católica do Rio Grande do Sul, onde atua como orientador no Programa de Pós-Graduação em Ciência da Computação. Tem experiência em redes de computadores e sistemas distribuídos, aplicando técnicas de especificação, verificação e análise quantitativa de protocolos de comunicação e algoritmos distribuídos. Durante o estágio pós-doutoral investigou técnicas de especificação formal e análise aplicadas a sistemas tolerantes a falhas. Atualmente é Coordenador do Programa de Pós-Graduação em Ciência da Computação da PUCRS.

A medida que os paradigmas de desenvolvimento voltam-se para ambientes distribuídos, seja fisicamente ou conceitualmente, metodologias que permitam a descrição de sistemas deste tipo de forma natural e intuitiva ganham atenção. Nesse sentido, a Rede de Petri, como uma ferramenta gráfica e matemática de modelagem e análise, se adapta a um grande número de aplicações em que as noções de eventos e de evoluções simultâneas são importantes. O objetivo com esta palestra é apresentar os modelos básicos de Redes de Petri (binária/ordinária) e dar uma introdução aos chamados modelos de alto-nível (coloridas, objeto, entre outras). Finalmente, será apresentado um modelo desenvolvido especificamente para o desenvolvimento de sistemas multiagentes e seus agentes.

Possui graduação em Engenharia Elétrica Hab Eletrônica pela Universidade Católica de Pelotas (1998), mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2001) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2006). Atualmente é Professor Adjunto da Universidade Federal do Rio Grande – FURG. Tem experiência na área de Engenharia Elétrica, com ênfase em Eletrônica e Computação, atuando principalmente nos seguintes temas: inteligência computacional, sistemas multiagentes, manufatura inteligente, robótica e redes de Petri.

A medida que os paradigmas de desenvolvimento voltam-se para ambientes distribuídos, seja fisicamente ou conceitualmente, metodologias que permitam a descrição de sistemas deste tipo de forma natural e intuitiva ganham atenção. Nesse sentido, a Rede de Petri, como uma ferramenta gráfica e matemática de modelagem e análise, se adapta a um grande número de aplicações em que as noções de eventos e de evoluções simultâneas são importantes. O objetivo com esta palestra é apresentar os modelos básicos de Redes de Petri (binária/ordinária) e dar uma introdução aos chamados modelos de alto-nível (coloridas, objeto, entre outras). Finalmente, será apresentado um modelo desenvolvido especificamente para o desenvolvimento de sistemas multiagentes e seus agentes.

Possui graduação em Engenharia Elétrica Hab Eletrônica pela Universidade Católica de Pelotas (1998), mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2001) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2006). Atualmente é Professor Adjunto da Universidade Federal do Rio Grande – FURG. Tem experiência na área de Engenharia Elétrica, com ênfase em Eletrônica e Computação, atuando principalmente nos seguintes temas: inteligência computacional, sistemas multiagentes, manufatura inteligente, robótica e redes de Petri.