Unawareness In Multi-Agent Systems with Partial Valuations Line van - - PowerPoint PPT Presentation

unawareness in multi agent systems with partial valuations
SMART_READER_LITE
LIVE PREVIEW

Unawareness In Multi-Agent Systems with Partial Valuations Line van - - PowerPoint PPT Presentation

Unawareness In Multi-Agent Systems with Partial Valuations Line van den Berg, Manuel Atencia and J er ome Euzenat { line.van-den-berg,manuel.atencia,jerome.euzenat } @inria.fr https://moex.inria.fr Line van den Berg (UGA & Inria)


slide-1
SLIDE 1

Unawareness In Multi-Agent Systems with Partial Valuations

Line van den Berg, Manuel Atencia and J´ erˆ

  • me Euzenat

{line.van-den-berg,manuel.atencia,jerome.euzenat}@inria.fr https://moex.inria.fr

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 1 / 10

slide-2
SLIDE 2

Summary

Introduction: why awareness?

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 2 / 10

slide-3
SLIDE 3

Summary

Introduction: why awareness? Related work

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 2 / 10

slide-4
SLIDE 4

Summary

Introduction: why awareness? Related work Agent awareness using partial valuations

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 2 / 10

slide-5
SLIDE 5

Summary

Introduction: why awareness? Related work Agent awareness using partial valuations Raising awareness

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 2 / 10

slide-6
SLIDE 6

Introduction: why awareness?

Agents represent their knowledge in different ways ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-7
SLIDE 7

Introduction: why awareness?

Agents represent their knowledge in different ways Communication ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-8
SLIDE 8

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-9
SLIDE 9

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments Dynamic Epistemic Logic: announcements and conservative upgrades ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-10
SLIDE 10

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments Dynamic Epistemic Logic: announcements and conservative upgrades But agents need to have access to what is announced ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-11
SLIDE 11

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments Dynamic Epistemic Logic: announcements and conservative upgrades But agents need to have access to what is announced This prevents agents to acquire new vocabulary or adapt the meaning

  • f the words they use

ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-12
SLIDE 12

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments Dynamic Epistemic Logic: announcements and conservative upgrades But agents need to have access to what is announced This prevents agents to acquire new vocabulary or adapt the meaning

  • f the words they use

Undesirable for open multi-agent systems ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-13
SLIDE 13

Introduction: why awareness?

Agents represent their knowledge in different ways Communication via alignments Dynamic Epistemic Logic: announcements and conservative upgrades But agents need to have access to what is announced This prevents agents to acquire new vocabulary or adapt the meaning

  • f the words they use

Undesirable for open multi-agent systems ñ Awareness

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 3 / 10

slide-14
SLIDE 14

Related Work

Partial valuations for DEL [Jaspars and Thijsse, 1996] ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 4 / 10

slide-15
SLIDE 15

Related Work

Partial valuations for DEL [Jaspars and Thijsse, 1996] Awareness logic [Fagin and Halpern, 1987] ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 4 / 10

slide-16
SLIDE 16

Related Work

Partial valuations for DEL [Jaspars and Thijsse, 1996] Awareness logic [Fagin and Halpern, 1987] Raise aware- ness [Van Ditmarsch et al.,2009] ñ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 4 / 10

slide-17
SLIDE 17

Related Work

Partial valuations for DEL [Jaspars and Thijsse, 1996] Awareness logic [Fagin and Halpern, 1987] Raise aware- ness [Van Ditmarsch et al.,2009] raise awareness without truth ñ Becoming aware of a proposition and learning its truth value are two different acts

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 4 / 10

slide-18
SLIDE 18

Unawareness with Partial Valuations

Partial valuations allow propositions to be true, false or undefined ✥

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 5 / 10

slide-19
SLIDE 19

Unawareness with Partial Valuations

Partial valuations allow propositions to be true, false or undefined p w ✥p v u ✥

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 5 / 10

slide-20
SLIDE 20

Unawareness with Partial Valuations

Partial valuations allow propositions to be true, false or undefined Agents can be uncertain and unaware about p ✥ p w ✥p v u a a a b

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 5 / 10

slide-21
SLIDE 21

Unawareness with Partial Valuations

Partial valuations allow propositions to be true, false or undefined Agents can be uncertain and unaware about p Allowing agents to have different knowledge representations about the world ✥ p w t q u v a a, b b a, b b a

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 5 / 10

slide-22
SLIDE 22

Properties of awareness

Agent awareness is preserved over accessibility:

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 6 / 10

slide-23
SLIDE 23

Properties of awareness

Agent awareness is preserved over accessibility: p w v a a

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 6 / 10

slide-24
SLIDE 24

Properties of awareness

Agent awareness is preserved over accessibility: Weak reflexivity p w v a a a

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 6 / 10

slide-25
SLIDE 25

Properties of awareness

Agent awareness is preserved over accessibility: Weak reflexivity Consideration consistency p w p v a a a

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 6 / 10

slide-26
SLIDE 26

Properties of awareness

Agent awareness is preserved over accessibility: Weak reflexivity Consideration consistency Specification p w p v a a a u a, b b

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 6 / 10

slide-27
SLIDE 27

Semantics

Verification and falsification M, w ✭ ✥φ iff M, w ✮ φ M, w ✮ ✥φ iff M, w ✭ φ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 7 / 10

slide-28
SLIDE 28

Semantics

Verification and falsification Conjunction false iff both conjuncts defined M, w ✮ φ ❫ ψ iff M, w ✮ φ and M, w ✭ ψ,

  • r M, w ✭ φ and M, w ✮ ψ,
  • r M, w ✮ φ and M, w ✮ ψ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 7 / 10

slide-29
SLIDE 29

Semantics

Verification and falsification Conjunction false iff both conjuncts defined Knowledge and belief M, w ✭ Kaφ iff ❅v s.t. w ✒a v : M, v ✭ φ M, w ✭ Baφ iff ❅v s.t. w Ña v : M, v ✭ φ M, w ✮ Kaφ iff ❉v s.t. w ✒a v : M, v ✮ φ M, w ✮ Baφ iff ❉v s.t. w Ña v : M, v ✮ φ Where ✒a and Ña are defined as “all accessible worlds with reflexivity” and “most plausible worlds with reflexivity”.

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 7 / 10

slide-30
SLIDE 30

Semantics

Verification and falsification Conjunction false iff both conjuncts defined Knowledge and belief Raise awareness M, w ✭ rpsψ iff Mp, w ✭ ψ M, w ✮ rpsψ iff Mp, w ✮ ψ

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 7 / 10

slide-31
SLIDE 31

Raising awareness

Raise awareness of p:

  • Line van den Berg (UGA & Inria)

Unawareness with Partial Valuations 8 / 10

slide-32
SLIDE 32

Raising awareness

Raise awareness of p:

  • w

a ✥

  • Line van den Berg (UGA & Inria)

Unawareness with Partial Valuations 8 / 10

slide-33
SLIDE 33

Raising awareness

Raise awareness of p: p w a p w0 ✥p w1 a a a p

  • Line van den Berg (UGA & Inria)

Unawareness with Partial Valuations 8 / 10

slide-34
SLIDE 34

Raising awareness

Raise awareness of p: p p w0 ✥p w1 a a a

  • Line van den Berg (UGA & Inria)

Unawareness with Partial Valuations 8 / 10

slide-35
SLIDE 35

Raising awareness

Raise awareness of p: p ✥

  • p

w a p w p a ✥

  • Line van den Berg (UGA & Inria)

Unawareness with Partial Valuations 8 / 10

slide-36
SLIDE 36

Raising awareness

Raise awareness of p: p ✥

  • q

w a p, q w0 ✥p, q w1 a a a p

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 8 / 10

slide-37
SLIDE 37

Discussion & Conclusion

We introduced a new semantics for modeling agent unawareness, using partial valuations

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 9 / 10

slide-38
SLIDE 38

Discussion & Conclusion

We introduced a new semantics for modeling agent unawareness, using partial valuations Agents raise their awareness when needed

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 9 / 10

slide-39
SLIDE 39

Discussion & Conclusion

We introduced a new semantics for modeling agent unawareness, using partial valuations Agents raise their awareness when needed Alignment Repair Game [Van den Berg, Atencia and Euzenat, 2020]

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 9 / 10

slide-40
SLIDE 40

Discussion & Conclusion

We introduced a new semantics for modeling agent unawareness, using partial valuations Agents raise their awareness when needed Alignment Repair Game [Van den Berg, Atencia and Euzenat, 2020] Full awareness is not a necessary condition for successful communication

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 9 / 10

slide-41
SLIDE 41

Discussion & Conclusion

We introduced a new semantics for modeling agent unawareness, using partial valuations Agents raise their awareness when needed Alignment Repair Game [Van den Berg, Atencia and Euzenat, 2020] Full awareness is not a necessary condition for successful communication Forgetting awareness

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 9 / 10

slide-42
SLIDE 42

Thank you!

Line van den Berg (UGA & Inria) Unawareness with Partial Valuations 10 / 10