A Bridge
Semantics:
n
Probability distribution over possible worlds
n
Worlds = first-order interpretations
Representation (syntax):
n
Probabilistic relational models (PRMs)
[Halpern]
Probabilistic
models
Relational
logic
AI has witnessed a long standing “conflict”: logic versus probability.
I would like to claim that these are complementary approaches, not conflicting ones, and that we can gain a lot by putting them together.