search

linqs / psl

The PSL software from the University of Maryland and the University of California Santa Cruz
http://psl.linqs.org
Apache License 2.0
298 stars 100 forks source link

[CLOSED] Arithmetic Rules in Lazy Inference #160

Closed eriq-augustine closed 5 years ago

eriq-augustine commented 5 years ago

Issue by eriq-augustine Sunday Oct 22, 2017 at 20:11 GMT Originally opened as https://github.com/eriq-augustine/psl/issues/113

Currently (and since the file was added), the atom event code in AbstractArithmeticRule just throws an UnsupportedOperationException(). I have never dug into the details of the atom event framework, but from a high level it seems like we should be able to support arithmetic rules.

We need to see if this is just a matter of implementation, or are there theoretical issues?

eriq-augustine commented 5 years ago

Comment by eriq-augustine Tuesday Nov 07, 2017 at 01:44 GMT

Arithmetic rules are now supported in the lazy-grounding branch and are scheduled to be merged into sandia-redesign and then develop within the week.