Examensarbetet undersöker huruvida det är möjligt att helt eller delvis automatisera en universitetslärares schemaläggning av tjänstgöringsplaneringen. För detta ändamål har Design and Creation använts som forskningsmetod genom att utveckla en prototyp som baseras på ’constraint problem solver’-verktyget OptaPlanner. Prototypen har testats med hjälp av ett fallexempel som tillät att jämföra de automatiskt genererade scheman med ett verkligt schema. Fallexemplet visar vilken information om arbetsuppgifterna för en lärare som är tillgänglig samt hur individuella krav och önskemål av en lärare beträffande schemaläggningen kan se ut. Resultaten visar att prototypen klarar av att lägga till aktiviteter och generera olika scheman baserat på lärarnas individuella önskemål och krav. Det förekommer fall där prototypen inte klarar av att lägga ett godkänt schema p.g.a. att några av de hårda reglerna bryts mot. Syftet med den automatiska schemaläggningen är att generera en grundstomme för planeringen, så att lärare vet att de aktiviteterna i schemat motsvarar de förväntade arbetsinsatserna enligt tjänstgöringsplanen. Det tillåter en kontroll av den egna arbetstiden som annars är mycket besvärlig att uppnå. Examensarbetets främsta bidrag är att visa på vilket sätt det är möjligt att schemalägga kalendertiden av en tjänstgöringsplan utan att det blir någon övertid. / This thesis examines whether it is possible to automate a university teacher’s scheduling of service planning fully or partially. For this purpose, Design and Creation has been used as a research method by developing a prototype based on the constraint problem solver tool OptaPlanner. The prototype has been tested using a case study that allowed to compare the automatically generated schemes with a real scheme. The case example shows what information about the tasks for a teacher is available and how individual requirements and wishes of a teacher regarding scheduling can look like. The results show that the prototype can add activities and generate different schedules based on the teachers' individual wishes and requirements. There are cases where the prototype is unable to schedule an approved schedule due to the hard rules are being violated. The purpose of the automatic scheduling is to generate a basic framework for the planning, so that teachers know that the activities in the schedule correspond to the expected work efforts according to the duty plan. It allows a control of one's own working hours which is otherwise very difficult to achieve. The main contribution of the degree project is to show in what way it is possible to schedule the calendar time of a duty plan without any overtime.

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases. This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completeness and consistency technique customized to this class of knowledge-based systems. The design theory is instantiated in a real-world verification tool development project at Uppsala University. Considerable attention is given to the design and implementation of this artifact – uncovering issues and considerations involved in the development process. For the knowledge management practitioner, this thesis offers guidance and recommendations for automated verification tool development projects. For the IS research community, the thesis contributes with extensions of existing design theory, and reveals some of the complexity involved with verification of a specific rule-based system utilizing certainty factors.