Weet

Multi-agent systemen:
Weten wat anderen denken
Rineke Verbrugge
Kunstmatige Intelligentie
Rijksuniversiteit Groningen
College MAS 2007
1
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?
2
Redeneren over kennis
In groepen:




coördinatie
“iedereen weet”
gemeenschappelijke kennis
gedistribueerde kennis
3
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?
4
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:
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
Wat zijn de getallen?
5
Kennislogica
Som & Product, II
Het Kripke model vóór de dialoog begint
6
Kennislogica
Som & Product, III
1. P: Ik weet niet wat de
getallen zijn
Het Kripke model na 1: alle productgeïsoleerde werelden
vallen weg
7
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 Rs-verbonden
zijn met een productgeïsoleerde wereld, vallen weg
8
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
9
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
10
Toepassingen van kennislogica
Specificeren & verifiëren van
communicatieprotocollen
Multi-agentsystemen

Toevoegen andere operatoren
Bv. i : " i gelooft  "
i   is geen axioma
Verband tussen weten en geloven
 i ( )  (i ( )   ) geldt niet
11
Toepassingen in de multiagentsystemen
Speltheorie
• Toevoegen dynamiek
• Analyse van kaartspelen: Kwartetten, Cluedo,
Mastermind, Zeeslag
Teamwork in multi-agent systemen
•Toevoegen doelen en intenties
•Analyse van communicatie: onderhandelen
12
Rooster
1 di. 13-2
2 di. 20-2
3 do.22-2
4 di. 27-2
5 do. 1-3
Inleiding en organisatie
(alleen Inf): Modale logica
Epistemische formules en
mogelijke wereldensemantiek
Systeem K en S5
1 agent en gedistribueerde
systemen
13
Rooster
6 do. 8-3
7 di. 13-3
Logics Workbench
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
14