Theorie-stratificatie om efficientie te verbeteren

[Broes De Cat]

Bijvoorbeeld

!t[Table]: (MinTableSize =< #{guest: SitsAt(guest)=t} =< MaxTableSize) #{guest: SitsAt(guest)=t} = 0.

Veranderen in !t[Table]: (MinTableSize =<Places(t) =< MaxTableSize) Places(t) = 0.

En ineens is de grounding veel groter! Dit specifiek geval is minder erg als cp aanstaat, maar zou eigenlijk gewoon eerst places moeten uitrekenen en daarna de andere zinnen.

[Bart Bogaerts]

(Reply via [e-mail]):

In mijn geval ging het niet om te stratifieren... (was niet uitrekenbaar).

Je zou dit ook kunnen zien als een gebrek van de symbolische propagatie in dit geval. Die zou moeten ontdekken dat SitsAt steeds verschillend moet zij nvan t...