<story><title>The Reasoned Lisper</title><url>https://chriskohlhepp.wordpress.com/the-reasoned-lisper/</url><text>Bridging Discrete and Continuous Logic in Automated Reasoning Systems&lt;p&gt;https:&amp;#x2F;&amp;#x2F;chriskohlhepp.wordpress.com&amp;#x2F;the-reasoned-lisper&amp;#x2F;</text></story><parent_chain></parent_chain><comment><author>tlarkworthy</author><text>Wow this is space age stuff. Combining hard logical inference with probability is very exciting. We can codify background knowledge like physical laws to speed up the process of learning. At the moment NN have to have tons of training data just to pin down various truisms we already know. They learn from a blank slate everytime which is not exploiting all the background knowledge we already know. Well, convolution neural nets kind of encode transnational invariance in their architecture, but we should be able to be more general, this is the path to that!</text></comment>
<story><title>The Reasoned Lisper</title><url>https://chriskohlhepp.wordpress.com/the-reasoned-lisper/</url><text>Bridging Discrete and Continuous Logic in Automated Reasoning Systems&lt;p&gt;https:&amp;#x2F;&amp;#x2F;chriskohlhepp.wordpress.com&amp;#x2F;the-reasoned-lisper&amp;#x2F;</text></story><parent_chain></parent_chain><comment><author>mark_l_watson</author><text>Nice article. I haven&amp;#x27;t experimented with PowerLoom in many years. I will check it out again. I have a JRuby wrapper for PowerLoom on github and I should make sure that works with the latest snapshot.&lt;p&gt;BTW, there was a mention of PowerLoom on the iPad, but I searched for it in the Apple Store and couldn&amp;#x27;t find it.</text></comment>