Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine

Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott +2

In spite of the rapidly increasing number of applications of machine learning in various domains, a principled and systematic approach to the incorporation of domain knowledge in t…