Kényszerlogikai programozás és órarendkészítés
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
A szakdolgozat témája egy iskola órarendjének elkészítése kényszer kielégítési módszerek alkalmazásával. Az órarend tervezésekor figyelembe vesszük a kerettantervet, a tanári igényeket, illetve az épület termeiből adódó korlátokat. Az önálló munka legjelentősebb része a konkrét órarendre vonatkozó természetes nyelven megfogalmazott korlátok átírása a megfelelő formális nyelvre. A feladat helyes logikai megfogalmazása után a végrehajtást rábízzuk a CLPFD rendszerre, amely az SWI-Prolog környezeten alapul.