- Atom: [A], [B]
- And: [A∧B] = [A][B] (assuming A and B are independent, if A and B share one constant then this is clearly violated, there isn't a solution for such cases yet)
- Or: [A∨B] = [A]+[B]−[A][B]
- Implication: [A⇒B] = [A]([B]−1)+1
Therefore, if the probability of atoms is defined using a differentiable function, the probability of any formula is generally differentiable too.
Gradient-based optimization methods can be applied to learn embeddings jointly from atoms and other logic formulae.
- Rocktäschel, T., Singh, S., & Riedel, S. (2015). Injecting Logical Background Knowledge into Embeddings for Relation Extraction. In Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (pp. 1119–1129). Association for Computational Linguistics.