Add support for FORALL quantifier to Python FOL implementation
opcode81 opened this issue · 1 comments
opcode81 commented
Currently only EXIST is implemented. While the implicit FORALL operator as used by MLNs is implemented in the official way (parameter sharing), the explicit FORALL operator (which produces a conjunction and applies an attached weight to it) could still be added for convenience.
(It can be replaced with negated EXIST as a workaround.)