Support for Other Convex Logical Relaxations

[eriq-augustine]

Issue by eriq-augustine
Thursday Jan 24, 2019 at 18:19 GMT
Originally opened as eriq-augustine#193

---

Ideally, PSL would be able to support several logical relaxations.
However, a change at this fundamental level would percolate throughout several areas in the code.
We would have to first build up a decent abstraction layer, and then implement the other relaxations.

Off the top of my head, places that I think would need work:

• Grounding (different rules for triviality would be in play)
• Term Generation (we should be able to use any convex relations, but how we build the terms will differ)

[eriq-augustine]

Comment by eriq-augustine
Sunday Mar 10, 2019 at 20:04 GMT

---

See:

• https://arxiv.org/abs/1606.08896
• https://arxiv.org/abs/1611.06631

We have also had some interest in non-convex relaxations.