Modelagem de Estruturas Sociais em AML Menandro Ribeiro Santana Ricardo Roberto de Lima

Roteiro Introdução Modelagem da Estrutura Social ASF: Agent Society Framework Considerações Finais Referências Bibliográficas CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE –

Introdução

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Sistemas Multi-Agentes (SMAs) Fonte: [1], pág. 38

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Sistemas Multi-Agentes (SMAs) Aspectos Sociais –Relacionamentos –Interações –Mecanismos de coordenação –Atitudes sociais

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Sistemas Multi-Agentes (SMAs) Perspectivas Sociais –Estrutura social Sociedades envolvidas no sistema –Comportamento social Dinâmica social Interações sociais Atividades sociais –Atitudes sociais Tendência individuais e/ou coletivas

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agent Modeling Language (AML) Extensão da UML 2.0 Em acordo com os frameworks da OMG –MDA –MOF –UML –OCL

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agent Modeling Language (AML) Entidades –Definição Agents, Resource, Environment e Organization unit –UML Mecanismos de modelagem –AML Interações baseadas em atos de fala (speech act) Fornecimento e utilização de serviços Sensores e atuadores próprios Execução de papéis

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de Entidades

Meta-Model from AML Architecture

Meta-Model from AML Architecture - Social Aspects

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Tipos de Entidades AgentsEnvironment Fonte: [1], pág. 143 e 144 Fonte: [1], pág. 140 e 141

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Tipos de Entidades ResourceOrganization Unit Fonte: [1], pág. 142Fonte: [1], pág. 145 e 148

Modelagem da Estrutura Social

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelagem da Estrutura Social Social Entities Social Relationships Entity Roles Role Properties Play Associations

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Social Entities Habilidade social –Participam de sociedades e relacionamentos sociais –Manifestam comportamento social –Possuem atitudes sociais Tipos de social entities –Agents –Organization Unit

Social Entities Meta-Model

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Social Entities Exemplos Fonte: [2], pág. 7

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Social Entities Exemplo Fonte: [2], pág. 9

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Social Relationships Conexão existente entre entidades sociais (social entities) relacionadas ou que necessitam lidar uma com a outra. Relacionamentos da UML –Generalização –Agregação –Associação, etc.

Social Relationships –Social Role Kind Peer Superordinate Subordinate –Social Association Peer-to-peer Superordinate-to- subordinate CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Relacionamentos da AML Fonte: [1], pág. 153

Social Relationships Relacionamentos da AML –Social Property Fonte: [1], pág. 153

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Social Relationships Exemplos Fonte: [2], pág. 7

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Entity Roles Papéis sociais: Abstrações de atributos, comportamentos, atitudes, participação em interações e serviços requeridos ou disponibilizados por outro papel ou entidade social. –Estrutura social –Posições –Características estruturais, comportamentais e de atitudes dos seus constituintes

Entity Roles Meta Model

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Entity Roles Modelagem explícita de papéis sociais –Nível de classe –Nível de instâncias Notação do EntityRoleType Fonte: [1], pág. 157

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Entity Roles Exemplos Fonte: [1], pág. 7 Figura 7

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Entity Roles Exemplo Fonte: [2], pág. 9

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Role Properties Modela a habilidade de uma entidade social (social entity) desempenhar um determinado papel (entity role). Notação Fonte: [1], pág. 159 Figura 12 Fonte: [1], pág. 159 Figura 13

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Role Properties Exemplo

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Play Associations Associação especializada de UML, utilizada para especificar uma propriedade de papel (role property) em forma de associação. Notação Fonte: [1], pág. 161

Play Associations Meta Model

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Play Associations Exemplo Fonte: [2], pág. 9

ASF: Agent Society Framework

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Motivação Como implementar sistemas multi-agentes (SMA)? Como implementar os agentes, o ambiente, os papéis usando orientação a objetos? Como mapear agentes para classes, organizações para classes,...? Usar de plataformas, arquiteturas, frameworks orientados a objetos específicos para implementar SMA Exemplos: –Jade, Jadex, FIPAOS, ZEUS, KAoS e Desire

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Frameworks e Arquiteturas OO Objetivo: prover classes orientadas a agentes reutilizáveis que possam ser estendidas e customizadas para implementar sistemas de domínio específico Definem classes orientadas a objetos, os relacionamentos entres as classes e a maneira como estas classes interagem

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Framework É um conjunto de classes relacionadas capaz de gerar diferentes aplicações sobre um mesmo domínio Captura os conceitos gerais de um domínio de aplicação Grande potencial de especialização: –conjunto de classes abstratas e concretas

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Framework Define partes que são fixas, i.e., não podem ser estendidas Define partes que são flexíveis, i.e., passíveis de extensão e customização As diferentes aplicações são geradas através da extensão das partes flexíveis Todas as aplicações possuem em comum o que estiver definido na parte fixa do framework

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Framework Partes fixas: frozen-spots Partes flexíveis: hot-spots Hot-spots Frozen-spots

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Aplicações do Framework Uma aplicação é gerada através da instanciação do framework A instanciação do framework é a implementação dos pontos flexíveis (hot-spots) Implementação dos hot-spots: extensão das classes abstratas e implementação dos métodos abstratos * * framework white-box

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Aplicações do Framework

ASF Framework

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agenda Sociedade de agentes Aspectos estruturais do ASF Aspectos dinâmicos do ASF –Modelo de ciclo de vida das entidades Trabalhos em andamento

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Estrutura do ASF

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Sociedade de Agentes Sociedade = grupo = organização Não são compostas apenas por agentes mas também por organizações, papéis, ambientes e objetos Agentes podem desempenhar vários papéis em diferentes organizações Agentes desempenham pelo menos um papel em uma organização

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Entidades Objects –Attributes, methods Agents –Goals, beliefs, plans and actions Organizations –Goals, beliefs, plans, actions e axioms Agent Roles –Goals, beliefs, duties, rights e protocols Object Roles –Attributes and methods Environment –Passive or active environment

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Aspectos Estruturais do ASF Objetivo: dar suporte à implementação de agentes, organizações, papéis e ambientes Como implementar... –as entidades, –suas propriedades, –seus relacionamentos, –a interação entre as entidades e –a execução interna das entidades?

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Aspectos Estruturais do ASF Fornece um conjunto de módulos que devem ser estendidos para implementar a aplicação Cada módulo representa uma entidade do SMA Instanciação da aplicação: –para implementar uma classe de agente da aplicação estende-se o módulo Agent –para implementar uma classe de organização da aplicação estende-se o módulo Organization –...

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agente Agent –Thread (entidade autônoma) Messages –Enviadas e recebidas (entidade interativa) Goals –Nome, tipo, valor –Está associado a planos que podem atingir o goal Beliefs –Nome, tipo, valor

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agente Plans –Define uma ordem de execução de um conjunto de ações –Está relacionado a goals que pode atingir Actions –Define a execução interna do agentes (entidade adaptativa) –Possui pré e pós-condições

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Módulo Agent

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Organização –Thread (entidade autônoma) Main-organization –Não desempenha papéis –Pode definir sub-organizações (Sub-)Organization –Desempenha papéis em organizações –Pode definir sub-organizações Goals, beliefs, plans, actions and messages Axiom: –Nome, tipo, valor

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Módulo Organization

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Agent Role Goals, Beliefs Duties –Define ações que são obrigações Rights –Define ações que são direitos Protocols –Define ordem de envio e recebimento de mensagems

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Módulo Agent Role

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Módulo Object Role Atributos Métodos

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE –

Relação entre as entidades

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida X Modelo computacional Modelo de ciclo de vida –Define o conjunto de estado possíveis e as suas transições Modelo computacional. –Descreve a execução da entidade nos estados definido no modelo de ciclo de vida

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Objeto Start: –Criação do objeto Registrar objeto no ambiente Running: –Execução do objeto Death: –Destruição do objeto Cancelar o registro do objeto no ambiente

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Papel de Objeto Start: –Criação do papel de objeto Registrar o objeto no papel (objeto não conhece o papel) Registrar a papel na organização Running: –Execução do papel do objeto Death: –Destruição do papel do objeto Cancelar o registro no papel na organização

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Papel de Agente Start –Criação do papel Registrar o papel na organização Active –Execução do papel Inactive –Execução interrompida Death –Destruição do papel Cancelar o registro do papel na organização

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Agente Agente executa no contexto dos papéis Para cada papel que o agente desempenha uma thread de agente é criada Start –Criação do agente Registrar o agente no ambiente –Criação de um papel de agente Associar papel ao agente e vice-versa Running –Execução do agente

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Agente Frozen –Todos os papéis do agente estão desativados Agente existe mas não está executando Migrating –Migração do agente de um ambiente para outro Cancelar/desativar todos os papéis no ambiente origem Criar/ativar pelo menos um papel no ambiente destino Death –Destruição do agente Cancelar o registro do agente no ambiente –Destruição do papel de agente Cancelar associação entre agente e papel

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Agente

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Sub-organização Start –Igual ao de agentes Frozen –Igual ao de agentes Migrating –Entidades devem papar de desempenhar papéis dentro da sub-organização (cancelar/desativar papéis) –Cancelar/desativar todos os papéis no ambiente origem –Criar/ativar pelo menos um papel no ambiente destino –Entidades podem se mover também para continuar a desmpenhar os papéis

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Sub-organização Death –Destruição da sub-organização Cancelar o registro da sub-organização no ambiente –Destruição do papel de agente Cancelar associação entre sub-organização e papel –Destruição dos papéis desempenhados dentro da sub- organização

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Sub-organização

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Main-organização Start –Criação da main-organização Registrar da main-organização no ambiente Running –Execução da main-organização Death –Destruição da main-organização Cancelar o registro da main-organização no ambiente

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo de ciclo de vida de Ambiente Start –Criação do ambiente Running –Execução do ambiente Death –Destruição do ambiente Destruição de todos os agentes, organizações e objetos

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Modelo computacional das Entidades Identifica o comportamento entre todas as entidades de um determinado tipo associado a um determinado estado Define o comportamento independente do domínio das entidades em um determinado estado

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE –

Considerações Finais Definimos desta forma a importância da utilização de uma abordagem Multi-Agente para construção de modelos sociais de agentes inteligentes. Para isso, não basta apenas definir as características organizacionais, entidades e agentes, mais o importante também é trabalhar utilizando um Framework para modelagem de agentes sociais do tipo ASF, AML.

CIN – Ontologies Reasoning Components Agents Simulations (ORCAS) – UFPE – Referências Bibliográficas [1] The Agent Modeling Language: A Comprehensive Approach to Modeling Multi-Agent Systems. Cervanka, R. and Trencansky, I. Birkhäuser [2] Modeling Social Aspects of Multi-Agent Systems. Cervanka, R., Trencansky, I. Birkhäuser and Calisti, M., [3] Artificial Intelligence: A Modern Approach (2nd Ed.) Russell, S. & Norvig, P. Prentice-Hall Site: [4] Introduction to Multi-Agent Systems. Wooldridge, M. Wiley Site: [5] UML 2 Toolkit. Eriksson, H.E., Penker, M., Lyons, B. & Fado, D. Wiley [6] The Object Constraint Language: Getting Your Models Ready for MDA (2nd Ed.) Warmer, J. & Kleppe, A. Addison-Wesley [7] Component-based product line engineering with UML. Atkinson, C., Bayer, J., Bunse. C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D; Paech, B. Wüst, J. and Zettel. J. Component Software Series. Addison-Wesley