Logisch redeneren essentieel voor het oplossen van combinatorische problemen
Promotie Informatica
vrijdag 3 december 14.00 uur
Sebastian Brand deed onderzoek naar methoden voor het oplossen van complexe combinatorische problemen. Dergelijke problemen treden bijvoorbeeld op bij het plannen van treinschema s. De problemen kunnen goed worden opgelost door systematisch zoeken te combineren met logisch redeneren. Het redeneren, de zogeheten constraint propagatie, is essentieel voor een efficiënt oplossingsproces. Brand gebruikt in zijn onderzoek regels om propagatie te beschrijven. Hij onderzocht verschillende theoretische aspecten van propagatie. De belangrijkste zijn het vinden van nuttige regels en het efficiënt uitvoeren hiervan. Vervolgens paste Brand de regelgebaseerde techniek toe op combinatorische problemen uit de elektrotechniek, de computationele logica en de ruimtelijke kennisrepresentatie. Door middel van deze applicaties bevestigt hij de toepasbaarheid van zijn methodiek.
S. Brand: Rule-based constraint propagation - Theory and applications. Promotor is prof. dr. K.R. Apt.
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail:
Universiteit van Amsterdam