• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2007.tde-20210729-151145
Documento
Autor
Nome completo
André Gustavo Andrade
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2007
Orientador
Título em português
Integração de verificadores formais para agentes móveis
Palavras-chave em português
Inteligência Artificial
Sistemas Multiagentes
Resumo em português
a maioria das ferramentas existentes para verificação formal de agentes móveis diferem no poder de expressar agentes, bem como nas capacidades de verificação. Assim, mesmo considerando uma única teoria para agentes móveis, as ferramentas correspondentes não forem construídas para comunicarem-se, e por este motivo, não podem operar em conjunto. Dado que essas ferramentas oferecem serviços (capacidades) distintos, a integração e cooperação das mesmas podem proporcionar um ambiente com um conjunto mais amplo de capacidades de verificação. No entanto, algumas dificuldades surgem quando tentamos usufruir do serviço conjunto das ferramentas. As ferramentas utilizam-se, normalmente, de subconjuntos distintos de uma mesma teoria e a expressividade de cada subconjunto pode ser diferente. Quando isso ocorre é necessário mapear não apenas sintaticamente mas também semanticamente estes subconjuntos. Neste trabalho mostraremos técnicas para realizar o mapeamento entre dois subconjuntos de 'pi'-calculus utiizados por duas ferramentas existentes, a VTUBAINA e o HAL/Jack. Mostraremos como estas técnicas são utilizadas para usufruir das capacidades conjuntas destas ferramentas e como a utilização deste recurso permite ampliar as capacidades isoladas de cada ferramenta. Um software, denominado Hydra, foi desenvolvido como protótipo da implementação dos mapeamentos propostos neste trabalho.
Título em inglês
not available
Resumo em inglês
not available
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2021. Todos os direitos reservados.