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
296 stars 100 forks source link

Violation of Constraints #211

Open eriq-augustine opened 4 years ago

eriq-augustine commented 4 years ago

Issue by eriq-augustine Tuesday May 22, 2018 at 22:07 GMT Originally opened as https://github.com/eriq-augustine/psl/issues/164

Sabina has reported a case where she has some hard constraints being violated. She said that there were around 5 arithmetic constraints (functional I believe). Some of the ground rules were summing up to 0.67.

This could be because ADMM could not find a feasible solution. We need to look into this and also make sure we degrade gracefully from infeasible solutions.

eriq-augustine commented 4 years ago

Comment by eriq-augustine Monday Jul 23, 2018 at 02:23 GMT

I am downing the priority until we can get some reproduction or more details.

eriq-augustine commented 4 years ago

Comment by eriq-augustine Friday Oct 05, 2018 at 14:59 GMT

I added additional logging to ADMM reasoner to show when a program is infeasible.