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
Detalhando a Pesquisa em Andamento
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:

Dagstuhl Seminar 2009
Meta:

Wokshop 2009

Conferência 2010

2011: Dissertação Mestrado Karen (UFF)
Descrição e formalização de normas
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:

Modeling and Implementing Norms (JAAMAS 2008)
Meta:

2010: Conferência
IIIA
Definição de Normas Individuais + Reputação
I/II
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
URJC
Definição de Normas Individuais + Reputação
Resultado:

COIN@AAMAS 2009
Meta:

2009: Conferência
II/II
URJC
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
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)
Baldoino
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
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