Issue 8 in thebeast: Duplicate variables in fully grounded factor cause exception
codesite...@google.com
http://code.google.com/p/thebeast/issues/detail?id=8
New issue report by sebastian.riedel:
What steps will reproduce the problem?
Using the same variable as factor quantifier and inside a cardinality
constraint that is fully grounded in advance.
What is the expected output? What do you see instead?
Should either throw exception and warn me about double use of variable or
use override semantics as in FOL. I get an exception
ava.lang.RuntimeException: Empty FROM list for query SELECT (index := FROM
var_113[(arg_0 := b, arg_1 := formulas:var2)|(index := var_70++, score :=
FROM var_95[(arg_0 := b, arg_1 := formulas:var2)|(score := 0.0)] EXTRACT
score)] EXTRACT index, weight := 1.0) FROM WHERE
at thebeast.nodmem.expression.MemQuery.<init>(MemQuery.java:36)
at
thebeast.nodmem.expression.MemExpressionFactory.createQuery(MemExpressionFactory.java:227)
at thebeast.pml.solve.ilp.ILPGrounder.createLEQQuery(ILPGrounder.java:633)
at
thebeast.pml.solve.ilp.ILPGrounder$1.visitCardinalityConstraint(ILPGrounder.java:232)
at
thebeast.pml.formula.CardinalityConstraint.acceptAtomVisitor(CardinalityConstraint.java:55)
at
thebeast.pml.solve.ilp.ILPGrounder.generateConstraintQuery(ILPGrounder.java:189)
at
thebeast.pml.solve.ilp.IntegerLinearProgram.configureFormula(IntegerLinearProgram.java:227)
at
thebeast.pml.solve.ilp.IntegerLinearProgram.setFullyGround(IntegerLinearProgram.java:550)
at
thebeast.pml.solve.CuttingPlaneSolver.setFullyGround(CuttingPlaneSolver.java:78)
at
thebeast.pml.solve.TestCuttingPlaneSolverLEQInSoftDisjunction.testSolveFullyGroundSome(TestCuttingPlaneSolverLEQInSoftDisjunction.java:152)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:90)
Issue attributes:
Status: Accepted
Owner: sebastian.riedel
Labels: Type-Defect Priority-Medium
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings