Efficiënt automatisch redeneren
maandag 2 december 11.00 uur
Promotie Informatica
Gennari brengt in haar proefschrift modale logica en constraint programming bij elkaar. In het eerste deel behandelt zij constraint propagation algoritmes. Dit zijn efficiënte algoritmes die zijn ontwikkeld om oplossingen voor constraint satisfaction- problemen dichterbij te brengen door constraints af te leiden. Gennari onderzoekt onder meer of constraint propagation algoritmes een gezamenlijk strategie volgen, wat de verschillen en overeenkomsten tussen die algoritmes zijn en welke functies inconsistenties in de algoritmes verwijderen. Daarnaast gaat Gennari in op de vraag hoe de 'vervulbaarheid' van modale formules op een efficiënte manier kan worden bepaald, en hoe efficiënt constraint propagation en satisfaction algoritmes zijn voor de modale logica.
Mw. R. Gennari: Mapping inferences. Constraint propagation and diamond satisfaction. Promotor is prof. dr. K.R. Apt.
Ir. Jeroen Winckers
Universiteit van Amsterdam
Persvoorlichting
Postbus 19268
1000 GG Amsterdam
tel. 020-525 3194
fax. 020-525 4963
http://www.uva.nl
afwezig op woensdag