Combine Logical and Arithmetic Rules

[eriq-augustine]

Issue by eriq-augustine
Thursday Apr 25, 2019 at 17:47 GMT
Originally opened as eriq-augustine#207

---

Right now, the two types of rules are distinct and have their own grammar and infrastructure.
However, we should think about ways that we can combine them.
Arithmetic rules can sometimes be more expressive.

For example, what if we could use an aggregation (like mean) in a logical rule.

If x's friends are happy, x is happy as well:

1 / |y| * Friends(x, +y) & Happy(y) -> Happy(x)

Or using a blocking predicate in an arithmetic rule:

Block(x, b) & Block(y, b) & Something(x, y) <= 1.0