Uit: Agenda van de Universiteit Utrecht
11 november - 15 november 2002
Communicatie Service Centrum (030) 253 35 50
Joop Kessels (woordvoerder College van Bestuur), j.kessels@usp.uu.nl, (030) 253 4477
Johan Vlasblom, j.vlasblom@csc.uu.nl, (030) 253 4073
Roy Meijer, r.meijer@csc.uu.nl, (030) 253 3705
Nieuws en agenda: www.uu.nl/nieuws
Deskundigheid Universiteit Utrecht: www.uu.nl/clavan
Aanvragen samenvattingen/proefschriften: (030) 253 35 50
De promoties en oraties vinden plaats in het Academiegebouw, Domplein 29,
Utrecht
11 november 2002
14.30 uur Wiskunde en Informatica
Mw.drs. W. de Vries
Promotores: prof.dr. J-J.Ch. Meyer, prof.dr. J. Treur (VUA)
Copromotores: dr. F.S. de Boer, dr. W. van der Hoek, dr. C.M. Jonker (VUA)
Promotie: Agent interaction: Abstract approaches to modelling, programming
and verifying of multi-agent systems.
Een agent is een stuk software met een zekere mate van zelfstandigheid, dat
interacteert met andere agenten en de omgeving. Naar 'losse' agenten is veel
onderzoek gedaan; Wietske de Vries heeft zich dan ook op de interactie
gericht. Zij heeft drie nieuwe formele programmeertalen ontworpen, waarin de
nadruk ligt op respectievelijk de interactie tussen handelende agenten, het
afspreken en doen van groepsacties en het maken van plannen met een groep
agenten. Daarnaast heeft zij een manier geïntroduceerd waarmee het correct
bewijzen van agentsystemen begrijpelijker wordt, en een methode waarmee het
gedrag van een agent uitgelegd kan worden in termen van geloof, verlangen en
intentie van een agent. Deze abstracte concepten bieden handvatten voor het
ontwerpen, bouwen en analyseren van steeds complexer wordende
computersystemen.