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.

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Risco, corpo e socialidade no voo livre

Universidade Estadual de Campinas . Faculdade de Educação Física

Utilização da lógica fuzzy na geração de zonas de manejo

Este trabalho teve como objetivo utilizar a lógica fuzzy para geração de zonas de manejo, na área agrária e ambiental. Uma das aplicações consistiu da utilização do método fuzzy C-means, para geração de zonas de manejo para a cultura do mamoeiro, em um plantio comercial localizado em São Mateus-ES, com base em determinações realizadas através de amostragens e análises químicas do solo, considerando os atributos: P, K, Ca, Mg, e Saturação por bases (V%). Aplicou-se também a lógica fuzzy para desenvolver e executar um procedimento para dar suporte ao processo de tomada de decisões, envolvendo análise multicritério, gerando mapas de adequabilidade ao uso público e a conservação no Parque Estadual da Cachoeira da Fumaça, no município de Alegre-ES, considerando como fatores a localização da cachoeira, o uso do solo, os recursos hídricos, as trilhas, os locais de acessos, a infraestrutura, a declividade da área, e utilizando a abordagem de Sistema de Informações Geográficas para análise e combinação da base de dados. A partir das zonas de manejo geradas, foi possível explicar a variabilidade espacial dos atributos do solo na área de estudo da cultura do mamoeiro, e observa-se que as similaridades entre as zonas geradas, a partir de diferentes atributos, mostrou variação, mas observa-se uma influência nos dados, principalmente pelos atributos P e V. A partir do zoneamento da Unidade de Conservação foi possível selecionar áreas mais aptas ao ecoturismo, sendo encontradas próximas da cachoeira, trilhas em zonas de reflorestamento e de Mata Atlântica. Quanto às áreas propensas a medidas de conservação localizam-se próximas à cachoeira e às estruturas do parque, devido à maior pressão antrópica exercida nesses locais. Outras áreas que se destacaram, foram as áreas de pastagem, por estarem em estágio de regeneração natural. Os resultados indicam áreas de mesmo potencial de produção do mamoeiro, ou quando aplicado à área ambiental, áreas que devem receber maior cuidado para utilização por ecoturismo e para preservação e servem de base para a tomada de decisões, visando melhor aproveitamento da área.

Dinâmica subnacional e lógica centro-periferia: os impactos do Mercosul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul

Neste artigo procura-se associar os estudos teóricos relacionados à temática centro-periferia, multi-level governance, federalismo cooperativo e positive and negative integration à realidade empírica das unidades subnacionais no seio do Mercosul. São ainda efetuadas pesquisas de campo junto a atores políticos e representações de agentes econômicos a fim de privilegiar fontes primárias de informação e desta forma analisar comparativamente os impactos do Mercado Comum do Sul na economia política dos estados de Pernambuco, Bahia, São Paulo e Rio Grande do Sul, assim como em suas respectivas capitais.

A mudança de orientação da lógica de solução das controvérsias econômicas internacionais

O grau de juridicidade do direito internacional econômico tem crescido nos últimos anos, ocasionando alterações na lógica de solução das controvérsias econômicas internacionais. Este adensamento da juridicidade do sistema confere maior legitimidade e importância aos mecanismos de solução de controvérsias, em especial o presente na Organização Mundial do Comércio (OMC), principal instituição reguladora do comércio internacional. De acordo com a nova lógica, os países mais fortes economicamente passaram a aceitar perdas relativas a setores específicos, buscando ganhos com o estabelecimento do sistema como um todo. A nova sistemática guiada por normas pré-definidas e especificamente traçadas para a solução de conflitos internacionais (rule-oriented) veio substituir a solução destes conflitos pelo uso da força, via sanções unilaterais ou pressões sobre setores sensíveis (power-oriented). Além disso, a análise desta mudança de orientação evidencia que a OMC e seu Órgão de Solução de Controvérsias vêm ganhando maior credibilidade e respeito por parte de seus usuários, visto que casos concretos envolvendo setores como o agrícola e países desenvolvidos e em desenvolvimento demonstram a real possibilidade de utilização de mecanismos de retaliação mesmo quando se trata de países mais fracos contra países muito mais fortes.

A lógica da construção de confiança: relações Brasil-Suriname entre 1975 e 1985

Entre 1975 e 1985, observa-se a atuação do Brasil para assegurar relações confiáveis com o Suriname, bem como as primeiras manifestações da identidade internacional surinamesa. Destaca-se a missão diplomática brasileira enviada ao Suriname após o golpe de Estado de 1982, o qual indicava a possível "cubanização" desse país.

Organização e trabalho em transição: da lógica "sistêmico-controladora" à lógica "processual-relacional"

Para pesquisadores e gestores, é útil identificar duas formas alternativas de caracterizar discursivamente as atividades organizacionais e gerenciais: uma forma sistêmico-controladora e outra processual-relacional. A primeira é proveniente de aspirações modernistas e universalistas acerca da maximização do controle nas questões humanas, operacionalizando-se por meio da idéia de que as organizações são grandes sistemas controláveis, mecânicos e orientados para resultados. Em vez disso, é mais útil caracterizar a realidade organizacional pelo foco em processos emergentes dos padrões das relações entre as pessoas, as organizações e o ambiente social que as cerca. Se os gestores compreenderem o modo como seu trabalho contribui para a formação de tais processos, podem promover a evolução do aprendizado e de competências gerenciais por meio da construção de significados, negociações e barganhas, e do exercício do poder.

Responsabilidade social: ideologia, poder e discurso na lógica empresarial

O objetivo do artigo é identificar como uma empresa multinacional de papel e celulose desenvolve programas sociais em uma região compreendida por 47 municípios no estado de Minas Gerais. A escolha da empresa X foi definida pela sua importância na indústria mineira, bem como pelo destaque dado aos programas sociais da empresa no meio empresarial, que vivencia iniciativas centralizadas de incentivo ao voluntariado. Foi realizada uma pesquisa bibliográfica sobre a concepção da responsabilidade social empresarial e uma pesquisa de campo qualitativa com agentes sociais na região de atuação da empresa. A metodologia empregada na pesquisa foi construída por meio de um conjunto de entrevistas semiestruturadas, utilizando a análise do discurso como técnica para pontuação das conclusões do trabalho. Os resultados demonstram que a prática da responsabilidade social se situa num contexto mais significativo que o mero discurso empresarial.

Estrutura lógica como metodologia para avaliação de políticas públicas: uma análise do Pronaf

O Programa Nacional de Fortalecimento da Agricultura Familiar (Pronaf) incluiu agricultores familiares no quadro das políticas públicas, ao seguir as tendências das políticas da década de 1990 de democratizar acesso a recursos financeiros. A sustentabilidade foi inserida no programa. Neste estudo, o propósito geral foi analisar os objetivos do Pronaf, no contexto do desenvolvimento econômico. Considerou-se que o Pronaf não permitiria avaliar a relação entre atividades desenvolvidas e resultados obtidos pelo programa. Assim, seria inconsistente. Além de analisar documentos oficiais, outros objetivos específicos foram analisar a consistência do Pronaf e, em caso de inconsistência, propor uma matriz de estrutura lógica. Nenhum projeto foi encontrado, apenas a legislação. A análise desta não permitiu o preenchimento da matriz e isso indica inconsistência. Propôs-se uma matriz completa.

Lógica fuzzy e regressão logística na decisão para prática de cintilografia das paratiróides

OBJETIVO: Desenvolver e comparar dois modelos matemáticos, um deles baseado em regressão logística e o outro em teoria de conjuntos fuzzy, para definir a indicação para a realização do exame cintilográfico a partir de resultados dos exames laboratoriais. MÉTODOS: Foram identificados 194 pacientes que tiveram cálcio e paratormônio séricos medidos a partir da base de registros de cintilografia de paratiróides realizadas em laboratório de diagnóstico de São Paulo, no período de janeiro de 2000 a dezembro de 2004. O modelo de regressão logística foi desenvolvido utilizando-se o software SPSS e o modelo fuzzy, o Matlab. A performance dos modelos foi comparada utilizando-se curvas ROC. RESULTADOS: Os modelos apresentaram diferenças estatisticamente significantes (p=0,026) nos seus desempenhos. A área sob a curva ROC do modelo de regressão logística foi de 0,862 (IC 95%: 0,811-0,913) e do modelo de lógica fuzzy foi 0,887 (IC 95%: 0,840-0,933). Este último destacou-se como particularmente útil porque, ao contrário do modelo logístico, mostrou capacidade de utilizar informações de paratormônio em intervalo em que os valores de cálcio mostraram-se pouco discriminantes. CONCLUSÕES: O modelo matemático baseado em teoria de conjuntos fuzzy pareceu ser mais adequado do que o baseado em regressão logística como método para decisão da realização de cintilografia das paratiróides. Todavia, sendo resultado de um exercício metodológico, inferências sobre o comportamento do objeto podem ser impróprias, dada a não representatividade populacional dos dados.