1.24k likes | 1.35k Views
SCOPO DEGLI AGENTI “ B ELIEFS, D ESIRES AND I NTENTIONS”. Esigenza che si vuole risolvere:
E N D
SCOPO DEGLI AGENTI “ BELIEFS, DESIRES AND INTENTIONS” Esigenza che si vuole risolvere: “Costruire sistemi che sono situati in ambienti dinamici e che devono ragionare e pianificare, e agire con forti vincoli di tempo. Il sistema deve essere contemporaneamente goal directed e reattivo” [Rao & Georgeff 1992] bdi agents
SITUATEDNESS: non solo sono collocati in un ambiente in cui agiscono, ma, soprattutto, possiedono una rappresentazione simbolica di esso PIANIFICARE: costruiscono e/o scelgono delle sequenze di azioni che permettono di rendere vero un certo stato del mondo VINCOLI TEMPORALI: tali sistemi non dispongono di risorse infinite: “resource boundedness” GOAL DIRECTED: devono cercare di ottenere un certo scopo REACTIVITY: devono reagire di fronte a cambiamenti dell’ambiente bdi agents
NASA: Deep Space 1 remote agent experiment http://rax.arc.nasa.gov/ bdi agents
Robocup http://www.robocup.org/ bdi agents
ESEMPI DI DOMINI DI APPLICAZIONE Automatizzazione delle procedure usate dagli astronauti sullo Space Shuttle per gestire i malfunzionamenti dei propulsion flight controllers. PRS [Georgeff & Ingrand,1988] Automatizzazione dei controllori di volo che coordinano l’arrivo degli aerei in aeroporto [Rao & Georgeff, 1992] Simulatori bdi agents
HUMAN AGENTHOOD Il modello che i bdi agents vogliono imitare e’ il comportamento umano. In particolare il fatto che gli esseri umani siano guidati da tre “attitudini”: BELIEFS, DESIRES AND INTENTIONS CREDENZE, GOAL E INTENZIONI Ambiguo fra il significato di scopo e desiderio. bdi agents
Bratman: “What Is Intention?” 2 possibili interpretazioni della parola: • Azione: “l’ha ucciso intenzionalmente” • Stato mentale: “ho l’intenzione di andare a vedere Titanic” Proprieta’: • future directed: *“ho l’intenzione di andare al cinema ieri” • stato mentale che influenza il comportamento futuro • stabili (“committment”) ma revocabili: non posso prevedere cosa accadra’ in futuro, quindi devo poter cambiare idea. bdi agents
“Why bother today to have an intention about tomorrow?” • Perche’ non attendere domani sera prima di formarmi (ora) l’intenzione di andare al cinema? • Perche’ sprecare risorse per formarmi delle intenzioni ora, se non so cosa accadra’ domani (ad es. Mi potrebbero invitare a cena)? Soluzione alternativa: utilizzare un pianificatore classico e poi scegliere fra le opzioni che propone bdi agents
Planning + Practical Reasoning? • Scelgo un obbiettivo • Costruisco un piano completo che lo soddisfi • Scelgo fra le alternative tramite “decision theory” (probabilita’ eventi + utility function) Limiti: • devo conoscere lo stato del mondo • piu’ tempo passo a pianificare e decidere, maggiore e’ la probabilita’ che il mondo cambi • ad ogni cambiamento del mondo devo ricominciare da capo bdi agents
INITIAL STATE: 4 put(?x,?y) 1 3 2 A B C D bdi agents
GOAL: 1 3 4 4 2 2 2 2 3 1 1 3 bdi agents
Planning + Practical Reasoning? • Pianifico • Scelgo • Eseguo un passo • da capo bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) 1 3 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) put(3,C) 1 2 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) put(3,C) put(1,A);put(3,C);put(2,1);put(3,2) 1 2 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) put(3,C) put(1,A);put(3,C);put(2,1);put(3,2) put(2,1) 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) put(3,C) put(1,A);put(3,C);put(2,1);put(3,2) put(2,1) put(1,A);put(3,C);put(2,1);put(3,2) 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,C);put(2,1);put(3,2) put(3,C) put(1,A);put(3,C);put(2,1);put(3,2) put(2,1) put(1,A);put(3,C);put(2,1);put(3,2) put(3,2) 3 2 1 A B C D bdi agents
Corriere della Sera “Con la Croazia non doveva far giocare Maldini in condizioni precarie. Totti era troppo arretrato ed aveva perso brillantezza. Iuliano è forse meno emotivo e più esperto di Materazzi. L’errore più grave è stato quello di non mandar dentro gente fresca verso il 20’ della ripresa. Ha perso troppi minuti a decidere. Di questo è giusto chiedergli conto, …” bdi agents
Planning + Practical Reasoning? • Pianifico • Scelgo • Eseguo tutti i passi • da capo bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) 1 3 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) 1 2 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) put(3,2) 3 2 1 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) 1 3 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 4 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) 4 1 2 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) 4 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) put(3,2) 4 2 3 1 A B C D bdi agents
Planning + Practical Reasoning? • Pianifico • Scelgo • Eseguo un passo (1) • Controllo il piano sia eseguibile: vado a (1) • se il piano è finito o non eseguibile: da capo bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) 1 3 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) 1 2 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) 4 2 1 3 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(3,C) put(2,1) put(3,2) 4 2 3 1 A B C D bdi agents
Planning + Practical Reasoning? • Pianifico • Scelgo • Eseguo un passo (1) • Controllo il piano sia eseguibile o il goal soddisfatto: vado a (1) • se il piano è finito o non eseguibile: da capo bdi agents
Planning + Practical Reasoning? • Pianifico (e ripianifico dal piano esistente) • Scelgo • Eseguo un passo (1) • Controllo il piano sia eseguibile o il goal soddisfatto: vado a (1) • se il piano è finito o non eseguibile: da capo bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) 1 3 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) 3 1 2 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A); 3 1 2 4 A B C D bdi agents
put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,D);put(2,1);put(3,2) put(3,D) put(1,A);put(3,C);put(2,1);put(3,2) put(1,A) put(1,A);put(3,D);put(2,3);put(1,2) ... 1 2 4 3 A B C D bdi agents