Approximation going awry?

Issue #758 invalid

JoD created an issue 2014-05-27

In attachment two predicates defined by input, and an implication involving both predicates, checking whether a simple property holds. The property does not hold, maybe that's the problem?

thesistoekenning_bug_approx.idp

Comments (8)

JoD reporter
- attached thesistoekenning.struc
- 2014-05-27T14:39:22+00:00
JoD reporter
- edited description
- 2014-05-27T14:41:20+00:00
Bart Bogaerts
Hij hangt ergens tijdens propagatie bij het uitrekenen van uw definitie...

Als ge xsb aanzet is het instant opgelost..
- 2014-05-27T14:52:54+00:00
JoD reporter
Daarnet gaf xsb niet thuis, zie https://bitbucket.org/krr/idp/issue/757/xsb-heeft-last-met-functieconstraint, waardoor XSB geen optie was. Joachim heeft het net gefixt, dus met een beetje sjans...
- 2014-05-27T14:54:24+00:00
JoD reporter
Merci voor het testen though!
- 2014-05-27T14:54:46+00:00
Bart Bogaerts
ok...

Zonder xsb dan:

het ligt volgens mij niet aan de approximation (zet groundingverbosity maar eens hoog genoeg) gewoon aan het feit dat het grounded van definities (zeker met zoveel argumenten) gewoon te traag is en veel slimmer zou moeten gebeuren...
- 2014-05-27T15:00:30+00:00
Joachim Jansen
Dus om te concluderen: Geen bug, enkel trage runtime bij het uitrekenen van de definities zonder XSB.

Issue invalid maken dan maar?
- 2014-05-28T10:24:07+00:00
JoD reporter
- changed status to invalid
- 2014-05-28T10:29:17+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: invalid

Component: Grounding

Version: –

Votes: 0

Watchers: 3