Multi-agent systemen: Weten wat anderen denken

1
Multi-agent systemenWeten wat anderen denken

• Rineke Verbrugge
• Kunstmatige Intelligentie
• Rijksuniversiteit Groningen

College MAS 2007
2
Redeneren over kennis

• Weet de buurman dat p?
• Weet de buurman dat zijn buren weten dat p?
• Wist Zorreguieta (in 1979) dat q?
• Weet Alexander of Zorreguieta wist dat q?
• Weet Beatrix of Alexander weet of Zorreguieta
  wist dat q?

3
Redeneren over kennis

• In groepen
• coördinatie
• iedereen weet
• gemeenschappelijke kennis
• gedistribueerde kennis

4
Redeneren over kennis

• De wijze mensen puzzel
• Personages Abélard (A), Héloïse (H), de Koning
• Gemeenschappelijke kennis
• Er zijn drie hoeden, twee rode en één witte.
• De Koning zet A en H elk een hoed op.
• A en H kunnen hun eigen hoed niet zien, die van
  de ander wel.
• De Koning vraagt A of hij de kleur van zijn
  eigen hoed weet. Antwoord Nee
• Daarna vraagt de Koning H of zij de kleur van
  haar hoed weet. Antwoord Ja
• Vraag Welke kleur hoed heeft Héloïse op?

5
Kennislogica

• Het Som Productraadsel I
• l,b ? N met 2 ? b ? l ? 99
• S en P kunnen perfect rekenen en redeneren
• S krijgt de som van l,b te horen
• P krijgt het product van l,b te horen

• De volgende dialoog ontvouwt zich
• P Ik weet niet wat de getallen zijn
• S Ik wist al dat je dat niet wist
• P Nu weet ik de getallen
• S Nu weet ik ze ook
• Wat zijn de getallen?

6
Kennislogica
Som Product, II
Het Kripke model vóór de dialoog begint
7
Kennislogica
Som Product, III

1. P Ik weet niet wat de getallen zijn

Het Kripke model na 1 alle productgeïsoleerde
werelden vallen weg
8
Kennislogica
Som Product, IV

1. P Ik weet niet wat de getallen zijn
2. S Ik wist al dat je dat niet wist

Het Kripke model na 2 alle werelden die
-verbonden zijn met een productgeïsoleerde
wereld, vallen weg
9
Kennislogica
Som Product, V

1. P Ik weet niet wat de getallen zijn
2. S Ik wist al dat je dat niet wist
3. P Nu weet ik de getallen

Het Kripke model na 3 werelden die in vorige
model productgeïsoleerd zijn, blijven over
10
Kennislogica
Som Product, VI

1. P Ik weet niet wat de getallen zijn
2. S Ik wist al dat je dat niet wist
3. P Nu weet ik de getallen
4. S Nu weet ik ze ook

Het Kripke model na 4 werelden die in het vorige
model somgeïsoleerd zijn, blijven over
11
Toepassingen van kennislogica

• Specificeren verifiëren van communicatieprotocol
  len
• Multi-agentsystemen
• Toevoegen andere operatoren

12
Toepassingen in de multi-agentsystemen

• Speltheorie
• Toevoegen dynamiek
• Analyse van kaartspelen Kwartetten, Cluedo,
  Mastermind, Zeeslag

• Teamwork in multi-agent systemen
• Toevoegen doelen en intenties
• Analyse van communicatie onderhandelen

13
Rooster

• 1 di. 13-2 Inleiding en organisatie
• 2 di. 20-2 (alleen Inf) Modale logica
• 3 do.22-2 Epistemische formules en mogelijke
  wereldensemantiek
• 4 di. 27-2 Systeem K en S5
• 5 do. 1-3 1 agent en gedistribueerde
  systemen

14
Rooster

• 6 do. 8-3 Logics Workbench
• 7 di. 13-3 Common knowledge voorbeelden en
  bewijzen
• 8 do. 15-3 Common knowledge toepassingen
  gedistribueerde systemen
• 9 di. 20-3 Gedistribueerde kennis geloof
• 10 di. 27-3 BDI beliefs, desires, intentions
• di. 22-5, 17.00 Deadline voor de projecten