• 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
 
 
Disertación de Maestría
DOI
https://doi.org/10.11606/D.45.2007.tde-20210729-151145
Documento
Autor
Nombre completo
André Gustavo Andrade
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2007
Director
Título en portugués
Integração de verificadores formais para agentes móveis
Palabras clave en portugués
Inteligência Artificial
Sistemas Multiagentes
Resumen en 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 en inglés
not available
Resumen en inglés
not available
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Fecha de Publicación
2021-07-29
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2021. Todos los derechos reservados.