Lazy grounding produces non-wellfounded model

Issue #859 open

Joachim Jansen created an issue 2014-11-26

Attached files where lazy grounding is used returns a model for the definition

    define {
        !x : Path(x) <- ?z: Edge(x,z) & Path(z).
    }

This seems impossible to me.

Comments (8)

Bart Bogaerts
- attached test.idp
Geisoleerde bug
- 2014-11-26T15:07:34+00:00
Joachim Jansen reporter
Geïsoleerde bug produceert geen modellen bij mij. Lijkt me iets heuristisch?
- 2014-11-26T15:56:22+00:00
Bart Bogaerts
Bij mij geeft die een model :p zit je op de branchrebased_lazy-fixes
- 2014-11-26T16:02:45+00:00
Joachim Jansen reporter
Sí

Ik blijf een model krijgen bij de grotere files.
- 2014-11-26T16:07:53+00:00
Joachim Jansen reporter
negeer maar wat ik zei, ik kan de bug ook reproduceren
- 2014-11-26T17:37:30+00:00
Joachim Jansen reporter
- changed status to closed
This only occurs in a non-master branch. It has been solved on the branch it presented a problem on
- 2014-12-01T14:11:07+00:00
Bart Bogaerts
- changed status to open
Hmmm... "Has been solved"? Is de echte oorzaak van de bug ontdekt?

De fix die ik voorstelde (revert een of andere commit) is geen goede oplossing. Ik denk dat die commit conceptueel juist is. Hij legt de bug bloot, maar is volgens mijn buikgevoel wel juist. Ik zou deze bug pas "gefixet" verklaren indien ofwel mijn buikgevoel weerlegd wordt ofwel de echte onderliggende bug gevonden wordt.
- 2014-12-01T14:26:36+00:00
Joachim Jansen reporter
Dan had ik dat verkeerd verstaan. Ik dacht dat je beweerde dat de commit (die ik dan gerevert heb) conceptueel niet juist was. Deze issue blijft voorlopig open dus.
- 2014-12-01T14:34:53+00:00
Log in to comment