Unifying Logical and Statistical AI with Markov Logic
Markov logic can be used as a general framework for joining logical and statistical AI.
Pedro Domingos
Advertisement
Author Archives
Many representation schemes combining first-order logic and probability have been proposed in recent years. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations).
A Few Useful Things to Know About Machine Learning
Tapping into the "folk knowledge" needed to advance machine learning applications.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved