- changed status to invalid
Rename HasRecursionOverNegation
Currently, also the bootstrapping check is approximative. It checks symbolically, not on ground level, whether there would be recursion over negation.
The methods should be appropriately renamed.
If there is a suitable check for totality of definitions, this could also be added to XSB's integration when it queries for unknown answers to check whether the calculated model was valid in calculatedefinitions.
Comments (3)
-
-
Het was voor ons beide niet meteen duidelijk waarom er een HasRecursionOverNegation en een approx versie daarvan was, die toch beide symbolisch werkten. Dus er is inderdaad niets preciezer als je weet dat die enkel een theorie krijgt, maar toch zou ik de naam aanpassen om dit duidelijk te maken (of zeker documentatie in theoryutils). Ook de isApproxTotal zou nuttig zijn als extra methode denk ik, wat vaak is wat je eigenlijk wilt weten.
-
Wel... De approx check is (zoals gedocumenteerd) approximatief maar sneller ('k weet wel niet meer waar die documentatie staat, bij de implementatie of in theoryutils).
Bovendien: indien definities gesplit zijn is de approx gegarandeerd totaal, dus als je dat kan garanderen roep je die beter op.
- Log in to comment
Ik zou dat niet "approximatief" noemen. Dat hangt af van uw definitie van "recursie over negatie". De check krijgt enkel een theorie binnen (geen structuur) dus er bestaat niets preciezer.