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)
=< 2Kennisbank 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
- ...
Knowledge Base Paradigm
By Jo Devriendt
