FIPA-ACL ontologyprofessor.unisinos.br/jcgluz/disciplina-aose/apres-acl.pdf · 2011-08-15 · A...

Linguagens de Comunicação entre Agentes

FIPA-ACL

KQML

Eng. Software Orientada a Agentes - João Carlos Gluz - 2007

ontology

KIF

SL0

speech act

protocol

1

Linguagens de Comunicação entre Agentes:

Fundamentos, Padrões e Perspectivas

João Carlos Gluz – [email protected]

Pós-Graduação em Computação Aplicada - UNISINOSEngenharia de Software Orentada a Agentes


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

2

Temas da apresentação- Introdução

- Fundamentos• Teoria dos Atos da Fala de Searle & Austin• Teoria da Intenção de Bratman• Teoria Formal da Ação de Cohen & Levesque• Formalização de Linguagens de Comunicação

- Padronização• A Iniciativa KSE e Linguagem KQML • Os Padrões FIPA

- Perspectivas• Desenvolvimento de Aplicações• Pesquisa


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

3

Introdução

Uma Linguagem Artificial para Comunicação entre Agentes (apenas ACL, em inglês) é um formalismo usado para codificar as mensagens trocadas entre os agentes de um SistemaMultiagente (SMA)

Uma ACL padronizada tem sua sintaxe e semântica:• definidas publicamente,• definidas de forma independente de implementações concretas de SMA e

• definidas de forma independente da arquitetura e ambiente computacional onde o SMA está inserido.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

4

Fundamentos:

A Teoria dos Atos da Fala


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

5

Teoria dos Atos da FalaA teoria linguística por trás das ACLs é a Teoria dos Atos da Fala de Searle (e Austin)

Segundo Searle (e Austin) toda a comunicação entre agentes inteligentes seria mediada através de atos da fala

Tipos de Atos da FalaOs atos da fala são divididos em três tipos distintos:

Ato Locucionário: Ato de enunciação (verbalização) de uma mensagem.

Ato Ilocucionário: Significado pretendido para esta mensagem.

Ato Perlocucionário: Efeito que se pretende obter com a enunciação do ato.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

6

Atos IlocucionáriosOs atos ilocucionários são os atos analisados por Searle em sua Teoria dos Atos da Fala. Eles são simbolizados por:

F(p)Onde F é a força ilocucionária do ato e p uma proposição

Tipos de Atos IlocucionáriosSegundo Searle os atos ilocucionários podem ser classificados em 5 tipos distintos, de acordo com sua força:

• Atos Assertivos (asserções)• Atos Diretivos (diretivas)• Atos “Comissivos” (promessas ou comprometimentos)• Atos Expressivos (agradecimentos, congratulações, ...)• Atos Declarativos (declarações)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

7

Significado dos Atos Ilocucionários

Searle define a semântica dos atos ilocucionáriosatravés de noções intuitivas sobre o que um agente:

• acredita (Beliefs),• necessita ou quer (Wants) e • pretende (Intends).

Em função destes possíveis estados mentais, Searle caracterizado os atos de fala por 5 condições:

• Condição de Conteúdo Proposicional• Condições Preparatórias (2)• Condição de Sinceridade• Condição Essencial


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

8

Semântica de um Ato Diretivo

Condição de Conteúdo Proposicional:A proposição está enunciando uma ação futura A do ouvinte O.Condições Preparatórias (são 2):1. O ouvinte O está em condições de realizar a ação A. Além disso o falante F acredita que O esteja em condições de realizar A.2. Não é obvio nem para F nem para O que o ouvinte O irá realizar, no decurso normal dos acontecimentos, a ação A por vontade própria.

Condição de Sinceridade:O falante F realmente quer que o ouvinte O faça a ação A (i.e. F não está mentindo sobre seu pedido ou ordem).

Condição Essencial:Vale como uma tentativa de conseguir que o ouvinte O faça a ação A (i.e.vale como tentar obter o efeito perlocucional de que O faça (execute) A).


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

9

Fundamentos:

A Teoria da Intenção deBratman


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

10

Teoria da Intenção de Bratman

O significado do atos da fala de Searle é dado através de alterações causadas nos estados mentais de um agente.

Porém Searle usa noções intuitivas simplificadas sobre o que é o “estado mental” de um agente.

A Teoria da Intenção de Bratman apresenta uma análise mais aprofundada sobre a conceituação deste estados, em particular do conceito de intencionalidade.

Intenções

Segundo Bratman temos que ter intenções voltadas ao futuro e nos planejar para atender estas intenções, porque somos agentes limitados.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

11

Crenças x IntençõesIntenções seriam pró-atitudes controladoras da conduta do agente: forçariam a realização de ações concretas e planejamentos e teriam uma persistência razoável.

Crenças seriam apenas atitudes (estados mentais) potencialmente influenciadoras desta conduta (também se diz que são atitudes informacionais).

Papeis Funcionais da Intencionalidade(a) Criadora de novos problemas a serem resolvidos por raciocínio prático

(b) Critério de admissibilidade na escolha de intenções ou opções a serem usadas

(c) Condutora efetiva da execução das ações que já foram decididas (motivadora direta destas ações)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

12

Conflitos do Cenário Complexo

Um cenário complexo envolve um compromisso complexo (package deal) que coloca em conflito o princípio da intenção como uma escolha real com os papeis funcionais:

Não se pode assumir que ao se tomar uma decisão envolvendo um compromisso complexo, possa se afirmar que se irá assumir todas as conseqüênciasconhecidas deste compromisso como intenções a serem realmente perseguidas como tal.

Bratman não vai muito mais além, exceto por afirmar que é o princípio da intenção como escolha real que parece estar “errado” e que deveria ser reformulado.

Na prática a continuação do raciocínio acima é feita por Cohen&Levesque em seu trabalho sobre a Teoria Formal da Ação Racional.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

13

Fundamentos:

A Teoria da Ação Racional de Cohen & Levesque


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

14

Teoria da Ação Racional de Cohen & Levesque

A Teoria (Formal) da Ação Racional de C&L podeser considerada uma extensão, detalhamentoe formalização da Teoria da Intenção de Bratman.

Comprometimento

Uma noção importante definida no trabalho de C&Lé a noção de comprometimento que, juntamente, com a noção de decisão (escolha) irá redefinir o conceito de intenção e resolver o conflito da teoria de Bratman.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

15

Formalização da Ação RacionalC&L criaram uma lógica modal baseada numa semântica de mundos-possíveis.

Os mundos-possíveis são estruturados de forma a dar significado aos predicados e ações (eventos).

Estes mundos também são indexados de forma a definirsequências temporais que possam estabelecer relações de ordenamento temporais entre eventos e ações.

As seguintes relações de acessibilidade são definidas entre os mundos:

B para modelar as crenças possíveis eG para modelar os objetivos


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

16

Sintaxe da Lógica de C&LOperadores modais:

(BEL x p) o agente x acredita em p(GOAL x p) o agente x tem p como objetivo

Operadores sobre a relação temporal:(HAPPENS a) a ação a acontecerá logo a seguir(DONE a) a ação a já ocorreu pouco antes(BEFORE p q) p foi válido antes de q(LATER p) mais tarde p será válido

Expressões de ações: a;a ações sequenciaisa|a escolha não-determinística de açãop? expressão de testea* ação iterativa


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

17

CompromentimentoO predicado (P-GOAL x p) define o objetivo p como persistente afirmando que p somente será abandonado se o agente xchegar a um mundo possível onde acredite p é verdadeiro ou que p é impossível

Intenção Imediata de Executar uma Ação(INTEND1 x a) =def

(P-GOAL x [DONE x (BEL x (HAPPENS a))?;a])

Intenção como Objetivo a ser Atingido(INTEND2 x p) =def

(P-GOAL x ∃e (DONE x [(BEL x ∃e’ (HAPPENS x e’;p?)) ∧~(GOAL x ~(HAPPENS x e;p?))]?;e;p?))

A intenção deve ser atingida através de uma sequencia de eventos (ações) e dentro de um plano e’


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

18

Fundamentos:

Formalização de Linguagens de Comunicação


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

19

Abordagem de C&LSegundo C&L existem duas condições para que a comunicação entre agentes seja possível:

Os agentes devem ser sinceros:(SINCERE x y p) o agente x é sincero ao agente y

em relação a proposição p

Os agentes devem estar dispostos a ajudar:(HELPFUL x y) o agente x está disposto a ajudar y

Resultado da ComunicaçãoO resultado da comunicação será uma crença mútua compartilhada entre ambos agentes (uma BMB ouBelief in Mutual Belief):

(BMB x y p) =def

∀n (BEL1 x (BEL2 y (BEL3 x ... (BELn x p )...)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

20

Formalizando o Ato de RequisiçãoO efeito desejado para um ato comunicativo de requisição seria:

(BMB addr spkr (GOAL spkr ◊(DONE addr a))).

Para tanto a expressão formal de um ato de requisição seria definida por uma tentativa de fazer o agente spkr executar a ação a:

{REQUEST spkr addr e a} =def

{ATTEMPT spkr e ΦΦΦΦ (BMB addr spkr (GOAL spkr ΦΦΦΦ))}

onde ΦΦΦΦ é uma condição que afirma:que a ação a eventualmente será feita e que o agente addr passará a ter a intenção de executá-la

{ATTEMPT x a p q} define a noção de ação tentativa: o agente xirá executar a ação a, obtendo um efeito concreto p, mas esperandoatingir a condição q.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

21

Abordagem de Sadek para Formalizar ACLsSadek é um pesquisador francês que definiu um modelo semântico para ACLs muito similar ao elaborado por C&L.

Lógica de SadekSadek também define uma lógica modal S5 fraca com semântica de mundos-possíveis. Esta lógica define 3 operadores modais básicos:

B para crenças, C para escolhas (ou objetivos) e U para incerteza.

De forma similar a C&L, comprometimentos (objetivos persistentes) e intenções são definidos sobre os operadores modais básicos através da criação dos operadores PG, I1 e I2


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

22

Lógica de Sadek x Lógica de C&LOs operadores B, C, PR, I1 e I2 são equivalentes, respectivamente, aos operadores BEL, GOAL, P-GOAL, INTEND1 e INTEND2 de C&L.

Porém, diferente de C&L a lógica de Sadek:

• Trata a incerteza através do operador U (unknown)• Se restringe apenas a formalizar ACLs.• Trata de questões referenciais (quem, qual, ... ou

wh-questions) através do quantizador referencial iota (ι)

A Formalização de SadekA semântica formal dos atos comunicativos é definida em termos de duas condições lógicas:

FP (Feasability Precondition) Condição de viabilidade do ato(similar as condições preparatórias de Searle).

RE (Rational Effect) Efeito racional pretendido para o ato (similar ao efeito perlocucionário).


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

23

Padronização:

A Linguagem KQML


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

24

A Iniciativa KSEKSE (Knowledge Sharing Effort) foi uma iniciativa da agência DARPA, que começou em 1990, que deveria padronizar:

(1) Mecanismos de tradução de KBs (knowledge bases) representadas em diferentes linguagens.

(2) Linguagens e mecanismos de inferência para a representação de conhecimentos.

(3) Protocolos e linguagens de comunicação para a troca de conhecimentos entre sistemas baseados em conhecimentos

(4) Ontologias (i.e. KBs) padronizadas para domínios comuns.

A Linguagem KQMLA linguagem KQML (Knowledge Query and Manipulation Language) foi a linguagem proposta pelo grupo (3) da KSE como linguagem de comunicação padrão para a troca de conhecimentos entre sistemas baseados em conhecimentos (ou agentes inteligentes).


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

25

Mensagens e Atos Performativos de KQMLOs conhecimentos são transportados atravésde mensagens.

Cada mensagem transporta um ato performativo deKQML, seguido de possíveis parâmetros:(<performativo> {:<parâmetro> <expressão>}*)

A especificação de KQML de 1993 define uma semântica operacional informal destes atos, através da manipulação de uma Base de Conhecimentos Virtual (VKB)

KQML define mais de 20 distintos atos performativos, mas os dois atos mais básicos são:

ASK para consultas à VKBTELL para manipulação (alteração) da VKB


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

26

Padronização:

Os Padrões da FIPA


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

27

A Fundação FIPAA FIPA (Foundation for Intelligent Physical Agents) é uma fundação internacional sem fins lucrativos, voltada exclusivamente para a criação de padrões concretos de comunicação que tornem possível a implementação de agentes abertos e interoperáveis (www.fipa.org).

Ela foi formada em 1996, pela junção dos esforços de diversas empresas, universidades e centros de pesquisa com atividades neste campo de pesquisa.

Incluindo importantes empresas fabricantes de equipamentos e operadoras de telecomunicações como: Alcatel, British Telecom, France Telecom, Deutsche Telecom, Hitachi, NEC, NHK, NTT, Nortel, Siemens e Telia


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

28

Histórico dos Padrões FIPAOs conjuntos de documentos definindo os padrões FIPA são classificados em “anos de lançamento”.

O padrão atual foi lançado em 2000 (FIPA-2000). Os padrão FIPA-97 e FIPA-98 foram abandonados.

Em dezembro de 2002, 23 especificações em fase experimental foram tornadas padrão.

Ciclo de Vida de uma Especificação FIPAAs especificações FIPA possuem um ciclo de vida, podendo estar em 5 fases distintas:

Preliminar, Experimental, Padrão, Obsoleta e em fase de Abandono (Deprecated).


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

29

O Padrão FIPA-2000

O padrão FIPA-2000 é composto de mais de 40 documentos distintos, sem incluir especificações obsoletos ou sendo abandonados.

Áreas do Padrão FIPA-2000

As especificações doFIPA-2000 foram agrupadas em 11 áreas distintas:

Comunicação

Atos Comunicativos

Protocolosde Interação

Linguagens de Conteúdo

Aplicações

Arquitetura Abstrata

Gerenciamento Transporte

Representaçãode ACLs

RepresentaçõesEnvelope

Protocolosde Transporte


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

30

Exemplos de Aplicações de Sistemas MultiagenteXC00014 FIPA Nomadic Application Support Specification

Especificação das características dos agentes “nômades” FIPA

XC00079 FIPA Agent Software Integration SpecificationDefinição de como integrar software “não-agentificado” a umaplataforma de agentes FIPA

XC00080 FIPA Personal Travel Assistance SpecificationXC00083 FIPA Personal Assistant Specification

Aplicações exemplo: agentes assistentes pessoais

XC00081 FIPA Audio-Visual Entertainment and Broadcasting Spec. Aplicação exemplo: agentes audio-visuais

XC00082 FIPA Network Management and Provisioning SpecAplicação exemplo: SMA FIPA para gerenciamento de redes

PC00092 FIPA Message Buffering Service SpecificationEspecificação de um serviço de bufferização de mensagens


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

31

Arquitetura Abstrata para Sistemas MultiagenteXC00001 FIPA Abstract Architecture Specification

Define a arquitetura genérica mínima de um agente e de sua plataforma. Apresenta uma arquitetura orientada a objetos.

PC00089 FIPA Domains andPolicies Specification

Define quais políticas de acesso poderiam ser adotadas por um SMA compatível com a FIPA.

XC00023 FIPA Agent Management SpecificationDefine como devem ser gerenciados os agentes numa plataforma FIPA.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

32

Comunicação entre Agentes: FIPA-ACLXC00061 FIPA ACL Message Structure Specification

Define a estrutura abstrata de uma mensagem FIPA-ACL. Uma mensagem (ou ato comunicativo) FIPA tem o seguinte formato:

(<ato-comunicativo> {:<slot> <expressão>}*)

O slots podem ser::sender Identificador do emissor do performativo:receiver Identificador do receptor do performativo:content O conteúdo da mensagem):reply-with Identificador (opcional) de diálogo ou sessão:in-reply-to O identificador esperado para a resposta:reply-to Permite redirecionar respostas para outro agente que não o

emissor original. :reply-by Data e hora aceitáveis para a recepção da resposta:language Nome da linguagem de representação usado no conteúdo :encoding Codificação usada para representar o conteúdo:ontology Nome da ontologia usada pelo conteúdo:protocol Protocolo esta governando a interação em curso:conversation-id Identificador do diálogo (conversação) em curso:<nome> Qualquer slot não-padrão definido pelo usuário


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

33

Atos Comunicativos de FIPA-ACL

XC00037 FIPA Communicative Act Library Specification

Define a biblioteca padrão de atos comunicativos de FIPA-ACL.A linguagem FIPA-ACL possui 4 atos comunicativos primitivos:

confirm disconfirminform request

e 18 macro-atos compostos:cancel failureinform-if inform-refnot-understood query-ifquery-ref refusereject-proposal request-whenrequest-whenever accept-proposalcfp (call for proposal) agreepropagate proposeproxy subscribe


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

34

Linguagens de ConteúdoXC00008 FIPA SL Content Language SpecificationEspecificação da linguagem SL (Semantic Language). Linguagem de conteúdo original do sistema ARTIMIS/ARCOLUsada para formalizar FIPA-ACL

XC00009 FIPA CCL Content Language SpecificationEspecificação da linguagem CCL (Constraint Choice Language) baseada no conceito de equações de restrição (constraints)

XC00010 FIPA KIF Content Language SpecificationEspecificação da linguagem KIF, usada em KQML

XC00011 FIPA RDF Content Language SpecificationEspecificação de como o formato RDF (Resource Description Framework), definida pelo consórcio W3C, pode ser usada como linguagem de conteúdo de FIPA-ACL


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

35

Gerenciamento de Ontologias Estilo FIPA


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

36

Protocolos de Interação básicosXC00025 FIPA Interaction

Protocol Library Spec.

Define o subconjunto de AUML usado p/especificar protocolos de interação FIPA

XC00026 FIPA Request Interaction Protocol Spec.

XC00027 FIPA Query Interaction Protocol Spec.

XC00028 FIPA Request When Interaction Protocol Spec.

XC00036 FIPA Propose Interaction Protocol Spec.

Protocolos de Interação que governam a interação dos atos request, query, request-when e propose


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

37

Protocolos para Redes Contratuais

XC00029 FIPA Contract Net Interaction Protocol SpecificationXC00030 FIPA Iterated Contract Net Interaction Protocol SpecificationProtocolos que regulam negociações baseadas em rede contratual. São usados os atos comunicativos: cfp, accept-proposal e reject-proposal

Protocolos para Leilões

XC00031 FIPA English Auction Interaction Protocol SpecificationXC00032 FIPA Dutch Auction Interaction Protocol SpecificationProtocolos que regulam negociações baseadas em leilões. Também são usados os atos cfp, accept-proposal e reject-proposal exceto que um ato inform prévio informa que será feito um leilão (e o tipo do leilão)

Protocolos para Information Brokering

XC00033 FIPA Brokering Interaction Protocol SpecificationXC00034 FIPA Recruiting Interaction Protocol SpecificationProtocolos que regulam a busca de informações através de agentes procuradores (proxy). Usam principalmente o ato proxy.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

38

Serviço de Transporte de MensagensXC00067 FIPA Agent Message Transport Service SpecificationPC00093 FIPA Messaging Interoperability Service Specification

Especificação da arquitetura e características do Sistema de Transporte de Mensagens (MTS) da FIPA.

Define como o canal de comunicação entre agentes (ACC) deve ser usado.

Define os termos e mensagens (ontologia) usados para controlar este canal.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

39

Formatos de Representação de Mensagens FIPA-ACL

XC00069 FIPA ACL Message Representation in Bit-Efficient Spec. XC00070 FIPA ACL Message Representation in String Specification XC00071 FIPA ACL Message Representation in XML Specification Especificação dos formatos de representação que podem ser usados naserialização das mensagens FIPA-ACL. Especifica, respectivamente, os formatos:

binário (bit-efficient), texto ASCII e codificado em XML

Formatos de Representação do Envelope de Transporte

XC00085 FIPA Agent Message Transport Envelope Repres. in XML Spec. XC00088 FIPA Agent Message Transp. Envel. Repres. in Bit Efficient Spec.Formatos de representação que podem ser usados na serialização dosenvelopes usados no transporte de mensagens FIPA.São definidos, respectivamente, o formato baseado em XML e o formato binário.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

40

Protocolos de Transporte:

XC00075 FIPA Agent Message Transport Protocol for IIOP SpecificationEspecificação de como deve ser feito o transporte de mensagens FIPA-ACL através do protocolo de transporte IIOP (Internet Inter-Orb Protocol), usado pelo padrão CORBA de intercâmbio de informações.

XC00076 FIPA Agent Message Transport Protocol for WAP SpecificationEspecificação do transporte de mensagens FIPA-ACL através do protocolopara aplicações em telefonia celular WAP (Wireless Application Protocol)

XC00084 FIPA Agent Message Transport Protocol for HTTP Spec.Especificação do transporte de mensagens FIPA-ACL através do protocolode aplicação que suporta a WEB, o HTTP (Hiper-Text Transpor Protocol)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

41

Plataformas de Implementação de Agentes FIPA

FIPA-OS Plataforma desenvolvida pela Nortel Inc.Primeira plataforma operacional FIPA.Totalmente conforme ao padrão FIPA.Baseada em JAVA.Agentes são especializações da classe task.Código fonte aberto, licença pública Nortel.

JADE Plataforma desenvolvida pelo CSELT (centroitaliano de pesquisa em telecomunicações). Totalmente conforme ao padrão FIPA.Baseada em JAVA.Agentes são especializações da classebehaviour.Código fonte aberto, licença GNU Lesser.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

42

Plataformas de Implementação de Agentes FIPA

ZEUS Plataforma open-source da British Telecom. Totalmente conforme ao padrão FIPA.Baseada em JAVA.Ambiente gráfico para criação de agentes.Código fonte aberto, licença Zeus OS BT.

JACK Plataforma comercial desenvolvida pela AOS. Parcialmente conforme ao padrão FIPA.Baseada em JAVA. Linguagem proprietária para programação de

agentes, baseada em BDI.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

43

Padronização FIPA

Exemplos de Uso e

Linguagens deConteúdo


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

44

Exemplos de FIPA-ACL

O agente i solicita ao agente j executar um comando VB(abrir o arquivo “db.txt” para leitura):

(request:sender (agent-identifier :name i):receiver (agent-identifier :name j):content

"open \"db.txt\" for input":language visual-basic)

O agente i informa, em Prolog, ao agente j que (é verdade que) está chovendo hoje:(inform

:sender (agent-identifier :name i):receiver (set (agent-identifier :name j)):content

”weather (today, raining).":language Prolog)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

45

Mais Exemplos de FIPA-ACL

O Agente i faz uma requisiçação (consulta) ao agente j, querendo saber se Lannion fica na Normandia. Isto é implementado através de uma consulta Prolog:

(request:sender (agent-identifier :name i):receiver (set (agent-identifier :name j)):content

”?- in( lannion, normandy).":language Prolog)

A resposta do agente i para a requisição (consulta):

(inform:sender (agent-identifier :name j):receiver (set (agent-identifier :name i)):content

”\+ in(lannion, normandy).":language Prolog)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

46

A Linguagem e o Modelo SL

A semântica formal de FIPA-ACL é especificada através da linguagem SL (Semantic Language)

A linguagem SL é um formalismo lógico, criado pelopesquisador francês Sadek, que pode ser usado para a representação de atitudes (estados) mentais e ações.

Este formalismo é muito similar àquele desenvolvido por Cohen&Levesque em sua Teoria da Ação Racional.

SL é essencialmente uma lógica modal, baseada numa semântica de mundos possíveis, que pode ser usada para representar crenças, desejos, incertezas e intenções de um agente, bem como expressar os atos e ações deste agente.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

47

As Linguagens de Conteúdo SL, SL0, SL1 e SL2

A linguagem SL também pode ser usada como linguagem lógica para representar os conteúdos deuma mensagem FIPA-ACL (FIPA0008).

Neste caso é usada uma sintaxe, similar a de LISP, mais apropriada para uso em computador.

A linguagem de conteúdo SL é idêntica ao formalismoSL, exceto pela sintaxe LISP-like.

Entretanto como nem todas as aplicações e agentesnecessitam do poder de expressividade de uma lógica de predicados modal, foram definidossubconjuntos de SL mais simples: SL0, SL1 e SL2.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

48

Exemplos de FIPA-ACL / SLO Agente i quer saber quais serviços de reserva o agente j disponibiliza:

(query-ref:sender (agent-identifier :name i):receiver (agent-identifier :name j):content

((all ?x (available-service j ?x))):language FIPA-SL:ontology travel-reservations-ontology)

O agente j responde que faz reservas de passagens para viagens detrem e avião e pode também reservar (alugar) automóveis:

(inform:sender (agent-identifier :name j):receiver (agent-identifier :name i):content ((= (all ?x (available-service j ?x))

(set (reserve-ticket train)(reserve-ticket plane)(reserve automobile)))

:language FIPA-SL:ontology travel-reservations-ontology)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

49

A Linguagem FIPA SL0A linguagem SL0 é o menor subconjunto de SL que pode ser usado como linguagem de conteúdo. SL0 permite representar:

• Ações (ou comandos)• Resultados de computações e cálculos• Finalizações de ações • Proposições binárias simples

A Linguagem FIPA SL1A linguagem SL1 estende SL0 incorporando os conetivos lógicosand, or e not e permitindo a formação de expressões booleanas

A Linguagem FIPA SL2A linguagem SL2 é um subconjunto de SL que permite predicados de primeira ordem e operadores lógicos modais, mas incorpora restrições que asseguram a decidibilidade de suas fórmulas.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

50

Perspectivas:

Tendência de Pesquisa


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

51

Novos Modelos Semânticos para ACLsOs trabalhos de fundamentação teórica das ACLs durante a década de 90, levaram à utilização de modelos mentalistas (BDI), centrados no conceito de agência individual, para dar significado as construções destas linguagens.

Questões em aberto nesta abordagem:

• Existem limitações importantes no uso do modelo mental de agência individual (modelo BDI) para compreensão de interações sociais mais complexas

• Os problemas de computabilidade associados às Lógicas Modais, tornam muito difíceis as tarefas de verificação (automatizada) de compatibilidade entre a especificação formal de um protocolo ou linguagem e sua implementação concreta.


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

52

Modelos Sociais para ACLsAlgumas pesquisas que tentam resolver as limitações do modelo de agência individual na compreensão de interações sociaisatravésdo uso de conceitos derivadas das ciências sociais:

• Análise dos efeitos da noção de confiança (trustfullness) no estabelecimento de relações sociais entre os agentes (Castelfranchi e Falconi)

• Formação de compromissos sociais a partir da adaptação de objetivos e intenções que agentes racionais e colaborativos tem que fazer para trabalhar em grupo (Grosz, Kraus, Sullivan e Das)

• Definição e uso das noções de instituição e atos institucionais na análise e semântica dos atos da fala (Colombetti e Verdicchio)

• Definição e uso de uma Lógica Modal de Habilidades, Crenças e Confiança (confidence) para modelar o comportamento e a interação entre agentes (Fischer e Gidini)

• Semântica de atos da fala através de uma Lógica da Intenção com Princípios de Cooperação (Herzig e Longin)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

53

Verificação da Semântica de ACLsAlgumas pesquisas sobre a questão de verificação de compatibilidade entre especificações e implementações de ACLs:

• Uso de Semântica Denotacional para os eventos observáveis associados aos atos comunicativos e protocolos de interação (Guerin e Pitt)

• Novos métodos operacionais para a definição de ACLsbaseadas na noção de comprometimento (Fornara eCollombetti)

• Semântica de atos da fala através de métodos de inferênciaabdutivos (Dragoni, Giorgini e Serafini)


FIPA-ACL

KQML


ontology

KIF

SL0

speech act

protocol

54

Pesquisa em Protocolos de InteraçãoLinha de pesquisa que estuda a interação social entre agentes doponto de vista de protocolos (formais) de comunicação, interação e negociação (extensão das pesquisas sobre verificação formal).

• Mapeamento das especificações AUML dos protocolos de interação FIPA para Redes de Petri Coloridas (CPN) (Mazouzi, Fallah e Haddad)

• Formalização dos protocolos de interação através de do Cálculo de Eventos de Kowalski e Sergot (Yolum e Singh)

• Formalização dos protocolos de interação através de uma Semântica Intencional para as especificações AUML (Pitt,Kamara e Artikis)

• Uso de diagramas de landmarks e de primitivas de ações conjuntas da Joint Action Theory, para a formalização de famílias de protocolos de interação (Kumar, Huber e Cohen)

FIPA-ACL ontologyprofessor.unisinos.br/jcgluz/disciplina-aose/apres-acl.pdf · 2011-08-15 · A...

Documents

Transcript of FIPA-ACL ontologyprofessor.unisinos.br/jcgluz/disciplina-aose/apres-acl.pdf · 2011-08-15 · A...