On Acting Together Levesque - Cohen - Nunes Zulma Marti
Intenciones y compromisos individuales. Compromiso conjunto. Propiedades del compromiso conjunto. Acciones conjuntas. Contenidos
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.
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.
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)
Notación (cont.): (AGT x1...xn e) e1 <= e2 (HAPPENED a) (HAPPENING a) (HAPPENS a)
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)
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).
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) ).
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) ).
Propiedades del compromiso conjunto
Propiedades (cont.)
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