search

eriq-augustine / psl

The PSL software from the LINQS lab.
Apache License 2.0
4 stars 7 forks source link

Weight References #170

Closed eriq-augustine closed 5 years ago

eriq-augustine commented 6 years ago

Right now, weights get copied through to ground rules and terms.

Instead, we can have each ground rule contain a reference to its rule and every term contain a reference to its ground rule. This will eliminate the need for updating weights in the term stores. This will also remove the need to the rule -> ground rule mapping in MemoryTermStore. (ADMMReasoner still uses this to compute dual incompatibility, but I don't like that method anyways.)

eriq-augustine commented 5 years ago

Complete in 3aa70ed9e160e3f1c44c3426dc6f0d5bac147b62.