Modelo neuro-evolutivo de coordenação adaptativa em ambientes dinâmicos

Em ambientes dinâmicos e complexos, a política ótima de coordenação não pode ser derivada analiticamente, mas, deve ser aprendida através da interação direta com o ambiente. Geralmente, utiliza-se aprendizado por reforço para prover coordenação em tais ambientes. Atualmente, neuro-evolução é um dos métodos de aprendizado por reforço mais proeminentes. Em vista disto, neste trabalho, é proposto um modelo de coordenação baseado em neuro-evolução. Mais detalhadamente, desenvolveu-se uma extensão do método neuro-evolutivo conhecido como Enforced Subpopulations (ESP). Na extensão desenvolvida, a rede neural que define o comportamento de cada agente é totalmente conectada. Adicionalmente, é permitido que o algoritmo encontre, em tempo de treinamento, a quantidade de neurônios que deve estar presente na camada oculta da rede neural de cada agente. Esta alteração, além de oferecer flexibilidade na definição da topologia da rede de cada agente e diminuir o tempo necessário para treinamento, permite também a constituição de grupos de agentes heterogêneos. Um ambiente de simulação foi desenvolvido e uma série de experimentos realizados com o objetivo de avaliar o modelo proposto e identificar quais os melhores valores para os diversos parâmetros do modelo. O modelo proposto foi aplicado no domínio das tarefas de perseguição-evasão.

Concepção de small clauses nominais amalgamadas nas estruturas predicativas complexas do português brasileiro

Esta dissertação faz uma análise prévia da predicação complexa no modelo da Gramática Tradicional; aponta, em seguida, o enfoque das estruturas predicativas complexas à luz da Gramática Gerativa modelo de Princípios & Parâmetros (Chomsky, 1981, 1986). Ressalta que as estruturas sintáticas são projetadas a partir do léxico e correspondem a várias construções de predicação complexa. Mostra que os predicados complexos formados por APs e DPs predicativos apresentam características sintáticas e semânticas diferentes. Focaliza que essas construções superficialmente semelhantes são, em essência, diferentes, porque cada uma delas possui um processo próprio de estruturação interna, do qual decorre um sentido específico. Aponta, essencialmente, dois tipos de estruturas complexas: predicados secundários e miniorações complementos. Os predicados secundários se dividem, ainda, em predicados secundários orientados para o sujeito de [DP IP], predicados secundários orientados para o objeto de [DP VP] e predicados resultativos de [DP VP]. Os predicados secundários de [DP IP] e de [DP VP] e os predicados resultativos de [DP VP] constituem as Small Clauses adjuntas de predicados secundários. Apresenta que é possível encontrar evidências que as estruturas predicativas complexas do PB estão amalgamadas na concepção de Small Clauses nominais. Postula que as estruturas predicativas complexas do PB e as estruturas de Small Clauses nominais são em essência semelhantes. Tais estruturas possuem um mesmo processo de estruturação interna, que são analisadas conforme as configurações das representações sintáticas de cada sentença.

Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Agentes improvisacionais como agentes deliberativos

Improvisação tem sido considerada uma característica importante para agentes que pretendem operar de maneira consistente com a situação do momento, exibindo um comportamento credível e interessante. A improvisação deve estar presente tanto nos agentes individuais quanto nas sociedades de agentes. Desta maneira, esta tese irá abordar estes dois aspectos da improvisação. Propomos a visão de que, agentes capazes de realizar improvisação, os agentes improvisacionais, são um tipo de agente deliberativo capaz de solucionar problemas por improvisação. Neste sentido, buscamos identificar dentro de uma arquitetura clássica de agentes deliberativos, a arquitetura BDI (belief-desire-intention), a existência e/ou a possibilidade da inclusão de componentes de improvisação nesta arquitetura. Para resolver problemas complexos, estes agentes precisam estar agrupados em sociedades e estas sociedades, por sua vez, precisam produzir comportamentos coerentes. A coordenação é a área da Inteligência Artificial responsável por este objetivo. Propomos que a coordenação de agentes que improvisam pode ser realizada por meio de um processo de direção improvisacional, no sentido usado no contexto do teatro improvisacional. Ao longo deste documento, iremos mostrar nosso entendimento sobre agentes improvisacionais como agentes deliberativos e coordenação como direção improvisacional. Com isto, defende-se nesta tese que o uso da improvisação em agentes improvisacionais possibilita que os agentes improvisem comportamentos interativos, de maneira coerente, melhorando seu desempenho como solucionadores de problemas, criando e mantendo uma ilusão de vida para os agentes interativos e contribuindo para o aperfeiçoamento dos sistemas multiagentes.

Suporte a argumentos de consulta vagos através da linguagem XPath

Abordagens clássicas de linguagens de consultas para bancos de dados possuem certas restrições ao serem usadas, diretamente, por aplicações que acessam dados cujo conteúdo não é completamente conhecido pelo usuário. Essas restrições geram um cenário onde argumentos de consultas, especificados com operadores boleanos, podem retornar resultados vazios. Desse modo, o usuário é forçado a refazer suas consultas até que os argumentos usados estejam idênticos aos dados armazenados no banco de dados. Em bases XML, este problema é reforçado pela heterogeneidade das formas em que a informação encontra-se armazenada em diferentes lugares. Como solução, uma alternativa seria o uso de funções de similaridade na substituição de operadores boleanos, a fim de que o usuário obtenha resultados aproximados para a consulta especificada. Neste trabalho é apresentada uma proposta para suporte a argumentos de consulta vagos através da extensão da linguagem XPath. Para isso, são utilizadas expressões XPath que utilizam novas funções, as quais são, diretamente, adicionadas ao processador da linguagem de consulta. Além disso, é apresentada uma breve descrição das métricas de similaridade utilizadas para a criação das funções. As funções que foram adicionadas a um processador XPath possuem uma ligação muito estreita com as métricas utilizadas. Como as métricas, as funções trabalham com valores simples (elementos atômicos) e compostos (elementos complexos). As funções que trabalham com elementos atômicos podem ser classificadas tanto pelo tipo de dado que será analisado, como pelo tipo de análise que será feita. As funções para elementos complexos comparam conjuntos de elementos atômicos de acordo com a forma do agrupamento (conjunto, lista ou tupla).

Efeito in vitro de quinureninas sobre parâmetros bioquímicos do metabolismo enrgético em cérebro de ratos jovens

A via das quinureninas é a principal rota de degradação do aminoácido triptofano. Os metabólitos dessa via, comumente chamados de quinureninas, estão envolvidos em vários processos fisiológicos e patológicos e, recentemente, algumas quinureninas foram relacionadas à fisiopatologia de várias doenças neurodegenerativas. Tendo em vista o pouco conhecimento a respeito do efeito das quinureninas sobre o metabolismo energético cerebral, e considerando que as concentrações de algumas quinureninas estão alteradas em várias doenças neurodegenerativas e que disfunção mitocondrial é uma importante característica dessas doenças, este trabalho teve por objetivo investigar os efeitos in vitro de alguns metabólitos da via das quinureninas, particularmente L-quinurenina, ácido quinurênico, 3-hidroxiquinurenina, ácido 3-hidroxi-antranílico, ácido antranílico e ácido quinolínico sobre alguns parâmetros do metabolismo energético em córtex cerebral de ratos jovens. Verificamos que todas as quinureninas testadas, à exceção da L-quinurenina, aumentaram a captação de glicose e inibiram a produção de CO2 a partir de glicose, acetato e citrato em córtex cerebral de ratos de 30 dias de vida. Além disso, o ácido quinurênico inibiu a atividade da enzima sucinato desidrogenase, a 3-hidroxiquinurenina inibiu a atividade dos complexos I, II e IV da cadeia respiratória, enquanto que o ácido 3-hidroxi-antranílico inibiu as atividades dos complexos I e II da cadeia respiratória e da enzima sucinato desidrogenase. Já o ácido antranílico inibiu as atividades do complexo I-III da cadeia respiratória e da enzima sucinato desidrogenase. Por outro lado, o ácido quinolínico inibiu apenas a atividade do complexo II, sem alterar as atividades dos outros complexos da cadeia transportadora de elétrons. Finalmente, observamos que nenhuma das substâncias testadas interferiu na atividade da enzima Na+,K+-ATPase. Esses resultados sugerem um bloqueio no ciclo do ácido cítrico, o qual poderia ser provocado pela inibição da cadeia respiratória ocasionada pelos metabólitos testados. Portanto nossos resultados sugerem que o metabolismo energético cerebral é inibido in vitro por algumas quinureninas. Caso esses achados se confirmem in vivo, é possível que um prejuízo no metabolismo energético possa colaborar, ao menos em parte, para o comprometimento cerebral dos pacientes afetados por doenças em que há alteração nas concentrações desses compostos.