Linguagem Orientada a Agentes Allan Lima, Bruno Edson, Nancy Lyra

Roteiro Motivação Objetivo Escopo Pré-requisitos –Threads Estado atual –BNF –Parser –Linguagem

Motivação Linguagem OO + Thread class Agent extends Thread{ Personalidade personalidade; Objetivos[] objetivos;... run(){ } Motor de Inferência Fatos iniciais Base de Conhecimento (Regras + Fatos)

Objetivo Dar suporte nativo para criação de agentes dentro da linguagem –Estender a LOO1 adicionando o tipo nativo chamado agente “Agente” agora passa a ser um tipo da linguagem

Escopo (!!) Agente terá regras dentro dele e não mais em uma base externa Agente Pessoa { init{ FamiliaBase::inserir(objetivo) } run(){ } Base de Regras baseDeRegras FamiliaBase { regra encontraAncestrais { declaracoes Pessoa p; Objetivo o; decLocal Pessoa pai = p.getPai(); Pessoa mae = p.getMae(); condicoes o.isAtivo(); p == o.getAlvo(); acoes o.desativar(); write(pai.getNome() ++ " e " ++ mae.getNome() ++ "sao ancestrais"); }

Pré- Requisitos A linguagem ser capaz de inicializar uma thread Estender LOO1 para dar suporte a Thread Todo método cuja assinatura é: run() Inicializa a Thread

Estado Atual BNF final consolidada Programa ::= "{" DecElementos ";" Comando "}" DecElementos ::= DecClasse | DecAgente | DecElementos ";" DecElementos

Estado Atual DecClasse ::= "classe" Id "{" DecVariavel ";" DecProcedimento "}" DecAgente ::= "agente" Id "{" Inicializacao ";" DecBasesDeRegras "}" Inicializacao ::= "init {" ListaComandoAgente "}" ListaComandoAgente = ComandoAgente | ComandoAgente ";" ListaComandoAgente ComandoAgente ::= Id "::" ComandoBaseRegras ComandoBaseRegras ::= "inserir" "(" ListaExpressao ")" | "remover" "(" ListaExpressao ")" | "atualizar" "(" ListaExpressao ")"

Estado Atual DecBasesDeRegras ::= baseDeRegras Id "{" DecRegra "}“ | DecBasesDeRegras ";" DecBasesDeRegras DecRegra ::= "regra" Id "{" CorpoRegra "}" | DecRegra ";" DecRegra CorpoRegra ::= Declaracoes DecLocal Condicoes Acoes Declaracoes ::= "declaracoes" DecVariavel DecLocal ::= "declLocal" DecVariavel Condicoes ::= "condicoes" Expressao Condicoes ::= "acoes"

Estado Atual Parser em andamento (adaptação ao javaCC) –Retirando ambigüidades –Refactoring de LOO1 e adição de novas classes pra refletir a BNF Identificação e Correção de bugs em LOO1 –Variavel this não declarada –Empilhamento em um único nível Avaliação sobre reutilização do JEOPS (algoritmo de unificação)