SnaCKI Ronald de Haan
Woensdag 10 maart 2010 14:00
- 9 mensen gaan
Social software is het interdisciplinaire onderzoeksprogramma dat formele methoden toepast voor het ontwerpen en analyseren van sociale procedures. Een goed voorbeeld van zo'n procedure is het eerlijk verdelen van een taart over n personen, waarbij deze personen niet per se allemaal evenveel waarde hechten aan verschillende delen van de taart.Ronald heeft zijn bachelorscriptie geschreven over het betrekken van belief in de analyse van sociale procedures. Hij zal uit de doeken doen hoe je de analyse van belief in social software kunt formaliseren met behulp van een variant van Propositional Dynamic Logic. Dit gebeurt uiteraard aan de hand van voorbeelden. Ook laat hij zien hoe het verifiëren van bepaalde eigenschappen van de modellen automatisch gedaan kan worden.
- Wie:
- ABC
- Wat:
- SnaCKI met Ronald
- Waar:
- Dorpspomp
- Wanneer:
- 10 maart om 14:00
- Kosten:
- nada