1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni [email protected]...
-
Upload
petronel-martini -
Category
Documents
-
view
215 -
download
3
Transcript of 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni [email protected]...
![Page 1: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/1.jpg)
1
Metodi formali per la progettazione di modelli di utente
Paolo [email protected]
Pictorial Computing LaboratoryDipartimento di Informatica
Seminari di Interazione Avanzata
![Page 2: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/2.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
2
Argomenti
• Utenti e Sistemi• Componenti della modellazione• Classificazione dell’utente• Modelli mentali• Coevoluzione di utenti e sistemi• Applicazione ai casi di studio
![Page 3: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/3.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
3
Utenti e sistemi
• User model• Modello utilizzato dal sistema per
caratterizzare l’utente corrente
• User’s model (o user mental model)• Modello cognitivo utilizzato / supposto
dall’utente
![Page 4: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/4.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
4
Architettura di riferimento
H. Bunt, M. Kipp, M. T. Maybury, W. Wahlster, FUSION AND COORDINATION FOR MULTIMODAL INTERACTIVE INFORMATION PRESENTATION. In Stock, O., Zancanaro, M. (eds.): Multimodal Intelligent Information Presentation. Kluwer, pp. 325-340
![Page 5: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/5.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
5
Definizioni dei comportamenti
• Basate sulle interazioni ammesse• Utente vincolato agire coerentemente
• Basate sui task• Ordini parziali
• Basate sui linguaggi• Trasformazioni dell’apparenza dell’interfaccia
• Modelli del dialogo• Grammatiche• Macchine a stati finiti• Strutture a eventi
![Page 6: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/6.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
6
Problema generale della modellazione dell’utente
• Comportamento umano non strettamente dettato da leggi logiche.
• Assunzione di comportamento razionale degli utenti:• obiettivi da realizzare• utilizzano conoscenza per raggiungerli
• Possibile genericità degli obiettivi• Creazione artistica, esplorazione di possibilità• Supporto all’handicap, sostegno ad attività quotidiane
![Page 7: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/7.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
7
Adattamento fra utenti e sistemi
• Adeguamento• L’utente adatta le proprie modalità di lavoro alle
caratteristiche del sistema
• Miglioramento / Coevoluzione• Diverse versioni del sistema vengono generate a seguito di
studi sull’utenza
• Adattabilità• L’utente modifica esplicitamente caratteristiche del sistema
interattivo
• Adattività• Il sistema modifica alcune proprie caratteristiche in base
all’osservazione delle azioni dell’utente
![Page 8: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/8.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
8
Modificabilità del sistema
• Modulazione del contenuto• Disponibilità di accesso alle azioni• Layout• Organizzazione delle strategie di
completamento
![Page 9: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/9.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
9
Incorporazione del modello
• Implicita• L’applicazione incorpora un modello di
utente come definito dal progettista• Separata
• File di configurazione• Collezione statica di dati sull’utente• Base di dati aggiornabile• Base di dati deduttiva
![Page 10: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/10.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
10
Modellazione di utenti
• Livelli di competenza• Definizione da teorie cognitive generali
• Belief, Desire, Intention• Logiche di ordine superiore
• Uso di data mining• Cluster mining• Association rule mining• Sequential pattern mining
![Page 11: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/11.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
11
Definizione di classi di utente
• Definizione di criteri da parte di esperti• Apprendimento automatico
• Supervisionato (classi identificate a priori)• Non supervisionato
• Vincolo su numero di classi• Vincolo su criteri di raggruppamento
![Page 12: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/12.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
12
Componenti della modellazione
• Domini• Dati, Relazioni
• Rappresentazioni• Elementi, Layout
• Task• Generici, strutturati
• Categorie• Accesso, Esperienza, Profili sociologici
• Individui• Preferenze, Similarità, Comunità
![Page 13: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/13.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
13
Descrittori per profilazione utenti
• Dati personali (e.g. età, genere, posizione, professione)
• Preferenze e interessi• Conoscenze• Pattern di comportamento
![Page 14: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/14.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
14
Profilazione utente• Raccolta dati interazione (non intrusiva)
• Log client• Log server• Valori introdotti durante sessione
• Preferenze esplicite (diversi livelli di intrusività)• Raccolta di questionari• Scelte • Configurazioni
![Page 15: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/15.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
15
Fasi nell’uso dei dati estratti
da: M. Koutri, N. Avouris, S. Daskalaki. “A survey on web usage mining techniques for web-based adaptive hypermedia systems”.
![Page 16: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/16.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
16
Problemi del data mining su Web
• Dati di navigazione non numerici• Rumore e incompletezza dei dati• Necessità di integrare i dati grezzi
con altri, e.g. informazione lato client, dati di registrazione, eventi legati al prodotto specifico
• Misure convenzionali troppo semplici
![Page 17: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/17.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
17
Variabili osservabili
• Web usage mining• Tecniche relative a dati grezzi di
accesso per rivelare pattern di uso. • Structure mining
• Analisi della struttura del sistema ipermediale.
• Content mining • Analsii del contenuto del sistema
ipermediale.
![Page 18: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/18.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
18
Esempio di campo di log (IIS)
![Page 19: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/19.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
19
Limitazioni del logging
• Riferimenti a documenti mancanti (e caching)
• Identificazione dell’IP reale in caso di proxy
• Povertà dei dati di solo accesso
![Page 20: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/20.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
20
Forme di adattamento sul Web
• Content selection• Selezione automatica e prioritizzazione degli
elementi più rilevanti• Navigation support
• Manipolazione di hyperlink, e.g. hiding, sorting, annotating.
• Presentation• Variazione forme di presentazione del
contenuto di un documento web.
Brusilovsky, P., and Maybury, M. T. (2002). From adaptive hypermedia to the adaptive web. Communications of the ACM 45, 5, 30-33.
![Page 21: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/21.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
21
Tecniche di clustering
• Clustering di riferimenti a documenti• Identifica collezioni di documenti legate al
loro uso• Clustering di visite
• Identifica sequenze tipiche di di riferimenti, pattern navigazionali
• Informazioni addizionali• Tempo di permanenza
![Page 22: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/22.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
22
Tipi di clustering• hard clusters
• Ogni oggetto appartiene a uno e un solo cluster
• overlapping clusters• Un oggetto può appartenere a diversi cluster. Possono
indicare interessi comuni a utenti diversi, o identificare documenti con contenuto non univoco.
• probabilistic clusters• Ogni oggetto appartiene a ogni cluster con una
probabilità (pi(o) = 1)
• fuzzy clusters• Ogni oggetto appartiene a ogni cluster con un grado di
appartenenza (max(pi(o)) = 1)
![Page 23: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/23.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
23
Estrazione di regole di associazione
• Identificazione delle associazioni fra elementi.• La presenza di un sottoinsieme di elementi implica la
presenza anche di altri
• Regola di associazione:
• (AB, c, s) A B = , 0c, s 1• c: confidence, c(A B) = P(B | A)). • s: support (support(A B)=P(AB))
(e-class/asp_fundamentals.html e_class/asp_examples.html, 0.7, 0.05)
![Page 24: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/24.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
24
Sequential pattern mining
• Istanza:
• Problema: trovare tutti i pattern sequenziali con un supporto minimo specificato • Supporto = numero di sequenze di dati che
contengono il pattern
}}it,...{it}, t,t, {tq {seq | seDB kiiin ,1
1 )()( 1 ii ttimettime
30% of users who placed an online order in book_store/book1.html have also placed an order in book_store/book5.html within 20 days
![Page 25: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/25.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
25
Conseguenze della profilazione
• Raccommandazione personale• Aggiustamento dinamico
• Highlighting, creazione di nuovi link
• Aggiustamento statico di pagina / sito• in genere eseguito off-line
![Page 26: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/26.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
26
Modelli cognitivi computazionali
• Long-term episodic memory.• Memoria stabile di eventi significativi. • Indirizzabile per contenuti. Episodi ritrovati
da vari indizi, e.g. persona, posto, azione.
• Affective reflexive memory • Associazioni istantanee e istintive.• Formata filtrando esposizione ripetuta.
![Page 27: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/27.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
27
Strutture di memorizzazione per LTEM e ARM
![Page 28: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/28.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
28
Valutazione di valenza affettivaDimensioni affettive• Pleasure-Displeasure, e.g., felicià / infelicità; • Arousal-Nonarousal, i.e., intensità dei sentimenti;• Dominance-Submissiveness, ruoli giocati
H. Liu P. Maes, What Would They Think? A Computational Model of Attitudes, Intelligent User Interfaces, 38-45, 2004
S(E) = salienza dell’episodio, V(E) = valenza affettiva
![Page 29: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/29.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
29
Agenti personali• Costruiscono modelle di preferenze del proprietario
• Acquisti on line, classificazione di email, links seguiti• Ricevono feedback su proposte fatte
• Possono scambiare informazioni con altri agenti• Possono usare decisioni di agenti di utenti con profili
simili a quelli del proprietario• Predizioni su prossime mosse
• Presentazione di link correlati, suggerimenti di acquisti, azioni su email
![Page 30: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/30.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
30
Assistenti personali
![Page 31: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/31.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
31
Modi di apprendimento
![Page 32: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/32.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
32
Agenti che raccomandano modifiche all’interfaccia
Agent mental stateDomain ontology History of suggestions
Effectiveness of the agent
Negotiation set: cambi proposti al modello
Utility function per correzioni di agente ai
Protocol function
Negotiation strategies
Requirement metrics
![Page 33: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/33.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
33
Modelli BDI
• Rappresentano agenti o modelli di utente• Belief: conoscenza dell’agente sullo stato del mondo
• Insiemi di letterali
• Desire: obiettivi di lungo periodo, stati del mondo da fare diventare veri
• Piani per raggiungerli. Descritti da body, precondition, e invocation condition (trigger)
• Intention: impegno a portare avanti un’azione che trasforma lo stato del mondo
• Organizzati in stack, possibilmente paralleli
![Page 34: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/34.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
34
Sistemi logici per BDI
• Semantica in termini di mondi accessibili• Time tree indicano diramazioni del comportamento.• Due mondi M1 e M2, possono essere uno
sottoinsieme dell’altro e viceversa, essere identici o non confrontabili.
• Assunzioni di realismo• Realismo: se un agente crede a una proposizione,
desidererà che diventi vera• Realismo forte: se un agente desidera ottenere una
proposizione, crederà che essa sia un’opzione• Realismo debole: se un agente desidera ottenere una
proposizione non crederà che la sua negazione sia inevitabile.
![Page 35: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/35.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
35
Requisiti di razionalità
• Mantenimento di coerenza fra credenze, desideri e intenzioni, ma non completezza.
• Credenze, desideri e intenzioni non devono essere chiusi sotto le implicazioni di ognuno degli altri.
![Page 36: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/36.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
36
Esempi di time tree
![Page 37: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/37.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
37
AssiomatizzazioneInizializzazione:Differenze fra stato obiettivo e belief adottate come goal
Terminazione: Comportamento agente indeterminato quando tutti obiettivi raggiunti
Obbligazione: Agente deve impegnarsi a portare avanti un obiettivo
Impegno comporta realizzare precondizioni per operatori adottati
Goal adottati rimossi da quelli in attesa
![Page 38: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/38.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
38
Mantenimento del belief
Agente crede all’effetto degli operatori applicati
Agente crede a osservazioni dello stato del mondo
![Page 39: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/39.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
39
Coevoluzione di modelli di utente e sistema
![Page 40: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/40.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
40
Specifica del sistema
![Page 41: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/41.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
41
Specifica dell’utente• Espressa in termini di belief
• Informazioni legate allo stato del sistema
• Definizione delle azioni possibili
![Page 42: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/42.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
42
Conseguenze sul progetto
• Modellazione di comportamenti utente• Es. esplorazione casuale, ordine stretto
• Identificazione di comportamenti ottimali• Definizione dell’interfaccia in modo da
supportare comportamenti ottimali• Rimozione di cause di errore
• Es. mantenere informazioni su link ancora da esplorare.
![Page 43: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/43.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
43
Modulazione del contenuto
![Page 44: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/44.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
44
Modelli in Higher Order Logic
• Architettura cognitiva• Modelli di utente e di sistema
• Funzioni di history• Permettono di accedere a informazioni
sugli stati passati dell’utente o del sistema
![Page 45: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/45.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
45
Notazione per Higher Order Logic
![Page 46: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/46.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
46
Relazioni per USER
![Page 47: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/47.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
47
Modelli per verifica comportamenti
• Proprietà di correttezza1. Per ogni possibile comportamento del sistema interattivo
l’utente è in grado di raggiungere l’obiettivo principale associato allo stato
2. L’utente deve essere in grado di completare tutti i task sussidiari generati nel raggiungimento dell’obiettivo
![Page 48: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/48.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
48
Post-completion error
Utente naive
Al termine dell’interazione l’utente non recupera la carta
![Page 49: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/49.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
49
Identificazione di errori e revisione
Revisione
Problema se utente seleziona servizio prima di inserire la carta
![Page 50: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/50.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
50
Revisione dei modelli di utente
• Architettura cognitiva per utente sofisticato (uso di conoscenza sul task)
![Page 51: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/51.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
51
Possibilità di design più flessibili
![Page 52: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/52.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
52
Applicazione ai casi di studio
• Categorizzazione dell’utente• Rappresentazione esplicita dei task• Utilizzo di agenti• Adattamento al contesto
![Page 53: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/53.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
53
Categorizzazione dell’utente
• Fruizione beni culturali• Turista, studioso, curatore
• Creazione artistica• ?
• Supporto all’handicap• Tipologia di handicap [+ modello task]
• E-learning• Progettista corso, Produttore contenuto, Studente
+ livello conoscenza, Valutatore
![Page 54: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/54.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
54
Rappresentazione dei task
• Fruizione beni culturali• Guide interattive
• Creazione artistica• Definizione delle possibilità di esecuzione
• Supporto all’handicap• Suggerimenti
• E-learning• Rappresentazione dei percorsi
![Page 55: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/55.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
55
Utilizzo di agenti
• Fruizione beni culturali• Elicitazione di interessi, suggerimenti
• Creazione artistica• Agenti di critica, confronto con prodotti precedenti
• Supporto all’handicap• Predizione di azioni successive, creazione di macro
• E-learning• Ritrovamento di materiale di supporto
![Page 56: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/56.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
56
Adattamento al contesto
• Fruizione beni culturali• Localizzazione, capacità dei dispositivi
• Creazione artistica• Temporizzazioni, condizioni di illuminazione
• Supporto all’handicap• In progetto, in base alle capacità residue
• E-learning• Capacità dei dispositivi, modulazione del
contenuto
![Page 57: 1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni bottoni@di.uniroma1.it Pictorial Computing Laboratory Dipartimento di Informatica.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb4f497959361e8bef00/html5/thumbnails/57.jpg)
Seminario di Interazione Avanzata20/11/2006
Metodi formali per la progettazione di modelli di utente
57
Riferimenti• H. Bunt, M. Kipp, M. T. Maybury, W. Wahlster, “Fusion and coordination for multimodal
interactive information presentation”, in O. Stock, M. Zancanaro, (eds.): Multimodal Intelligent Information Presentation, Kluwer, 325-340, 2005.
• M. Koutri, N. Avouris, S. Daskalaki. “A survey on web usage mining techniques for web-based adaptive hypermedia systems”, in S. Y. Chen, G. D. Magoulas (eds.), Adaptable and Adaptive Hypermedia Systems, IRM Press, 125-149, Hershey, 2005.
• P. Brusilovsky, M. T. Maybury, “From adaptive hypermedia to the adaptive web”, Communications of the ACM 45(5): 30-33, 2002.
• H. Liu P. Maes, “What Would They Think? A Computational Model of Attitudes”, Intelligent User Interfaces, ACM Press, 38-45, 2004
• P. Curzon, R. Rukšėnas, A. Blandford, “Formal Verification In Human Error Modelling”, http://www.dcs.qmul.ac.uk/research/imc/hum/pubs/FAC-FormalVerification.pdf, 2006
• R. H. Guttman, A. G. Moukas, P. Maes, “Agent-mediated Electronic Commerce: A Survey”, Knowledge Engineering Review, 13(2): 147-159, 1998.
• S. M. Brown, E Santos Jr., S. B. Banks, M. E. Oxley, “Using Explicit Requirements and Metrics for Interface Agent User Model Correction”, Proc. 2nd International Conference on Autonomous Agents (Agents'98), 9-13, ACM Press, 1998.
• P. Maes, “Agents that reduce work and information overload”, Communications of the ACM, 37(7):811-821,1994.
• Y. Shoham, “Agent oriented programming”, Artificial Intelligence, 60(1):51-92, 1993