Café-KI Tomas Klos
Woensdag 13 juni 2018 19:00
- Woensdag 13 juni 2018 21:00
- 7 mensen gaan
[english below]Hij was even uitgesteld, maar nu komt hij dan echt.... de café-KI van Tomas Klos! Zie hier een samenvatting waar hij het over gaat hebben:
We kunnen veel problemen die door temporeel redeneren kunnen worden opgelost, modelleren als Temporal Constraint Satisfaction Probleem (TCSP). In het algemeen is dit een computationeel moeilijk (NP-hard) probleem. Een belangrijke subklasse van het TCSP, het Simple Temporal Problem (STP), is wél efficiënt oplosbaar. Het STP vraagt om een toewijzing van waardes aan een aantal temporele variabelen, die door constraints met elkaar verbonden zijn. Deze representatie als graaf heet een Simple Temporal Network (STN). We zullen het STN definiëren, en algoritmische oplossingen bespreken voor een aantal problemen die op een STN gedefinieerd kunnen worden, zoals hoe laat je uiterlijk moet beginnen met koffie zetten, om niet te laat te komen voor je eerste college. Verder zullen we zien hoe we algemenere schedulingsproblemen kunnen oplossen door op een handige manier het temporele deel te scheiden van de rest van het probleem, zodat we STN technieken kunnen inzetten. De inspiratie voor veel van het werk dat ik samen met promovendi aan dit onderwerp heb gedaan, komt uit de werkplaatsen van NedTrain, de NS dochter die het onderhoud aan treinen doet.
Kortom: het gaat super gaaf worden! Be there😁
It was prosponed, but now the Café-KI with Tomas Klos is really there! Here's a summary of what he will talk about:
We can model many problems that can be fixed by temporal reasoning as the Temporal Constraint Satisfaction Problem (TCSP). In general, this is a computational hard (NP-hard) problem. An important subclass of the TCSP, the Simple Temporal Problem (STP), ís efficiently solvable. The STP asks for a declaration of values from some temporal variables, connected to each other by constraints. The graphical representation of this is called a Simple Temporal Network (STN). We will define the STN and discuss solutions for some problems that can be defined on a STN, for example at what time you should start making coffee, in order to not be late for your class. Further on, we will see how more regular scheduling problems can be fixed by efficiently separating the temporal part from the rest of the problem, so we can use STN techniques. The inspiration for a lot of the work about this subject I worked on together with promovendi, comes from the workplaces of NedTrain, the NS daughter that works on maintenance of trains.
In short: it is going to be super interesting! Be there!
- Wie:
- ABC
- Wat:
- Café-KI Tomas Klos
- Waar:
- Hemingway
- Wanneer:
- woensdag 13 juni
- Kosten:
- Eerste drankje gratis!