Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Proposta de uma arquitetura especial para simulação lógica

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Um método para detectar falhas incipientes em máquinas rotativas baseado em análise de vibração e lógica Fuzzy

Este trabalho apresenta um método para detectar falhas no funcionamento de máquinas rotativas baseado em alterações no padrão de vibração do sistema e no diagnóstico da condição de operação, por Lógica Fuzzy. As modificações ocorridas são analisadas e servem como parâmetros para predizer falhas incipientes bem como a evolução destas na condição de operação, possibilitando tarefas de manutenção preditiva. Utiliza-se uma estrutura mecânica denominada de Sistema Rotativo (Figura 1), apropriada para as simulações das falhas. Faz-se a aquisição de dados de vibração da máquina usando-se um acelerômetro em chip biaxial de baixa potência. As saídas são lidas diretamente por um contador microprocessador não requerendo um conversor A/D. Um sistema de desenvolvimento para processamento digital de sinais, baseado no microprocessador TMS320C25, o Psi25, é empregado na aquisição dos sinais de vibração (*.dat), do Sistema Rotativo. Os arquivos *.dat são processados através da ferramenta matemática computacional Matlab 5 e do programa SPTOOL. Estabelece-se o padrão de vibração, denominado assinatura espectral do Sistema Rotativo (Figura 2) Os dados são analisados pelo sistema especialista Fuzzy, devidamente calibrado para o processo em questão. São considerados, como parâmetros para a diferenciação e tomada de decisão no diagnóstico do estado de funcionamento pelo sistema especialista, a freqüência de rotação do eixo-volante e as amplitudes de vibração inerentes a cada situação de avaria. As falhas inseridas neste trabalho são desbalanceamentos no eixovolante (Figura 1), através da inserção de elementos desbalanceadores. A relação de massa entre o volante e o menor elemento desbalanceador é de 1:10000. Tomando-se como alusão o conhecimento de especialistas no que se refere a situações normais de funcionamento e conseqüências danosas, utilizam-se elementos de diferentes massas para inserir falhas e diagnosticar o estado de funcionamento pelo sistema fuzzy, que apresenta o diagnóstico de formas qualitativa: normal; falha incipiente; manutenção e perigo e quantitativa, sendo desta maneira possível a detecção e o acompanhamento da evolução da falha.

Análise da gestão do líder formal em relação à implementação da mudança organizacional : estudo de caso na Universidade Federal do Rio Grande do Sul

Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Soft IP para criptografia usando o algoritmo Rijndael e implementação em lógica programável

A criptografia assumiu papel de destaque no cotidiano das pessoas, em virtude da necessidade de segurança em inúmeras transações eletrônicas. Em determinadas áreas, a utilização de hardware dedicado à tarefa de criptografia apresenta vantagens em relação à implementação em software, devido principalmente ao ganho de desempenho. Recentemente, o National Institute of Standards and Technology (NIST) publicou o novo padrão norte-americano de criptografia simétrica, chamado de Advanced Encryption Standard (AES). Após um período de aproximadamente 3 anos, no qual várias alternativas foram analisadas, adotou-se o algoritmo Rijndael. Assim, este trabalho apresenta um Soft IP do padrão AES, codificado em VHDL, visando a implementação em FPGA Altera. Todo o projeto foi construído com funções e bibliotecas genéricas, a fim de permitir a posterior implementação sobre outras tecnologias. Foram geradas duas versões: uma priorizando desempenho e outra priorizando a área ocupada nos componentes. Para cada uma das versões, produziu-se um circuito para encriptar e outro para decriptar. O desempenho alcançado em termos de velocidade de processamento superou todos os outros trabalhos publicados na área, sobre a mesma tecnologia. São apresentados os detalhes de implementação, arquiteturas envolvidas e decisões de projeto, bem como todos os resultados. A dissertação contém ainda conceitos básicos de criptografia e uma descrição do algoritmo Rijndael.

Tesauro e terminologia : uma inter-relação lógica

Estudo compreendido como uma inter-relação lógica entre tesauros e Terminologia, mais especificamente nos princípios da Teoria Comunicativa da Terminologia — TCT. Analisa um tesauro do ponto de vista da sua organização estrutural. Estuda os descritores verificando sua representatividade como um elemento de representação e recuperação das informações de uma área de especialidade. Sinaliza para uma nova abordagem em relação ao tratamento dos descritores aproximando-os a uma unidade lexical terminológica. Tem como pressuposto de trabalho que a relação que se estabelece entre um sistema de recuperação da informação — SRI e os usuários do sistema é uma relação de comunicação. Apresenta algumas considerações e recomendações.

A razão da retórica : hermenêutica, pragmatismo e a lógica argumentativa no discurso econômico

Esta dissertação tem como objetivo defender a perspectiva da existência de uma lógica por trás dos discursos retórico-persuasivos – tal como inaugurada por McCloskey (1983) e Arida (1983) dentro da ciência econômica. O objetivo é demonstrar a completa inadequação de se confundir filosoficamente “retoricismo” com “irracionalismo”, pois, de acordo com nossa interpretação, nem McCloskey nem Arida propõem que não se deva utilizar critérios racionais para validação de teorias econômicas. O que eles propõem, a nosso ver, é que não se deva compreender a história do pensamento econômico e a própria teoria econômica atual como resultado de uma evolução apodíctica epistemologicamente mediada por evidências (sejam elas empíricas ou dedutivas). Isto, no entanto não implica numa desconsideração da “razão” por completo – a não ser que se entenda a “razão” por um prisma estritamente epistemológico; o que não nos parece muito razoável. Sendo assim, procuramos desenvolver ao longo do trabalho argumentos filosóficos oriundos das perspectivas hermenêuticas de: Heidegger, Gadamar, Habermas e Ricoeur, além do pragmatismo de Richard Rorty; com o intuito de relaciona-los com as perspectivas retóricas de McCloskey e Arida; buscando, mais especificamente, demonstrar a fundamentação racional da perspectiva retórica em relação à filosofia contemporânea, e contribuir com o debate retórico na economia a partir de uma tentativa de aproximação entre as perspectivas hermenêuticas – mais especificamente de Habermas e Ricoeur – e a perspectiva retórica de Arida; além de procurar uma melhor explicação e relação entre a filosofia hermenêutica-pragmática, e a perspectiva da “racionalidade prática” presente na ‘nova retórica” de Chaïm Perelman.

Educação musical não-formal e atuação profissional : um survey em oficinas de música de Porto Alegre - RS

O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.

Poder normativo da Justiça do Trabalho : direito formal da classe trabalhadora brasileira

Resumo não disponível.

Melhoria das condições de trabalho através da ação ergonômica participativa e da lógica do PDCA no setor automotivo

O setor aumotomotivo é considerado inovador em aspectos de desenvolvimento tecnológico e de grandes esforços em favor da modernização da produção. No entanto, as linhas de montagem de automóveis e autopeças exigem dos trabalhadroes demandas físicas importantes, tais como posturas inadequadas, movimentos repetitivos e ritmo intenso de trabalho, provocando acidentes e doenças nos trabalhadores, além da perda de produtividade e queda na qualidade dos produtos fabricados, acarretando enormes prejuízos às empresas e ao país. Algumas empresas do setor trazem grandes contribuições para o estudo da ergonomia, através de métodos e técnicas que identificam as condições inadequadas de trabalho. Este estudo tem como objetivo aplicar e analisar um método de solução de problemas, que permita, passo a passo, planejar, realizar e verificar ações efetivas, ou seja, que atendam às necessidades do usuário do posto nas questões de conforto, segurança e eficiência. Visa também, de posse dos resultados, oportunizar ações futuras para a empresa, de modo a reverter em ganhosde produtividade e de qualidade. Para isso, foi escolhido aplicar uma intervenção ergonômica, com a participação dos trabalhadores, baseada na lógica do PDCA, seguindo os passos: planejar, fazer, verificar e agir. A escolha do método mostrou-se adequada, uma vez que ao analisar o afastamento dos operadores de seus postos de trabalho, devido a dores e desconfortos musculares, foi possível identificar causas e propor soluções para os problemas, e, após implementadas as ações propostas, houve redução no número de afastamentos. A partir dos resultados obtidos, pode-se creditar que a aplicação do método, de modo mais aprofundado em outras situações, possibilite a melhora das condições de trabalho e de vida do trabalhador.

Hierarquia, igualdade e diferença : lutas por reconhecimento no sul do Brasil

Este estudo busca investigar as lógicas da ação em cooperativas de produção e associações de catadores de lixo no bojo de processos de reestruturação econômica que não somente precarizam as condições de emprego, mas também implicam em processos de desassalariamento da força de trabalho. Tomando como perspectiva analítica a sociologia da experiência de François Dubet, decompomos as lógicas da ação de trabalhadores com inserção social distinta, ou seja, um primeiro grupo caracterizado por uma cultura operária e sindical e um segundo grupo caracterizado por um processo de dissociação em relação ao mundo do trabalho formal. Neste sentido, procurou-se investigar: a) as formas de inserção e integração sociais configuradas pelas relações de solidariedade, b) a dimensão da racionalidade estratégica de cada grupo traduzida nas lutas por reconhecimento, e, c) os processos de subjetivação expressos na afirmação identitária de cada coletivo de trabalhadores. Ou seja, quais as condições de possibilidade da ruptura com as hierarquias que organizam e estruturam o universo de coletivos de trabalhadores com origens sociais tão diversas quando confrontados com o princípio meta-social da igualdade? Noutras palavras, quando compelidos com a necessidade de organizar uma cooperativa ou associação, enquanto alternativa palpável de subsistência, os trabalhadores se deparam com um contexto bem diverso da situação de assalariamento. Com efeito, a experiência associativa irá implicar que a adesão à cooperativa ou associação deve ser livre e voluntária e que a gestão e os processos de deliberação devem ser democráticos. A partir da pesquisa de campo verificou-se um processo de subjetivação marcado por estratégias distintas nas cooperativas e associações: enquanto nas cooperativas a adesão dos trabalhadores era caracterizada por uma certa ambivalência entre o compromisso com o projeto de construção da cooperativa e uma postura pautada por um certo pragmatismo tipificado por um campo de possíveis restrito no tocante as alternativas de inserção social, nas associações de catadores de lixo verificou-se um processo de ruptura com os padrões de sociabilidade primária acentuadamente hierarquizados a partir da participação das mulheres nas associações, bem como um efetivo compromisso com o projeto associativo. Na esfera da ação coletiva, a constituição de cooperativas a partir de empresas em situação falimentar revelou uma nova estratégia sindical marcada por uma ação defensiva ante os processos de reestruturação econômica que eliminam postos de trabalho. Já, na ação coletiva das associações constatou-se um movimento de luta pelo reconhecimento de direitos e recuperação da cidadania. Tal movimento é caracterizado por uma lógica do respeito possuindo uma dupla inflexão, ou seja, por um lado busca romper no âmbito da esfera privada com a dominação masculina expressa num código de honra, cuja conseqüência mais dramática se traduz na violência doméstica, e por outro lado se constata um movimento em direção à esfera pública a partir da articulação de uma associação com um movimento social traduzindo desta maneira a reivindicação pelo reconhecimento da dignidade de indivíduos sujeitos a todo tipo de reconhecimento recusado.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.