search

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

Rule Converter, incorrect addition of free variables #6

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
- Incorrect translation (incorrect addition of free variable):
  entityOf(m1) = obama;
  ->
  {{ ( on ) ([ if entityOf(m1, obama) then 1 else 0 ]) | X0 = obama }} 

need to fix fix current hack in RuleConverter.createParfactor().

Original issue reported on code.google.com by ctjoreilly@gmail.com on 11 Apr 2013 at 1:00

GoogleCodeExporter commented 8 years ago 
Likely the fix needs to be applied to the disembed constraints logic:

http://code.google.com/p/aic-praise/wiki/PseudoCodeDisembedConstraints

as the createParfactor routine should remain trivial to implement.

Original comment by ctjoreilly@gmail.com on 10 Jun 2013 at 10:46

GoogleCodeExporter commented 8 years ago 
Fix applied SVN revision=788.

Original comment by ctjoreilly@gmail.com on 11 Jun 2013 at 12:33

GoogleCodeExporter commented 8 years ago

Original comment by ctjoreilly@gmail.com on 11 Jun 2013 at 6:02

GoogleCodeExporter commented 8 years ago 
Applied cleaner fix SVN revision=791.

Original comment by ctjoreilly@gmail.com on 11 Jun 2013 at 10:05