Um Sistema multiagente para o Simulador Soccerserver

O interesse de pesquisa da comunidade de Inteligência Artificial em Sistemas Multiagentes tem gerado o crescimento da utilização de técnicas de agentes nas mais diversas áreas da ciência da computação. Isso ocorre, principalmente, devido à variedade de aplicações em que esses sistemas podem ser usados, como por exemplo: jogos de computadores, interfaces adaptativas, simulação e controle de processos industriais. The Robot World Cup Initiative (RoboCup) é uma tentativa de estimular a área de Inteligência Artificial e, principalmente de Sistemas Multiagentes, por promover um problema padrão, jogar futebol, onde uma ampla cadeia de tecnologias podem ser integradas, examinadas e comparadas. A utilização do ambiente da RoboCup para a simulação de uma partida de futebol (simulador Soccerserver) permite a avaliação de diferentes técnicas de Sistemas Multiagentes (planejamento de estratégias, conhecimento em tempo real, colaboração de agentes, princípios de agentes autônomos, entre outros) e estimula as pesquisas, investigações e testes que possibilitem a construção gradativa de agentes avançados. O presente trabalho tem por objetivo o desenvolvimento de um time de futebol para o simulador Soccerserver. A idéia principal é desenvolver agentes jogadores que demonstrem um nível considerável de competência para a realização de suas tarefas, como percepção, ação, cooperação, estratégias pré-definidas, decisão e previsão. Inicialmente, apresenta-se uma visão geral sobre Inteligência Artificial Distribuída e sobre o simulador Soccerserver, pré-requisitos para o restante do trabalho. A seguir, é realizado um estudo sobre algumas arquiteturas de agentes (clientes) do Soccerserver. A arquitetura proposta na dissertação, suas principais características e a sua materialização em um protótipo desenvolvido correspondem à parte principal do trabalho. Finalmente são apresentados os testes realizados e as conclusões do trabalho.

Identificação dos requisitos informacionais para o projeto de um sistema de apoio à decisão : o caso da Secretaria Municipal da Fazenda do município de Porto Alegre

O mundo vem enfrentando a transição de uma economia industrial para uma economia na qual a informação, junto com a terra e o capital, será a força motriz na criação de riquezas e prosperidade. Assim, o sucesso estratégico de muitas empresas vai depender do uso inteligente e da exploração efetiva das possibilidades inerentes à tecnologia da informação. No entanto, as empresas não têm obtido as informações com a qualidade necessária. Isso porque identificar, produzir, selecionar e gerir informações como forma de proporcionar suporte aos processos decisórios tem sido um dos grandes desafios da atualidade.O presente estudo enfoca o processo de identificação de requisitos informacionais destinados ao desenvolvimento de um sistema de apoio a decisões, através de um estudo de caso realizado na Secretaria Municipal da Fazenda do município de Porto Alegre. Ele compreende a etapa de identificação do problema a ser abordado, a definição de modelos conceituais, o mapeamento dos requisitos informacionais das principais atividades identificadas, a comparação destes modelos com os sistemas de informação existentes, e a proposição de mudanças. A metodologia utilizada foi a soft systems (SSM). A SSM é uma metodologia adequada ao tratamento de questões que em geral não se apresentam de forma estruturada. Isto é particularmente importante quando se opera em níveis acima do meramente operacional, em que a questão não é tanto ‘como fazer algo’, mas sim ‘o que deve ser feito’. O uso da SSM mostrou-se adequado e flexível o suficiente para permitir a condução de todas as etapas do trabalho de forma coerente, ao mesmo tempo em que conduziu a resultados que superaram as expectativas iniciais.

Investimentos de ciência e tecnologia : indicadores de resultados de projetos de pesquisas

A Fundação Estadual de Amparo à Pesquisa do Rio Grande do Sul (FAPERGS) é o órgão do governo responsável pelo financiamento de projetos de pesquisa científica e tecnológica e está buscando justificar perante a sociedade estes investimentos, apresentando seus resultados e obtendo informações para auxiliar na orientação de políticas públicas de Ciência e Tecnologia (C&T). A presente dissertação visa a propor um grupo de indicadores que permita identificar os resultados de pesquisas e que auxilie às Fundações de Amparo à Pesquisa, em especial à FAPERGS, na composição de seu sistema de avaliação institucional. Para tanto, foram estudados sete projetos cujos resultados visam à melhoria e preservação do meio ambiente e verificados os resultados das pesquisas e seus impactos de inovação, sociais e de meio ambiente. O quadro de indicadores proposto, foi testado nos projetos e julgado por juízes, segundo critérios de validade, confiança, viabilidade, mensurabilidade, abrangência e relevância. Como conclusão, mostrou-se adequado para a avaliação dos casos considerados e suscetível de aprimoramento, a partir do estudo de um número maior e de diferentes tipos de projetos financiados por instituições de fomento à pesquisa.

Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana

O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observado uma crescente evolução dos sistemas de ensino e aprendizagem informatizados. A preocupação com o desenvolvimento de ambientes cada vez mais eficientes, tanto do ponto de vista computacional quanto pedagógico, tem repercutido em um salto de qualidade dos software educacionais. Tais sistemas visam promover, auxiliar e motivar a aprendizagem das mais diversas áreas do conhecimento, utilizando técnicas de Inteligência Artificial para se aproximarem ao máximo do comportamento de um tutor humano que se adapte e atenda às necessidades de cada aluno. A Geometria pode ser vista sob dois aspectos principais: considerada como uma ciência que estuda as representações do plano e do espaço e considerada como uma estrutura lógica, onde a estrutura matemática é representada e tratada no mais alto nível de rigor e formalismo. Entretanto, o ensino da Geometria, nos últimos anos, abandonou quase que totalmente sua abordagem dedutiva. Demonstrações de teoremas geométricos não são mais trabalhadas na maioria das escolas brasileiras, o que repercute em um ensino falho da Matemática, que não valoriza o desenvolvimento de habilidades e competências relacionadas à experimentação, observação e percepção, realização de conjecturas, desenvolvimento de argumentações convincentes, entre outras. Levando-se em conta este cenário, desenvolveu-se o LEEG, um sistema para a aprendizagem de demonstrações geométricas que tem como objetivo auxiliar um aprendiz humano na construção de demonstrações da Geometria Euclidiana Plana. O sistema foi modelado sobre uma adaptação do protocolo de aprendizagem MOSCA, desenvolvido para suportar ambientes de ensino informatizados, cuja aprendizagem é baseada na utilização de exemplos e contra-exemplos. Este protocolo propõe um ambiente de aprendizagem composto por cinco agentes, dentre os quais um deles é o aprendiz e os demais assumem papéis distintos e específicos que completam um quadro de ensino-aprendizagem consistente. A base de conhecimento do sistema, que guarda a estrutura lógica-dedutiva de todas as demonstrações que podem ser submetidas ao Aprendiz, foi implementada através do modelo de autômatos finitos com saída. A utilização de autômatos com saída na aplicação de modelagem de demonstrações dedutivas foi extremamente útil por permitir estruturar os diferentes raciocínios que levam da hipótese à tese da proposição de forma lógica, organizada e direta. As demonstrações oferecidas pelo sistema são as mesmas desenvolvidas por Euclides e referem-se aos Fundamentos da Geometria Plana. São demonstrações que priorizam e valorizam a utilização de objetos geométricos no seu desenvolvimento, fugindo das demonstrações que apelam para a simples manipulação algébrica e que não oferecem uma construção significativa do ponto de vista da Geometria. Porém, mesmo sendo consideradas apenas as demonstrações contidas em Elements, todos os diferentes raciocínios para uma mesma demonstração são aceitos pelo sistema, dando liberdade ao aprendiz no processo de construção da demonstração.

Economia ecológica da emissão antropogênica de CO2 - uma abordagem filosófico-científica sobre a efetuação humana alopoiética da Terra em escala planetária

O objetivo desta tese, "Economia Ecológica da Emissão Antropogênica de CO2 – uma Abordagem Filosófico-Científica sobre a Efetuação Humana Alopoiética da Terra em Escala Planetária utiliza o novo paradigma ambiental, que inclui as seguintes ferramentas teóricas originais: · o uso da filosofia da efetuação de Friedrich Wilhelm Joseph Schelling (1775-1854); · uso da teoria da auto-organização para demonstrar a existência de uma efetuação humana alopoiética de dimensões geológico-planetárias; · a articulação das implicações filosófico-científicas em uma via de recorrência que inclui a contingência, a reprocessualidade, a ética e a hermenêutica, além das abordagens e estratégias da interdisciplinaridade e da transdisicplinaridade; · uma nova estrutura de abordagem empírica para a coleta de dados ambientais, a matriz de amostragem ambiental. Nesta abordagem é proposto o posicionamento da Epistemologia Ambiental levando em conta o aspecto unificador sistêmico, após ser realizada a crítica das abordagens anarquista e pós-normal. A Economia é posta como antiexemplo no qual a Economia tradicional (Clássica, Neoclássica e Ambiental) é caracterizada como uma pseudociência, a partir das suas ilusões, dogmas, mitos, fantasias, falácias, falsa "lei", falsas metáforas e o abandono da ética e da visão sistêmica, sendo suas afirmativas (falsas) comparadas com os resultados das demais ciências e com a situação real do planeta Terra, no início do século XXI. O contraponto da Economia tradicional é estabelecido pela apresentação dos conceitos de ecodesenvolvimento, sustentabilidade, estado-estável, Economia Win-Win e o advento da Era Solar. A Economia Ecológica constitui uma nova Ciência Ambiental, passando atualmente por um processo de corrupção economicista. A apresentação da efetuação humana alopoiética é feita em duas principais escalas: a geológica e planetária. A efetuação humana alopoiética registrada em escala geológica inclui as seguintes formas: paisagística, pedogênica, litológica, geodinâmica (sísmica, vulcânica, hídrica, massiva e erosional), fossilífera e geoquímica. A efetuação humana alopoiética registrada em escala planetária apresenta as seguintes formas: climática, asteróide-meteorítica, da biodiversidade, aeroespacial próxima e extraplanetária. A emissão antropogênica de gás carbônico (CO2) na atmosfera terrestre, uma emissão difusa e sem fronteiras geográficas, é abordada com a Economia Ecológica. A partir da identificação do aquecimento global com "a conta entrópica devida à era da máquina" (Rifkin, 1992, p. 81) que a Natureza apresenta aos seres humanos, é feita a tentativa de estabelecer um valor real do fenômeno, tendo como ferramenta científica a abordagem emergética. A partir da constatação de que a efetuação humana alopoiética registrada até o final do século XX foi realizada de forma imprevista, imprudente e fora de controle e tendo em vista a emergência da Era da Terra-Pátria, no início do século XXI, e a necessidade de reorientar a globalização em curso, alternativas para a busca da efetuação terrestre consciente são apresentadas. As principais alternativas propostas para resolver (ou encaminhar a resolução) para a questão ambiental são as economicistas, da qualidade ambiental total (ISO 14000), as industrialistas (produção limpa, fator 4, fator 10 e capitalismo natural), as científicas (geofisiologia e terraforming), da Economia Ecológica e Economia Win-Win, as políticas (Política da Biosfera e Plano Marshall Global), as éticas, a utopia do reencantamento do Mundo e a proposta programática da Agenda 21. As conclusões e interpretações desta tese provém dos resultados obtidos pelo cálculo da emissão de CO2 para a atmosfera, sua emergia e valor real através de dados obtidos na Internet e da contextualização destes nas propostas existentes para o encaminhamento da questão ambiental. A mitologia de Ícaro na tentativa ambiciosa em se afastar da Natureza e o retorno à ela na forma de uma Fênix de ressurgimento autopoiético, fornece a visão do reenvolvimento ambiental humano.

Interface para um sistema gerenciador de transações longas de banco de dados

Existe uma certa gama de aplicações que não pode ser implementada através do modelo convencional de transações, são aplicações que tem um tempo de duração mais longo do que aquelas convencionalmente modeladas. Em uma transação Atômica, ou todo o trabalho é realizado por completo ou nada é feito, mas, quando se trata de atividades de longa duração, isto pode significar a perda de trabalho executado durante horas ou, até mesmo, dias. Pelo mesmo motivo, transações longas não devem executar isoladamente, porque isto impede que outras transações tenham acesso aos dados sendo manipulados. No âmbito do projeto TRANSCOOP, vêm sendo realizados vários estudos sobre modelos de transações não convencionais. Dentre eles, encontra-se o Modelo de Contratos, que prevê um mecanismo de controle seguro para gerenciar aplicações distribuídas que apresentam atividades de longa duração. Para experimentar e avaliar as idéias inseridas neste modelo está sendo desenvolvido um protótipo. Este sistema é provido de uma interface gráfica interativa, baseada em Manipulação Direta, e suporta a definição de transações longas de banco de dados de acordo com o Modelo de Contratos. O objetivo deste trabalho é descrever a arquitetura de um protótipo para o Modelo de Contratos, definindo a função de cada um de seus módulos, mais especificamente o módulo Interface, e a comunicação entre eles. Para a definição de uma interface adequada foram considerados aspectos de outras áreas da ciência, pois a área de interfaces homemmáquina é multidisciplinar.

Sistema de gerência de estradas municipais com uso de geoprocessamento

Este trabalho tem a finalidade de fornecer os elementos necessários à montagem de um SIG para gerenciamento e controle de obras públicas, tendo como ponto de partida as relacionadas às estradas de terra, portanto na área rural do município, podendo, ser estendido as outras áreas da gestão pública. A preferência pela questão viária dá-se pelo fato dela ter grande apelo econômico e relativa facilidade de aquisição dos planos de informação, quais sejam: malha viária, pontos notáveis, obras de arte, drenagem, relevo e solo. Planos de informação pertinentes à malha viária, aos pontos notáveis e às obras de arte, adquiridos em levantamento de campo com GPS, e drenagem, relevo e solo adquiridos via vetorização de plantas existentes. Através de um programa de apoio à gerência denominado SISGEM - Sistema de Gerência de Estradas Municipais - pode-se obter dados a respeito da produção, produtividade, custos, etc, gerando atributos aos geo objetos dos planos de informação descritos acima, e, desta forma, permitindo o cruzamento de planos de informações vetoriais com os relatórios gerados a partir dos trabalhos realizados.

Jornalismo online na sociedade da informação : como um grupo de internautas de Santa Catarina avalia a qualidade do Terra Notícias e do Diário Catarinense

A presente dissertação realiza um estudo comparativo de casos, representados por dois jornais online: Terra Notícias e Diário Catarinense, tendo como ponto de partida o estabelecimento das seguintes categorias: conteúdo disponível, ergonomia do sistema hipermídia e recursos de interatividade, levantados a partir de uma revisão bibliográfica sobre o tema. Para chegar a esse objetivo, são utilizadas técnicas variadas de pesquisa, como pesquisa bibliográfica, aplicação de questionário para obtenção de dados quantitativos e qualitativos e observação estruturada a partir de categorias pré-estabelecidas. A pesquisa ainda aplica uma ferramenta para mensuração da qualidade percebida, com a finalidade de verificar a avaliação dos internautas catarinenses em relação aos dois jornais online em questão. A ferramenta de pesquisa foi construída a partir de modelo proposto por Sousa (2001), e ampliada com base nas mesmas categorias utilizadas para a análise comparativa.

Análise de lesão muscular e comportamento do VO2máx entre um programa de treinamento de corrida em piscina funda e corrida em terra

É bem documentada na literatura a alta incidência de lesões mioarticulares em corredores; e um método atrativo de treinamento desenvolvido não só para complementar a corrida em terra, mas até mesmo para substituí-la é a corrida em piscina funda. É uma modalidade que além de melhorar a capacidade aeróbia, não oferece riscos de traumas ortopédicos devido à menor incidência de estresse mioarticular e auxilia durante o processo de recuperação de lesões de membro inferior. Este estudo teve por objetivo avaliar e comparar a ocorrência de lesão muscular e o comportamento do consumo máximo de oxigênio (VO2máx) entre um programa de treinamento de corrida em terra (CT) e um programa de treinamento de corrida em piscina funda (CPF), em indivíduos não-treinados. Os sujeitos foram divididos em dois grupos experimentais: CT e CPF. Os programas de treinamento foram realizados durante 12 semanas, sendo a intensidade do treinamento avaliada a partir da sensação subjetiva ao esforço. Analisou-se o comportamento do VO2máx pré e pós-treinamento. Para a análise de lesão muscular, utilizaram-se a concentração sangüínea de creatina quinase (CK) e a ultra-sonografia (US) na região dos isquiostibiais, em vários momentos do treinamento. Para a determinação da CK entre as medidas de cada coleta e entre os grupos experimentais, foi utilizado o teste estatístico ANOVA two-way com medidas repetidas; e, para análise do comportamento da CK entre as quatro coletas e entre os grupos experimentais, foi utilizada ANOVA two-way com medidas repetidas. O post-hoc de Bonferroni foi realizado quando havia diferença estatisticamente significativa. Para o VO2máx em cada grupo experimental, foi utilizado o Teste t de Student para amostras pareadas; e, para comparação entre os grupos, foi realizado ANOVA two-way com medidas repetidas; e novamente o post-hoc de Bonferroni foi realizado quando havia diferença estatisticamente significativa Para análise dos dados de US, foi utilizado o teste estatístico de Cochran’s Q. O nível de significância aceito foi de 5% (p < 0,05). Quando se analisou o comportamento do VO2máx para os grupos CPF e CT, verificou-se que houve diferença estatisticamente significativa entre os valores pré e pós-treinamento, mas não houve diferença entre os grupos experimentais. Quanto à CK, após a análise dos dados da coleta 1, verificou-se diferença estatisticamente significativa entre os grupos experimentais na medida 24 h após a sessão de treinamento, o que não foi verificado nas outras coletas, em que não houve diferença entre os grupos experimentais em nenhum momento. Para o grupo CT, somente nas coletas 2 e 4 verificou-se diferença estatisticamente significativa entre as medidas 24h após e 48h após a sessão de treinamento. Nas análises entre as medidas pré, pós, 24h após e 48h após nas diferentes coletas, não ocorreram diferenças significativas entre as medidas e nem entre os grupos experimentais. Quanto à US, tanto no grupo CPF quanto no CT, não houve diferença significativa entre os exames, mas foi no grupo CT que apareceram duas lesões na terceira coleta. Concluiu-se que as duas modalidades de treinamento proporcionam uma melhora na aptidão cardiorrespiratória dos sujeitos; e, embora não tenha ocorrido diferença significativa em algumas coletas de CK entre os grupos de treinamento, a corrida em terra provocou maiores níveis de aumento na concentração sangüínea de CK do que a corrida em piscina funda, sugerindo que o meio líquido pode ser o mais indicado para proteger o sistema musculoesquelético.

Um método de modelagem de um sistema de indicadores de sustentabilidade para gestão dos recursos hídricos-MISGERH : o caso da bacia dos Sinos

Um dos debates dentro a temática ambiental concentra-se sobre o desenvolvimento de indicadores de sustentabilidade para monitorar, mensurar e avaliar a sustentabilidade do desenvolvimento. Neste contexto, o presente trabalho objetivou desenvolver um método de modelagem de um sistema de indicadores para avaliar a sustentabilidade do sistema dos recursos hídricos, propiciando a participação dos atores sociais e visando ter maior conhecimento do problema e legitimidade do processo da gestão dos recursos hídricos numa bacia hidrográfica. Para tal, adotou-se o paradigma construtivista e foram abordados três temas: gestão ambiental, sistemas de apoio à decisão e indicadores de sustentabilidade. Esta metodologia foi aplicada, através de um estudo de caso, na bacia hidrográfica do Rio dos Sinos. A proposta do sistema de indicadores congrega duas áreas de interesse: a primeira, na perspectiva dos objetivos privados - a sustentabilidade como fluxo de bens e serviços, que contempla 8 Clusters: abastecimento público, abastecimento industrial, irrigação, criação de animais, geração de energia elétrica, navegação, aquicultura, turismo e recreação; a segunda, na perspectiva dos interesses públicos - a sustentabilidade como estoque dos recursos hídricos, que contempla 4 Clusters: regime hidrológico, qualidade da água, estrutura "habitat", resíduos sólidos. Em suma, foram definidos um total de 238 indicadores básicos, alguns deles (88 indicadores) são partilhados entre os Clusters, mostrando a interação dos indicadores e dependência entre os Clusters setoriais do sistema de recursos hídricos. Em termos gerais, recomenda-se empregar esse método se o interesse for, além do resultado, sendo a proposta de um sistema de indicadores de sustentabilidade, também do processo de participação dos atores envolvidos para compreender a problemática dos recursos hídricos. Assim, a modelagem de um sistema de indicadores será feita sob as inter-relações da ciência, política e os valores e objetivos dos atores sociais.

"Os kujà são diferentes" : um estudo etnológico do complexo xamânico dos Kaingang da terra indígena Votouro

A partir do modelo etnológico, esta Tese de Doutorado busca compreender o complexo xamânico dos Kaingang, uma sociedade Jê que passou por profundas transformações sociais, religiosas e ambientais no decorrer dos últimos dois séculos. Trata-se de uma pesquisa realizada entre os Kaingang católicos da Terra Indígena Votouro e do Capão Alto (Terra Indígena Nonoai), duas sociedades falantes do dialeto kaingang Sudoeste, localizadas na bacia do Rio Uruguai, respectivamente às margens leste e oeste do rio Passo Fundo, região Alto-Uruguai, norte do Rio Grande do Sul, Brasil, América do Sul. De forma específica, na perspectiva do saber “guiado” kaingang, esta pesquisa analisa os dois sistemas ideológicos que marcam essa instituição xamânica, quais sejam: o sistema kujà — ligado ao domínio “floresta virgem” e à influência dos Guarani — e o sistema caboclo — ligado aos domínios “casa” e “espaço limpo” e à influência dos caboclos. No mesmo sentido, este trabalho visa perceber a maneira como o complexo xamânico se estabelece contemporaneamente entre os Kaingang da T.I. Votouro, a partir da influência exercida pela Igreja Católica Apostólica Romana e pelo Estado brasileiro.

Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.