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)

p?)a; (HAPPENS ) c(a a

q?c; HAPPENScq) p (UNTIL

Until-

pp

Always -

?) p ; e (HAPPENS ep

Eventually -

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

p x PGOALpJPG x x

:1 Teorema

py PGOALp x PGOALpy JPG x

:2 Teorema

Propiedades (cont.)

) ] ) p)(y x (MB x (PGOAL

p)))(y x (MB p)( x [(BEL

] p)y x (MB p)y x [(MB until

... py JPG x

:3 Teorema

) ] ) p)y x (MB x (PGOAL

p))y x (MB p x [(BEL

] p)y x (MB p)y x [(MB until

... py JPG x

:4 Teorema

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