Os metamodelos de C&R e do ambiente abstraem elementos dos seus respectivos modelos utilizados no n´ıvel de implementa¸c˜ao. Baseado nesses dois componentes do metan´ıvel, o modelo de adapta¸c˜ao tem como fun¸c˜ao prover a capacidade de ajustar o modelo.
Figura 4.17: Modelo de adapta¸c˜ao proposto
O modelo de adapta¸c˜ao, mostrado na Figura 4.17, segue o modelo BDI apresentado na Se¸c˜ao 2.4. As cren¸cas representam fatos sobre o ambiente e sobre a C&R, como represen- tados pelos respectivos metamodelos. O C´odigo 4.1 apresenta trˆes exemplos de cren¸cas,
C´odigo 4.1: Exemplos de cren¸cas do modelo de adapta¸c˜ao
custoOperacional(10, hora). credibilidade(fonte, 0.75). tomadaDeDecisao(marsh_ct).
definidos na linguagem AgentSpeak. Essa linguagem, apresentada na Se¸c˜ao 2.4.2, ´e utili- zada nesta se¸c˜ao para especificar as cren¸cas, desejos e inten¸c˜oes utilizados no modelo. O primeiro exemplo ilustra um aspecto do ambiente, o custo operacional. O segundo exem- plifica um elemento do metamodelo de C&R, indicando a credibilidade de uma fonte de informa¸c˜ao. J´a o terceiro ilustra a configura¸c˜ao do componente de tomada de decis˜ao apre- sentado no metamodelo da confian¸ca, indicando o uso do limiar de coopera¸c˜ao definido no modelo de Marsh (marsh ct). O Apˆendice C apresenta uma rela¸c˜ao das cren¸cas derivadas do metamodelo de C&R.
Dois tipo de objetivos s˜ao definidos para expressar os desejos dos agentes: objetivos de monitoramento (GM) e objetivos de adapta¸c˜ao (GA). Os objetivos de monitoramento
est˜ao relacionados `a detec¸c˜ao de mudan¸cas que sinalizem a necessidade de ajustar o modelo de C&R em uso. Eles s˜ao definidos a partir das cren¸cas obtidas dos metamodelos e da aplica¸c˜ao. Um objetivo g ∈ GM, portanto, ´e definido pela Express˜ao 4.8, em que Env′ e m′
s˜ao um subconjunto dos aspectos ambientais e dos componentes do metamodelo de C&R referenciados na declara¸c˜ao do objetivo hdecli.
g = {Env′ ⊆ Env, m′ ⊆ mmeta, hdecli} (4.8)
C´odigo 4.2: Exemplos de objetivos de monitoramento do modelo de adapta¸c˜ao
?custoOperacionalAbaixoDe(0.5, utilidadeObtida). ?credibilidadeAcimaDe(reputacaoCertificada, 0.9). ?disponibilidadeMinima(parceiro, 0.25).
A declara¸c˜ao do objetivo hdecli depende da l´ogica utilizada pelo agente. No n´ıvel de implementa¸c˜ao, depende da plataforma do agente e do seu raciocinador. Exemplos de ob- jetivos de monitoramento definidos em AgentSpeak s˜ao apresentados no C´odigo 4.2. Na primeira linha, o agente testa se o custo operacional est´a abaixo de 50% da utilidade ob- tida no ´ultimo intervalo de tempo. Na segunda, o agente testa se a credibilidade de um determinado tipo de fonte de informa¸c˜ao (ex.: reputa¸c˜ao certificada) est´a acima de 90%. Em terceiro, ele verifica se um parceiro esteve dispon´ıvel em pelo menos 25% das oportuni- dades passadas. Quando uma dessas condi¸c˜oes falha, um evento de adapta¸c˜ao, definido na
Express˜ao 4.9 ´e gerado.
evt = {t, g ∈ GM, envt} (4.9)
O evento evt especifica o tempo (t) em que o evento ocorreu, o objetivo que o disparou (g ∈ GM) e as condi¸c˜oes do ambiente naquele momento (envt). M´ultiplos eventos podem
ser gerados em um dado intervalo de tempo. O Processo de Manipula¸c˜ao de Eventos (PME) ´e respons´avel por analisar a fila de eventos e definir os objetivos de adapta¸c˜ao. Isso inclui a elimina¸c˜ao de objetivos conflitantes e a fus˜ao de objetivos duplicados. Por exemplo, considere um objetivo g que monitore se o custo de comunica¸c˜ao est´a abaixo de uma certa porcentagem (ex.: 5%) da utilidade obtida no ´ultimo intervalo de tempo. Se esse custo cruzar o limite definido, um evento evt1 = {t1, g, envt1} ser´a gerado. Ent˜ao, o PME gera um objetivo candidato g′ para reduzir o custo de comunica¸c˜ao novamente abaixo do
limite definido. Suponha agora que um segundo evento evt2 = {t2, g, envt2} seja disparado posteriormente pelo mesmo objetivo ap´os outro aumento no custo de comunica¸c˜ao. Uma vez que o mesmo objetivo candidato ´e gerado, o PME pode unir os objetivos.
Dependendo da frequˆencia com que o PME seja executado, alguns objetivos podem ser alcan¸cados devido a pr´opria dinˆamica do ambiente. Nesse exemplo, se o custo de comunica- ¸c˜ao retornar para um n´ıvel abaixo do limite estabelecido, o objetivo g′ seria alcan¸cado sem
a necessidade de adapta¸c˜ao. Ap´os analisar os eventos pendentes, o PME define os objetivos de adapta¸c˜ao (GA) com os quais o agente ir´a se comprometer. Esses objetivos s˜ao definidos
de forma an´aloga `a Express˜ao 4.8.
Com os objetivos de adapta¸c˜ao definidos, o Processo de Sele¸c˜ao de Planos (PSP) avalia a biblioteca de planos de adapta¸c˜ao (P ). Um plano p ∈ P ´e definido pela Express˜ao 4.10, em que hprecondi especifica um conjunto de pr´e-condi¸c˜oes exigidas pelo plano, hcorpoi ´e a declara¸c˜ao do corpo do plano e a fun¸c˜ao f que avalia a utilidade do plano segundo a uni˜ao dos subconjuntos relevantes de cren¸cas relativas ao ambiente e `a C&R.
p = {hprecondi, hcorpoi, f : Env′∪ m′ →R} (4.10) Uma vez que mais de um plano pode ser adequado `a mesma situa¸c˜ao, o PSP constr´oi uma lista de planos candidatos (P′ ⊆ P ), que pode ser usada para alcan¸car esses objetivos.
No exemplo anterior, para alcan¸car o objetivo de reduzir o percentual do custo de comuni- ca¸c˜ao, um plano v´alido seria reduzir o n´umero de fontes utilizadas para obter informa¸c˜oes de reputa¸c˜ao. Outro plano seria a introdu¸c˜ao de uma vi´es para privilegiar agentes mais pr´oximos. Se mais de um plano candidato estiver dispon´ıvel, o PSP escolher´a o plano que tiver a maior estimativa de utilidade associada para o estado atual do sistema. O c´alculo dessa utilidade depende de uma estimativa pr´evia ou de um processo de aprendizagem do agente, descrito na Se¸c˜ao 4.7.
Por fim, o Processo de Execu¸c˜ao de Planos (PEP) implementa as adapta¸c˜oes no modelo concreto de C&R. O corpo do plano de adapta¸c˜ao pode ser dividido em duas partes: uma independente de modelo, que referencia apenas elementos do metamodelo de C&R, e uma espec´ıfica, que usa fun¸c˜oes e parˆametros do modelo concreto. Como resultado do PEP, o modelo adaptado ´e obtido e as cren¸cas relacionadas s˜ao atualizados por meio do metamodelo de C&R.