On Acting Together Levesque - Cohen - Nunes Zulma Marti.

Presentación del tema: "On Acting Together Levesque - Cohen - Nunes Zulma Marti."— Transcripción de la presentación:

1 On Acting Together Levesque - Cohen - Nunes Zulma Marti

2  Intenciones y compromisos individuales.  Compromiso conjunto.  Propiedades del compromiso conjunto.  Acciones conjuntas. Contenidos

3 Ejemplo  Agentes A y B.  A guía a B a su casa. Suposiciones: -Es la intención de ambos agentes. -Creencia mutua : las intenciones individuales se mantienen.

4 Ejemplo Problemas: A va por un camino equivocado. B ya conoce la localización Conclusiones erróneas: Caso 1: A dobla, B piensa que A se equivoca. Caso 2: B en problemas, A piensa que B sabe llegar.

5 Compromiso e intención individual Notación: Basado en lógica modal. Modalidades básicas : BELIEF – GOAL. (BEL x p) (GOAL x p) (MB x y p)

6 Notación (cont.): (AGT x1...xn e) e1 <= e2 (HAPPENED a) (HAPPENING a) (HAPPENS a)

7 Operadores: a ; b a | b p? a * Acciones: (DONE x1...xn a) = (HAPPENED a) ^ (AGT x1..xn a) (DOING x1...xn a) = (HAPPENING a) ^ (AGT x1..xn a) (DOES x1...xn a) = (HAPPENS a) ^ (AGT x1..xn a)

8

9 Definición 1: (PGOAL x p q) = (BEL x ¬p)  (GOAL x  p)  (UNTIL [(BEL x p)  (BEL x ¬p)  (BEL x ¬ q)] (GOAL x  p) ). Definición 2: (INTEND x a p) = (PGOAL x (DONE x [UNTIL (DONE x a)  (BEL x (DOING x a))] ? ;a) q).

10 Compromiso conjunto Intento de Definición: (JPG x y p q) = (MB x y ¬p)  (MG x y p)  (UNTIL [(MB x y p)  (MB x y ¬p)  (MB x y ¬ q)] (MG x y p) ). donde (MG x y p) = (MB x y (GOAL x  p)  (GOAL y  p) ).

11 Definición 3: (WG x y q) = [¬ (BEL x p)  (GOAL x  p)]  [(BEL x p)  (GOAL x  x y p) ) ]  [(BEL x  ¬p)  (GOAL x  x y  ¬p) ) ]. Definición 4 : ( JPG( x y p q) = (MB x y ¬p)  (MG x y p)  (UNTIL [(MB x y p)  (MB x y ¬p)  (MB x y ¬ q)] (WMG x p) ). donde (WMG x y p) = (MB x y (WG x y p)  (WG y x p) ).

12 Propiedades del compromiso conjunto

13 Propiedades (cont.)

14 Acciones conjuntas Definición 5 : ( JI ( x y a q) = (JPG x y (DONE x y [UNTIL (DONE x y a) (MB x y (DOING x y a) ) ]? ; a) q). La intención conjunta es un compromiso conjunto de realizar una acción, mutuamente creyendo que los agentes están realizándola. puede ser composición