1 / 24

Temas de Pesquisa

Temas de Pesquisa. Viviane Torres da Silva. Pesquisa já Realizada I/III. Modelagem de sistemas multi-agentes Definição do framework conceitual TAO LNCS 2603 em 2003 Desenvolvimento da linguagem de modelagem para agentes MAS-ML Minha tese de doutorado (03/2004)

arvid
Download Presentation

Temas de Pesquisa

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Temas de Pesquisa Viviane Torres da Silva

  2. Pesquisa já Realizada I/III • Modelagem de sistemas multi-agentes • Definição do framework conceitual TAO • LNCS 2603 em 2003 • Desenvolvimento da linguagem de modelagem para agentes MAS-ML • Minha tese de doutorado (03/2004) • AAMAS 2004 e 2005, JAAMAS 2004, CACM 2007, IJAOSE 2008 • Validação de modelos MAS-ML com o uso de ontologias • Tese de doutorado da Anarosa Brandão (12/2005) • SEKE 2005, LNCS 4405 em 2007

  3. Pesquisa já Realizada II/III • Implementação de sistemas multi-agentes • Aplicação de técnicas de transformação entre modelos (MDA) para transformar os modelos MAS-ML em código Java • Dissertação de mestrado da Beatriz de Maria (04/2005) • EASST 2006, CAiSE 2005. • Definição de um framework OO para implementação de um sistema de governança • Dissertação de mestrado da Fernanda Duran (04/2007) • JBCS 2007, LNCS 4870 em 2008 • Definição de um framework OO para implementação de um sistema de reputação • Dissertação de mestrado do José Guedes (03/2007) • JBCS 2007, LNCS 4898 em 2008.

  4. Pesquisa já Realizada III/III • Implementação de sistemas multi-agentes • Definição de um modelo de reputação híbrido • COIN@AAMAS 2008 a ser publicado em LNAI • Definição de um framework OO para o diagnostico de falhas em execuções de planos de agentes e recomendação de novos planos • Dissertação de mestrado Andrew (09/2008) • TRUST@AAMAS 2008 a ser publicado em LNCAI • Definição de uma linguagem de descrição de normas, transformação automática das normas a regras, e definição de um conjunto de regras para governar o comportamento dos agentes de acordo com a norma • JAAMAS 2008

  5. Detalhando a Pesquisa em Andamento

  6. Pesquisa em Andamento I/III • Modelagem de normas • Linguagem de modelagem para normas • Em colaboração com Karen (UFF) • Descrição e formalização de normas • Quais são as propriedades de uma norma? Como descrever e formalizar normas? • Em colaboração com Marc Esteva (IIIA-Barcelona) • Definição de normas individuais + Reputação • As expectativas de um agente podem ser vistas como normas individuais • Como isso afeta a reputação de outro agente? • Em colaboração com Ramón Hermoso e Roberto Centeno (URJC Madrid)

  7. Pesquisa em Andamento II/III • Auto-adaptação: • Framework para a ajudar no processo de adaptação (JAAF) • Em colaboração com Baldoino, Andrew, Manoel • Dissertação Baldoino • BDI+Normas: • A arquitetura BDI não considera as normas de um agente. • Em colaboração com Baldoino (tese) • Auto-teste + Normas: • O agente é capaz de testar suas planos/ações/serviços para verificar se estes cumprem com as normas • Em colaboração com Andrew (tese)

  8. Pesquisa em Andamento III/III • Auto-organização: • Framework para possibilitar o uso de padrões de comportamento em organizações • Em colaboração com Manoel (dissertação) • Argumentação: • Utilizando argumentação para auxiliar sistemas médicos • Em colaboração com Ingrid (tese)

  9. Modelagem de normas I/II Mestrado Karen Problema: • Poucas linguagens de modelagem propõe a modelagem de normas. A adaptação de uma norma pode implicar na adaptação do modelo de design do sistema e vice-versa. Abordagem: • SecureUML: linguagem para modelagem de restrição de acesso, permissões • Um usuário desempenhando um papel tem conjunto de permissões associadas a determinados recursos. • Nossa abordagem: Norm-ML (estende SecureUML para modelar normas) • Modela obrigações, permissões e proibições • Possibilita a verificação de conflitos entre as normas

  10. Modelagem de normas II/II Mestrado Karen • Possibilitar a criação dinâmica das normas • Conflitos em tempo de execuç4ao • Possibilitar a verificação de violações de normas a partir de um cenário de execução Resultado: • DagstuhlSeminar 2009 Meta: • Wokshop 2009 • Conferência 2010 • 2011: Dissertação Mestrado Karen (UFF)

  11. Descrição e formalização de normas IIIA Problema: • Existem várias propostas de linguagens • Não existe nenhuma que englobe todas as propriedades conhecidas Abordagem: • Definir as propriedades de uma norma • Criar uma linguagem para possibilitar a descrição de normas • Formalizar a descrição de normas Resultado: • ModelingandImplementingNorms (JAAMAS 2008) Meta: • 2010: Conferência

  12. Definição de Normas Individuais + Reputação I/II URJC Problema: • Normas Organizacionais: • Normas definidas pela organização • Restringem o comportamento dos agentes que desempenham papéis na organização • As violações recebem punições aplicadas pela organização • Os agentes têm expectativas sobre o comportamento de outros agentes. Como definir isso? Como saber quais são os agentes que melhor atingem estas expectativas? Abordagem: • Normas individuais ou expectativas: normas definidas por um agente • As violações não recebem punições vindas da organização

  13. Definição de Normas Individuais + Reputação II/II URJC Resultado: • COIN@AAMAS 2009 Meta: • 2009: Conferência

  14. Auto-adaptação Baldoino, Andrew e Manoel Problema: • Processos de auto-adaptação pré-definidos Abordagem: • Possibilitar a implementação de diferentes processos de auto-adaptação: Framework JAAF e JAAF-S (serviços) • Extensão do control-loop default (4 atividades) ou criação de outros control-loops com outras atividades Resultados: • JAAF (aceito no SEKE 2009) • JAAF-S (aceito no ICSOFT 2009) Meta: • 2009: Artigo em revista (JSS), 2010: Dissertação Baldoino

  15. BDI + Normas Baldoino Problema: • Arquitetura BDI não contempla normas Abordagem: • Estender a arquitetura BDI para considerar normas • Estender as estratégias de: • Adoção de objetivos e normas • Seleção de objetivos • Seleção de planos (Planning....) Resultado: • ---- Meta: • 2009: Conferência (AAMAS)

  16. Auto-teste + Normas Andrew Problema: • Em sistemas adaptáveis, é necessário que o agente seja capaz de testar sua adaptação (verificar se a adaptação realizada trouxe melhoras em relação a execução anterior) • Em SMAA, os agentes precisam adaptar o comportamento de acordo com as normas na organização onde estão Abordagem: • Extensão do JAAF incluir uma tarefa para auto-teste • Teste para verificar se o serviço/plano/ação adaptado compre com as novas normas Resultado: --- Meta: • Conferência 2009

  17. Auto-organização Manoel Problema: • Abordagens existentes não possibilitam: (i) a agregação dos padrões já existentes; (ii) a criação de novos padrões e (iii) a definição de estratégias diferentes de acordo com conteúdos diferentes Abordagem: • Framework para possibilitar o uso de padrões de comportamento em organizações (no mesmo nível e em níveis diferentes) • Disseminação de informação, evaporação, agregação, .... • E se esta informação é uma norma? O quê muda? Resultado: --- Meta: • 2009: Workshop e 2010: Conferência, Dissertação Manoel)

  18. Argumentação Ingrid Problema: • Como descobrir, dado um conjunto de sintomas, a doença correspondente ou o método de tratamento? • Como descobrir a doença (ou método de tratamento) levando em consideração diferentes opiniões de especialistas? Problema: • Uso de argumentação para justificar a solução encontrada • Uso de argumentação para solucionar conflitos entre diferentes soluções Resultado: --- Meta: • 2009: Workshop • 2010: Conferência

  19. Pesquisa no Estado Preliminar

  20. Pesquisa no Estado Preliminar • Planejamento: • Utilizando informações de execuções passadas no planejamento • Auto-adaptação: • Quão confiável um agente continua sendo depois da sua adaptação? • OO: Controle de acesso dinâmico: • Implementação de políticas de controle de acesso em tempo de execução

  21. Planejamento Problema: • As normas mudam e o agente tem que se adaptar • Seleção e criação dinâmica de planos de acordo com as normas dos agentes Abordagem: • Seleção de plano: verificar se no plano existe alguma ação que possa violar uma norma • Criação de plano: ao selecionar uma nova ação levar em consideração as normas Resultado: • ---- Meta: • 2010: Início do trabalho

  22. Auto-Adaptação Problema: • Após muitas adaptações, o agente continua sendo confiável? • A qualidade do serviço que o agente provê continua sendo a mesma? Melhorou ou piorou? • O nível de honestidade do agente foi alterado? Abordagem: • Explorar o uso de normas para “controlar” o comportamento as possíveis adaptações. • Explorar como a adaptação de um agente pode afetar na confiança que outro agente tem sobre ele Resultado: ---- Meta: • 2010: Início do trabalho

  23. Dynamic RBAC Problema: • Alterar em tempo de compilação as permissões, definir novos papéis, criar novos recursos, associar usuários a outros papéis,.... Abordagem: • Estudar a abordagem DRBAC (Dynamic RBAC) • Usar aspectos? Resultado: • ---- Meta: • 2010: Início do trabalho

  24. Perguntas? Viviane Torres da Silva

More Related