Hoofdstuk 6: Kennis en communicatie
Inhoud
Introductie
Verdere inhoud van hoofdstuk 6
Downloads
Hoofdstuk 6
Bij dit hoofdstuk bestaat een online programma dat kan worden gebruikt ter verdieping of ter illustratie. De begintoestand van het programma Hexagon geeft het zeshoekige model weer waarin drie spelers ieder een kaart vasthouden, en alleen hun eigen kaart kennen. U kunt in dit model kennislogische formules evualeren, en u kunt in dit model eveneens het resultaat berekenen van updates op kennislogische formules (zoals uitspraken van de spelers), en in de resulterende andere modellen kunt u opnieuw kennislogische formules evalueren.
Introductie
Dit hoofdstuk gaat over de logica van kennis, inclusief kennisverandering als gevolg van communicatieve handelingen zoals het 'vertellen' waarvan hiervoor sprake was. Het belangrijke verschil met de voorgaande systemen is dat we deze kennis ook in de logische taal uit moeten gaan drukken. Dit kan in de modale kennislogica.
Vanwege het aspect van het redeneren over de kennis van anderen is dit een heel belangrijke generalisatie van de logische systemen die we totnutoe gezien hebben. Een van de thema's die we in dit hoofdstuk zullen zien terugkomen, is hoe achtereenvolgende informatieverwerkende stappen steeds opnieuw de logische specificatie van een systeem kunnen inperken of zelfs veranderen.
Verdere inhoud van hoofdstuk 6
Alle materiaal is te vinden in de file die gedownload kan worden (zie bovenaan deze pagina).
