Technologisch voordeel Knowledge Base Paradigm

  • Ontstaan aan onderzoeksgroep
    "Declaratieve Talen en AI" van de
    KU Leuven
  • Schrijf geen code, maar schrijf "kennisbank"
    • volgorde maakt niet uit
    • compact
    • kennis kun je toevoegen en weghalen
    • computer geeft (optimale) toestand waarin aan jouw kennis voldaan is
    • zelfde kennis wordt gebruikt voor méér dan enkel rooster opstellen
for p in Professional: 
  (count d in Dienst where toegewezen(d)=p) =< maxDiensten(p)
  
for p in Professional, d in Dienst: 
  toegewezen(p)=d implies maxAfstand(p)>=afstand(locatie(p),loc(d))
  
for p in Professional, d in Dienst: 
  toegewezen(d)=d implies voorkeur(p,d)>-3
  
for p in Professional, d1 d2 in overlappend: 
  not (toegewezen(d1)=p and toegewezen(d2)=p)
  
for d1 d2 in aansluitend: 
  toegewezen(d1)=toegewezen(d2) implies loc(d1)=loc(d2)
  
for p in Professional, dg in Dag: 
  (count d in Dienst where toegewezen(d)=p and dg=<dag(d) and dag(d)<=dg+1) 
  =< 2

Kennisbank voor
roosteren van wachten:

Praktische voordelen

  • Globale optimalisatie met voorkeur
  • Uitleg wanneer geen oplossing
  • Automatische suggestie voor het wisselen / verkopen / vervangen van diensten
  • Verschillen tussen HAPs makkelijk modelleerbaar
  • Rekening houden met specifieke wensen praktijkhouders, waarnemers, groepspraktijken, duo's...
  • Flexibel onder veranderende regulering
  • ...