I detta dokument diskuteras en lösning på Sisyfos rumstilldelningsproblem, som använder den allmänna direktivmodellen (GDM) metodologi som utvecklats i ACKnowledge-projektet, tillsammans med den kunskapstekniska metodologi som utvecklats i VITAL-projektet. Efter att kort ha introducerat dessa metoder presenterar dokumentet en "genomgång" av Sisyfos-lösningen från analys till genomförande i detalj, så att alla förvärvs-, modellerings- och designbeslut kan ses i sitt sammanhang. Urvalet av en återanvändbar modell från GDM-biblioteket presenteras tillsammans med en diskussion om hur denna urvalsprocess kan driva kunskapsinsamlingsprocessen. Därefter finns det en redogörelse för att GDM omedelbart har införts och att ett kontrollsystem införts över dataflödesstrukturen. Vi visar hur denna process avslöjar dolda begränsningar och inkonsekvenser i Siggis redogörelse för hans egen problemlösning. Utgången av denna KA-fas består av en konceptuell modell av problemet som diskuteras i detalj och formaliseras i termer av VITAL konceptuell modellering språk. Utifrån denna analys av problemet går vi vidare till att diskutera frågorna om utformning och genomförande av ett system, och vi visar hur vårt genomförande uppfyller specifikationen av Sisyfos-problemet.
VITAL består till exempel av ett bibliotek med återanvändbara problemlösningsmodeller på kunskapsnivå, som kan användas för att driva kunskapsinsamlingsprocessen REF, medan VITAL-KR stöder återanvändning på genomförandenivå.
Grounding GDMs: a structured case study
{'venue': 'Int. J. Hum.-Comput. Stud.', 'journal': None, 'mag_field_of_study': ['Computer Science']}