1 Programação de Agentes em uma Linguagem Orientada a Objetos: a Solução EOOPS Abordagens de programação EOOPS: Integração objetos-regras de produção Exemplo:

Apresentação em tema: "1 Programação de Agentes em uma Linguagem Orientada a Objetos: a Solução EOOPS Abordagens de programação EOOPS: Integração objetos-regras de produção Exemplo:"— Transcrição da apresentação:

1 1 Programação de Agentes em uma Linguagem Orientada a Objetos: a Solução EOOPS Abordagens de programação EOOPS: Integração objetos-regras de produção Exemplo: JEOPS

2 2 Exemplos Atuais de Aplicações Complexas n Recuperação de Informação na Internet Informação desorganizada e enorme n Comércio Eletrônico Vários sites, produtos, preços, prazos, etc. n Jogos Eletrônicos Realismo e oponentes competitivos

3 3 Pontos em comum n Aplicações 3M Muito grandes (muitas linhas de código) Muita gente Muitos e variados serviços (componentes) n Serviços IA (dedução, indução, comunicação,...) Modelo das preferências do usuário, coordenação de ações, comportamento dirigido a objetivos,... tudo encapsulado no conceito de agente n Serviços não-IA BD, GUI, WWW, Mobilidade,...

4 4 Consequentemente, é preciso... n Engenharia de Software Metodologia, gerência e qualidade de software n Material humano qualificado Cada vez mais escasso n Reutilização e integração de componentes (serviços) Não “reinventar a roda” Questão: como integrar e facilitar reutilização?

5 5 Como implementar os agentes? n “Linguagens de IA” Orientadas a agentes (ex. Agent0, Placa, 3APL) Programação em lógica (prolog) + Oferecem os serviços básicos dos agentes + Coesão - Sistemas desenvolvidos não são facilmente integráveis - Poucos componentes a reutilizar e pouca gente - Metodologia? AIOL (AI-Oriented Language) Reasoning Mechanism

6 6 Como implementar os agentes? n Linguagens orientadas a objetos Java, C++, C#,... + Facilitam a reutilização e integração de serviços + Engenharia de software + Mão de obra disponível - Não oferecem de antemão as funcionalidades dos agentes (raciocínio) AI-Oriented Language Host Language

7 7 Integração Objetos / Regras de produção Por que não ter o melhor dos mundos?

8 8 Como integrar dedução com OO? n OO dentro de IA ex. ObjLog, LIFE,.... + trata herança mais facilmente - mesmos problemas de integração com outros sistemas e de pouca reutilização AIOL Reasoning Mechanism OO Mechanisms

9 9 Como integrar dedução com OO? n IA e OO cooperando ex. Jasper, JavaLog, InterProlog + técnica promissora mas... - requer dupla habilidade de programação - pode não ser eficiente ou viável Host Language Host Language AI AIOL Reasoning Mechanism Tempo de execução

10 10 Como integrar dedução em OO? n IA dentro de OO Abordagem 1: Tradução (“Caixa preta”) ex. Prolog Café, jProlog, Minerva and Jinni −Muito bom mas ainda requer dupla habilidade Host Language AI-Oriented Language AI-Oriented Language Reasoning Mechanism Translator

11 11 Extended Host Language -------- ---- ------- -------- ------ Knowledge Base Como integrar dedução em OO? n IA dentro de OO Abordagem 2: Novas Agent-Oriented (Hybrid) Programming Languages Primitivas redefinidas/extendidas!!! ex. Jack e AgentJava −excelentes (caixa branca) mas ainda incipientes....

12 12 Como integrar dedução com OO? n IA dentro de OO Abordagem 3: API ex. CLIPS, NéOpus, RAL/C++, Jess Implementação mais usada: EOOPS Embedded Object-Oriented Production Systems Linguagem OO + Sistema de Produção

13 13 EOOPS Embedded Object-Oriented Production Systems

14 14 Lembrete sobre sistemas de produção n Conjunto de Base de regras de produção Base de fatos Conjunto de conflitos (das regras disparáveis) n Passos (encadeamento progressivo) Unificação da condições com os fatos Resolução de conflitos entre regras ativas Execução das ações da regra

15 15 Lembrete sobre sistemas de produção Base de Regras  p1, p2, p3: Pai(p1,p2)  Pai(p2,p3)  Avo(p1,p3) Base de fatos Pai(João, José) Pai(José, Marcos) Motor de Inferência Avo(João, Marcos) unificação

16 16 Lembrete sobre sistemas de produção Base de FatosBase de Regras unificação Conjunto de Conflito resolução de conflitos Regra Novos Fatos execução Ciclo Obs: para não ter de re-testar a cada ciclo, só testa os fatos modificados (retirados, adicionados)

17 n Mudança filosófica Fatos: string => Objetos Predicados: string => métodos dos objetos Casamento estrutural => Casamento comportamental (pertinência a classes + veracidade dos predicados) Integração Objetos/Regras Nome: Marcos Nome: José Nome: João pai Pessoa Pai(João, José) Pai(José, Marcos)  p1, p2, p3: Pai(p1,p2)  Pai(p2,p3)  Avo(p1,p3) Regra Avo Para todo objeto p1, p2 e p3 da classe Pessoa, SE p1.ehPai(p2); p2.ehPai(p3); ENTÃO

18 18 Integração Objetos/Regras em EOOPS: características n Eficiência RETE? n Expressividade ordem lógica (0, 0+, 1) implementada? n Encadeamentos Progressivo e/ou regressivo? n Estratégias de Controle Flexível? Declarativa? n Uniformidade da integração

19 19 n Aspectos Sintático: como aparentam as regras? Semântico: quão respeitados são os conceitos OO? n Vantagens Facilidade de uso Engenharia de Software: reutilização, modularidade,... n Desvantagens: modified problem Encapsulamento não permite ao motor de inferência “ver” as mudanças em um objeto (fato) ex. como saber se um objeto Pessoa passou a ter avô sem precisar perguntá-lo (de novo)? Uniformidade da Integração

20 Alguns exemplos 20

21 21 Integração Objetos/Regras: Algumas Propostas SistemaLing. prog Unif. Integr. EficiênciaEncad.Conflitos CLIPSC++-+/-fc- RAL/C++C+++/-+fc- NéoOpusSmalltalk++/-fc++ JESSJava-+/-fc+bc- JEOPSJava++/-fc+ DROOLSJava??+/-fc+bc+

22 22 Regras CLIPS n Nem todos objetos são utilizados n As regras tem sintaxe própria (lisp-like) (defclass Pessoa (is-a USER) (role concrete) (pattern-match reactive) (slot nome (create-accessor read-write)) (slot pai (create-accessor read-write))) (defrule RegraAvo "O pai do pai de alguém é seu avô” ?a <- (object (is-a Pessoa) (nome ?nomeAvo)) ?p <- (object (is-a Pessoa) (nome ?nomePai) (pai ?a)) (object (is-a Pessoa) (nome ?nomeNeto) (pai ?p)) => (printout t ?nomeAvo “ é avô de ” ?nomeNeto crlf) )

23 23 CLIPS n Outras caraterísticas COOL (CLIPS Object-Oriented Language) Foi uma linguagem utilizada bem difundida (> 5.000 usuários) n Aplicações medicina, multiagentes, helpdesk, aplicações aeroespaciais, etc. n Sites http://herzberg.ca.sandia.gov/jess/ http://www.ghg.net/clips/CLIPS.html

24 24 RegraAvo { // O pai do pai de alguém é seu avô Avo (PessoaMT nome::NomeAvo) Pai (PessoaMT nome::NomePai pai==Avo) Neto (PessoaMT nome::nomeNeto pai==Pai) --> printf(“%s é avô de %s\n”, NomeAvo, NomeNeto); ) Regras RAL/C++ n Utiliza classes C++, se indicado n Sintaxe um pouco mais próxima à de C++ class Pessoa { public: char nome[20]; Pessoa pai;... } wmedef PessoaMT:Pessoa {}

25 25 Regras NéOpus RegraAvo “O pai do pai de alguém é seu avô” | Pessoa a p n | a = p pai. p = n pai. actions Transcript show: a nome, ‘ é avô de ’, n nome, cr.! n Toda classe Smalltalk n Regras com sintaxe de Smalltalk Object subclass: #Pessoa instanceVariableNames: ‘nome pai’!

26 26 n ViraCasaca | Pessoa p| (p timePreferido) nome = “Santa Cruz”. Actions | Time bom | bom := Time new. bom nome: “Sport”. p timePreferido: bom. P modified. NéOpus Pessoa nome idade timePreferido(): Time timePreferifo(t : Time) time Time nome nome(): String nome(n : String)

27 27 NéOpus www-poleia.lip6.fr/~fdp/NeOpus.html n Outras características Bases de regra são representadas por classes abstratas (herança!) Controle declarativo (via Metabase) n Aplicações controle de aparelhos respiratórios, prova de teoremas, transformação de modelo de dados, análise de harmônicas, Actalk,... n Infelizmente... SmallTalk dançou!

28 28 n Pode usar classes Java, com restrições n Regras com sintaxe própria (lisp-like) Regras JESS (CLIPS para Java) (defrule RegraAvo "O pai do pai de alguém é seu avô” ?a <- (Pessoa (nome ?nomeAvo)) ?p <- (Pessoa (nome ?nomePai) (pai ?a)) ?n <- (Pessoa (nome ?nomeNeto) (pai ?p)) => (printout t ?nomeAvo “ é avô de ” ?nomeNeto crlf) ) class Pessoa { private String nome; private Pessoa pai;... } (defclass Pessoa Pessoa)

29 29 Exemplo: JEOPS (Java Embedded Object Production System) Made in Cin (1997/2-2000/1) http://www.di.ufpe.br/~jeops/ http://sourceforge.net/projects/jeops/

30 30 JEOPS - Princípios n Java 1001 serviços n Uniformidade total de integração Reutilização de componentes Engenharia de Software n Facilidade de uso Fachada única de acesso

31 31 JEOPS - Arquitetura Gera entradas Agente Base de Conhecimentos Base de Objetos Rete Base Interna de Regras Conjunto de Conflito Consulta JEOPS flush tell runobjects -------- ---- ------- -------- ------ Knowledge Base tell (antigamente “assert”) = insere objetos na base de objetos Objects = recupera objetos da base de objetos Flush = limpa base de fatos

32 32 Esquema de Compilação JEOPS Compilation Environment JEOPS Compilation Environment JEOPS Engine JEOPS Rule Pre-Compiler Rule Base (.rules) Rule Base (.java) Application (.java) JAVA Compiler ByteCodes (.class) JEOPS Runtime Environment JEOPS Runtime Environment JEOPS Inference Engine JEOPS Compilation Environment JEOPS Compilation Environment JEOPS Engine JEOPS Rule Pre-Compiler Rule Base (.rules) Rule Base (.java) Application (.java) JAVA Compiler ByteCodes (.class) JEOPS Runtime Environment JAVA Runtime Environment JEOPS Inference Engine Mais simples de implementar Mais rápido de executar

33 33 Regras JEOPS n Rule ::= "rule" "{" "}" n Rule Body ::= ? n Declarations ::= "declarations" ( ("," )* )* n Local Declarations ::= "localdecl" ( "=" )* n Conditions ::= "conditions" ( )* n Actions ::= (Action)+ n Action ::= “tell" "(" ")" | "retract" "(" ")" | "modified" "(" ")" |

34 34 (1) Definição das classes Jogador, Time, Partida,... JEOPS - Exemplo de Utilização class Time { private Jogador[] jogs;... } class Partida { private int etapa; private int tempo;... } class Jogador { private Time time; private int habilidade;... } class Goleiro extends Jogador {... } class Meia extends Jogador {... } class Atacante extends Jogador {... }

35 35 (2) Criação das regras JEOPS - Exemplo de Utilização rule Retranca { declarations Partida p; // para todo p instância de Partida... Jogador a; localdecl Time meuTime = a.getTime(); conditions p.getEtapa() == 2; // Estamos no segundo tempo,... p.getPlacar(meuTime) >= p.getPlacarAdversario(meuTime); meuTime.getCategoria() < //... e eu sou ruim p.getTimeAdversario(meuTime).getCategoria(); actions a.vaParaDefesa(); // Então bola pro mato... modified(a); }

36 36 (3) Pré-compilação de regras Regras convertidas em classes Java comando: java jeops.compiler.Main nome_do_arquivo.rules JEOPS - Exemplo de Utilização

37 37 (4) Instanciação dos objetos (5) Execução do motor de inferência JEOPS - Exemplo de Utilização RegrasFutebol base = new RegrasFutebol(); Time camaroes = new Time(“Camaroes”); base.tell(camaroes); base.tell(new Atacante(camaroes, “MBoma”)); base.tell(new Lateral(camaroes, “Mila”)); base.tell(new Meia(camaroes, “Nkekessi”)); base.tell(new Goleiro(camaroes, “Silva”));... base.tell(new Partida(brasil, camaroes)); base.run();

38 38 JEOPS - Outras Características n Rete Algoritmo eficiente de unificação n Aplicações Administração de rede, Jogos interativos (NetMaze, Enigmas, Guararapes), Recuperação de Informação, Geração de variações fonéticas

39 39 JEOPS - Outras Características n Resolução de conflitos Mecanismo flexível de definição de políticas n Classes LRUConflictSet MRUConflictSet NaturalConflictSet OneShotConflictSet PriorityConflictSet

40 40 Resumo... 1. Definir as classes Atributos e métodos 2. Definir as regras Interação entre os objetos da base 3. Voltar ao passo 1 4. Escolher estratégia de resolução de conflito 5. Compila regras, instancia objetos, deixa a base de conhecimentos trabalhar...

41 41 Estudo de Caso com o JEOPS: Definindo estratégias de combate

42 42 JEOPS - Estudo de Caso n O ambiente: Vários jogadores, cada um com sua civilização Cada civilização é composta por várias cidades, localizadas em diversos pontos do mapa Cada civilização tem um exército que pode ser usado para conquistar novas cidades ou defender as suas próprias cidades

43 JEOPS - Estudo de Caso n Pensando nas classes... Jogador - nome: String - pais: String Cidade - nome: String - dono: Jogador - local: Localizacao UnidCombate - nome: String - dono: Jogador - movim: int - local: Localizacao ataca(e: UnidCombate) anda(l: Localizacao) Localizacao - linha: int - coluna: int dist(l:Localizacao): int

44 JEOPS - Estudo de Caso n Pensando nas regras... rule defendeCidade { // Se houver algum inimigo por perto da declarations //minha cidade, é melhor atacá-lo primeiro Jogador eu; Cidade cid; UnidCombate exercAdv;..... Mas eu preciso usar o meu melhor soldado para atacar o inimigo!!! - Quem é este soldado?

45 Jogador - nome: String - pais: String Cidade - nome: String - dono: Jogador - local: Localizacao UnidCombate - nome: String - dono: Jogador - movim: int - local: Localizacao ataca(e:UnidCombate) anda(l:Localizacao) Localizacao - linha: int - coluna: int dist(l:Localizacao): int melhorUnidade(): UnidCombate JEOPS - Estudo de Caso n Repensando nas classes...

46 rule defendeCidade { // Se houver algum inimigo por perto, declarations // é melhor atacá-lo primeiro Jogador eu; Cidade cid; UnidCombate exercAdv; preconditions eu.getNome().equals(“Carlos”); cid.melhorUnidade() != null; // Ou eu estaria perdido! cid.getDono() == eu; exercAdv.getDono() != eu; // Ele realmente é meu adversário? cid.getLocal().dist(exercAdv.getLocal()) <= exercAdv.getMovim(); actions cid.melhorUnidade().ataca(exercAdv); } Mas se eu estiver em tratado de paz com o meu adversário? Devo atacá-lo? Além disso, vamos tornar o código mais legível... JEOPS - Estudo de Caso n Repensando nas regras...

47 Jogador - nome: String - pais: String emPaz(j:Jogador):bool Cidade - nome: String - dono: Jogador - local: Localizacao UnidCombate - nome: String - dono: Jogador - movim: int - local: Localizacao ataca(e:UnidCombate) anda(l:Localizacao) Localizacao - linha: int - coluna: int dist(l:Localizacao): int melhorUnidade(): UnidCombate podeSerAlcançada (u:UnidCombate): boolean JEOPS - Estudo de Caso n Repensando nas classes...

48 rule defendeCidade { // Se houver algum inimigo por perto, declarations // é melhor atacá-lo primeiro Jogador eu; Cidade cid; UnidCombate exercAdv; preconditions eu.getNome().equals(“Carlos”); !eu.emPaz(exercAdv.getDono()); cid.melhorUnidade() != null; // Ou eu estaria perdido! cid.getDono() == eu; exercAdv.getDono() != eu; // Ele realmente é meu adversário? cid.podeSerAlcançada(exercAdv); actions cid.melhorUnidade().ataca(exercAdv); } JEOPS - Estudo de Caso n Repensando nas regras...

49 JEOPS - Estudo de Caso n E se a cidade estiver desprotegida? Mais uma regra para tratar deste caso! rule defendeCidade2 { declarations Jogador eu; Cidade cid; UnidCombate exercAdv, meuExerc; preconditions eu.getNome().equals(“Carlos”); cid.melhorUnidade() == null; // Problemas a vista!!! cid.getDono() == eu; meuExerc.getDono() == eu; exercAdv.getDono() != eu; // Ele realmente é meu adversário? cid.podeSerAlcançada(exercAdv); cid.podeSerAlcançada(meuExerc); actions meuExerc.anda(cid.getLocal()); // Corra para proteger a cidade! }

50 JEOPS - Estudo de Caso n Já sei me defender... quero agora ampliar meus domínios... rule atacaCidade { // Se eu estiver perto de uma cidade inimiga, declarations // devo atacá-la!!! Jogador eu; Cidade cid; UnidCombate meuExerc; preconditions eu.getNome().equals(“Carlos”); cid.getDono() != eu; meuExerc.getDono() == eu; meuExerc.getAtaque() >= 3; // Não vou atacar com qualquer um cid.podeSerAlcançada(meuExerc); !eu.emPaz(cid.getDono()); actions meuExerc.ataca(cid.getLocal()); }

51 Jogador - nome: String - pais: String emPaz(j:Jogador):bool Cidade - nome: String - dono: Jogador - local: Localizacao UnidCombate - nome: String - dono: Jogador - movim: int - local: Localizacao - ataque: int - defesa: int ataca(e:UnidCombate) anda(l:Localizacao) Localizacao - linha: int - coluna: int dist(l:Localizacao): int melhorUnidade(): UnidCombate JEOPS - Estudo de Caso n Repensando nas classes...

52 JEOPS - Estudo de Caso n Ou ainda eu posso criar uma nova cidade... rule criaCidade { declarations Jogador eu; Settler meuExerc; preconditions eu.getNome().equals(“Carlos”); meuExerc.getDono() == eu; meuExerc.getLocal().haOceanoPorPerto(); meuExerc.getLocal().haComidaPorPerto(); !meuExerc.getLocal().haCidadePorPerto(); actions Cidade nova = new Cidade(eu); retract(meuExerc); tell(nova); } A decisão de criar uma cidade pode requerer uma base de conhecimento à parte

53 Localizacao - linha: int - coluna: int dist(l:Localizacao): int haComidaPerto() : boolean haCidadePerto() : boolean haOceanoPerto() : boolean JEOPS - Estudo de Caso n Repensando nas classes...

54 JEOPS - Estudo de Caso n Colocando tudo para funcionar... Civ2.java: public static void main(String[] args) { KnowledgeBase kb = new KnowledgeBase(“regrasciv.rules”); Jogador eu; kb.insert(eu = new Jogador(“Carlos”, “Brasil”)); kb.insert(new Settler(eu, Localizacao.getRandom()));... kb.run(); }

55 55 Considerações Finais sobre a Integração Objetos/Regras n Vantagens Reutilização, modularidade, legibilidade, extensibilidade,... Separação clara entre ontologia e regras (IA) Facilidade de aprendizado (disponibilidade de gente)

56 56 n Desvantagem: falta de metodologia O que vai para as regras e o que vai para os objetos? Dica: procedimentos, conhecimento consolidado, cálculos eficientes, serviços diversos (ex. BD, WWW),... => métodos Executa logo? Parte ação das regras: agenda ou executa? Agente dentro e fora da KB? Considerações Finais sobre a Integração Objetos/Regras

57 57 Agentes x Base de Conhecimento? n Default: Cada agente tem sua BC (atributo) Ciclo { Percepções => base de objetos (da BC) Run BC Recupera da BC ações a serem executadas Executa ações} n Mas... agentes podem estar dentro da base de objetos Por exemplo jogadores estão dentro de uma base sobre jogar futebol... É como se fosse uma agente externo (a base do agente “técnico”)

58 58 n Desvantagem: modificação Detecção da modificação de objetos devido ao encapsulamento Modificação direta e transitiva.... Considerações Finais sobre a Integração Objetos/Regras

59 59 Referências Masini et al - Object Oriented Languages (Cap 9) Proceedings of the OOPSLA’94 - workshop on Embedded Object- Oriented Production Systems Pachet F. - On the embeddability of production rules in object- oriented languages - Journal of Object-Oriented Programming, vol 8, No. 4 Jennings, Sycara & Wooldridge (1998), Roadmap on Agents Research and Development. Autonomous Agents and Amulti-Agent Systems, 1 Figueira Filho, C. & Ramalho, G. (2000). Jeops – the java Embedded Object Production System. IBERAMIA-SBIA 2000. LNAI 1952, Berlin: Springer-Verlag Albuquerque, R., Guedes, P., Figueira Filho, C., Robin, J. & Ramalho, G. (2002) Embedding J2ME-based Inference Engine in Handheld Devices: The KEOPS Study Case. In Proceedings of 1st Workshop on Ubiquitous Agents on Embedded, Wearable, and Mobile Devices. In AAMAS’02, Bologna.