Università degli studi di Modena e Reggio Emilia Terzo Incontro MIUR Agenti Software e commercio...

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a

Terzo Incontro MIUR Agenti Software e commercio elettronico – Bologna 31/10/2002

Outline

• Fase 1: obiettivi e risultati conseguiti

• Fase 2: obiettivi e risultati conseguiti

• Fase 3: obiettivi e risultati attesi

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 1 - Obiettivi

• Durata 4 mesi: dal 12 Novembre 2001 al 12 Marzo 2002

• Obiettivi: rapporto tecnico dal titolo Sistemi ad agenti mediatori per il commercio elettronico: studio comparato, che fornisca (vedi modello B presentato):

– una analisi dei sistemi multi-agente che intervengono nei processi del commercio elettronico secondo il modello Consumer Buying Behaviour;

– una panoramica su “Infrastrutture, linguaggi e protocolli” sviluppati nell’ambito delle iniziative KSE (KQML e KIF) e FIPA (FIPA ACL)

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 1 – Risultatisezione Contributi Modena

Rapporto Tecnico:1. Studio.pdf: analisi dei sistemi multi-agente nei

processi del commercio elettronico

2. CommercioElettronico.pdf: definizione di commercio elettronico e traiettorie tecnologiche emergenti

3. Linguaggi.pdf: linguaggi e protocolli sviluppati da KSE e FIPA

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 2 Obiettivi

• Durata 8 mesi: dal 12 Marzo al 12 Novembre2002• Obiettivi: rapporto tecnico Specifica della

architettura funzionale di un sistema ad agenti per il commercio elettronico: – quadro metodologico per l’integrazione di dati

nell’ambito del commercio elettronico sfruttando la tecnologia dei sistemi ad agenti mediatori

– specifica funzionale/architetturale di un prototipo che implementa tale metodologia

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 2 - Risultati (1)sezione Contributi Modena

• D. Beneventano, S. Bergamaschi, G. Gelati, F. Guerra, e M. Vincini, “MIKS: an agent framework supporting information access and integration” in (ed.) Klusch, Bergamaschi, Edwards, Petta, Intelligent Information Agents Research and Development in Europe: An AgentLink Perspective, Springer

• S. Bergamaschi, F. Guerra, M. Vincini, "Product Classification Integration for E-Commerce", Second International Workshop on Electronic Business Hubs - WEBH 2002 in conjunction with DEXA 2002, September 2-6 2002, Aix En Provence, France

• S. Bergamaschi, F. Guerra, M. Vincini, “A Data Integration Framework for E-commerce product classification”, 1st International Semantic Web Conference (ISWC2002), Sardegna, Italy, 9-12 June 2002

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 2 – Risultati (2)sezione Contributi Modena

• I. Benetti, S. Bergamaschi, E. Scarso, "Managing knowledge through electronic commerce applications: a framework for integrating information coming from heterogeneous web sources", International Journal of Electronic Business - in corso di pubblicazione

• I. Benetti, D. Beneventano, S. Bergamaschi, F. Guerra, M. Vincini, "An Information Integration Framework for E-Commerce", IEEE Intelligent Systems Magazine, January/February 2002 .

• Beneventano, Bergamaschi, Gelati, Guerra, Vincini, An agent framework for supporting the MIKS integration process, Proceedings of WOA 2002, in corso di pubblicazione

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 3 - Obiettivi

• Durata 8 mesi: dal 12 Novembre 2002 al 12 Agosto 2003

• Obiettivi:– completamento della metodologia definita durante la

FASE 2 con l'introduzione di regole giuridiche nei sistemi ad agenti mediatori per il commercio elettronico

– sviluppo del prototipo che realizzi le funzioni enucleate dai risultati scientifici prodotti nella fase precedente.Particolare cura deve essere dedicata alla realizzazione modulare del prototipo, al fine di preservare la coerenza e l'integrabilità complessiva.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Fase 3 - Risultati attesi

• Prodotti: – Metodologia per l'introduzione di regole

giuridiche nei sistemi ad agenti mediatori per il commercio elettronico

– Un'infrastruttura ad agenti mediatori per il commercio elettronico.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


CE e interoperabilità

• Mondo virtuale popolato da sistemi-multi agente

• Sistemi multi-agente sviluppati/ mantenuti/ finanziati da diverse organizzazioni

• Eterogeneità

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Knowledge Sharing Effort

• Quattro working group:– Interlingua: linguaggio Knowledge Interchange

Format (KIF)– Knowledge Representation System

Specification– Shared Reusable Knowledge Base– External Interfaces: linguaggio Knowledge

Query and Manipulation Language

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


KQML

• linguaggio e insieme di protocolli che permettono agli agenti di identificare il programma con il quale si vuole interlocuire, chiamare o connettersi con tale programma e attivare uno scambio dati tra le due parti

• linguaggio indipendente dall'architettura particolare di un determinato sistema multi-agente

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


Nucleo di KQML

• L'insieme dei performative costituisce il nucleo del linguaggio

• L'insieme determina i tipi di interazione che si possono verificare comunicando con un agente che si esprima in KQML

• La funzione primaria dei performative e quella di identificare il protocollo da usare per consegnare il messaggio

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


KQML Esempio

(ask-one:content (PRICE Zeta?price):receiver market-server:language LPROLOG:ontology DAX-Price)

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


KIF

• KIF, un particolare linguaggio logico, e stato proposto come standard da essere utilizzato per descrivere gli oggetti in applicazioni informatiche (sistemi esperti, basi di dati, agenti intelligenti). stato inoltre espressamente

• progettato per servire da lingua mediatrice per la traduzione tra linguaggi diversi.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


KIF - Esempi

• { (salary k34 widgets 36000)• { (> (* (width chip1) (lenght chip1)) (*

(widthchip2) (length chip2) ) )

• >= (and (real-number ?x)(even-number ?n))(> (expt ?x ?n) 0))

• (interested Alpha '(salary, ?x, ?y, ?z))• (progn (fresh-line t)

(print "Hello!") (fresh-line t))

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


FIPA

• Il consorzio FIPA e’ stato fondato nel 1996 con il ne di definire e promuovere gli standard per gli agenti software e i sistemi multi-agente.

• Struttura:– un consiglio direttivo;– un consiglio tecnico: valuta i piani di lavoro e

monitora lo sviluppo delle specifiche;– comitati tecnici: responsabili dello sviluppo di

parti delle specifiche;– gruppi di lavori: dedicati alla progettazione di

applicazioni in campi specifici.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


FIPA SPECIFICHE

• applicativo: utilizzo sistemi multi-agente;• architettura astratta: aspetti progettuali;• comunicazione: linguaggi, protocolli di

interazione, atti linguistici e rappresentazione dei contenuti;

• gestione: controllo degli agenti in ambienti multi-piattaforma;

• trasporto: rappresentazione dei messaggi in sistemi distribuiti in rete, incluse le reti wireless.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


ATTI COMUNICATIVI

• I tipi di messaggio possibili tra i quali l'agente deve operare la scelta sono chiamati atti comunicativi. FIPA ACL definisce molteplici atti comunicativi.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


FIPA - ESEMPIO

(inform:sender (agent-identifier :name i):receiver (set (agent-identifier :name j)):content "weather (today, raining)":language Prolog)

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


FIPA - ESEMPIO

• Seguendo la caratterizzazione di inform, il mittente:– deve ritenere che la proposizione in oggetto sia

vera;– ha l'intenzione di fare in modo che il destinatario

arrivi a credere che la proposizione sia vera;– non crede che la verita’ della proposizione faccia

gia parte dei credi del destinatario.

• Dall'altre parte, il destinatario assume che:– il mittente creda nella verita della proposizione;– il mittente voglia portare il destinatario a credere

tale verita.

Un

iver

sità

deg

li st

ud

i di M

od

ena

e R

egg

io E

mili

a


FIPA - PROTOCOLLI

• protocollo di richiesta• protocollo di query• protocollo contract-net• protocollo d'asta inglese• protocollo d'asta olandese• protocollo di brokering• protocollo di assunzione• protocollo di proposta

Università degli studi di Modena e Reggio Emilia Terzo Incontro MIUR Agenti Software e commercio...

Documents

Transcript of Università degli studi di Modena e Reggio Emilia Terzo Incontro MIUR Agenti Software e commercio...