Correct predictions are in blue. If we detect only a subset of a labelled sentence, we highlight the caught part as blue, the missing part light blue. False positives are in green and false negatives are in red.

Problem Time_Tabling — Constraint detection

This is a school time tabling problem . Given teacher skills , room equipment and pupil course requirement , the model generates for each course a time table specifying : a teacher , a start time , and a room . Constraints are used to : ensure the course ends after it starts ; ensure course numbering is chronological ; ensure that a teacher is required once at any time point ; ensure the teacher can teach the discipline ; ensure that a room is required once at any time point ; ensure the room can support the discipline ; ensure that a class follows one course at a time ; ensure that for given class and discipline , the teacher is always the same ; ensure a course starts and end the same halfday ; insert break duration between specified disciplines ; avoid to have the same discipline taught twice a day ; ensure that the morning disciplines end in the morning .

Problem Time_Tabling — Detection of the decisions and objects to be modeled

This is a school time tabling problem . Given teacher skills , room equipment and pupil course requirement , the model generates for each course a time table specifying : a teacher , a start time , and a room . Constraints are used to : ensure the course ends after it starts ; ensure course numbering is chronological ; ensure that a teacher is required once at any time point ; ensure the teacher can teach the discipline ; ensure that a room is required once at any time point ; ensure the room can support the discipline ; ensure that a class follows one course at a time ; ensure that for given class and discipline , the teacher is always the same ; ensure a course starts and end the same halfday ; insert break duration between specified disciplines ; avoid to have the same discipline taught twice a day ; ensure that the morning disciplines end in the morning .

Back to list