240 likes | 360 Views
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)
E N D
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) • 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
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.
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
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)
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)
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)
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
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)
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
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
Definição de Normas Individuais + Reputação II/II URJC Resultado: • COIN@AAMAS 2009 Meta: • 2009: Conferência
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
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)
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
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)
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
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
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
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
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
Perguntas? Viviane Torres da Silva