opencog/opencog — pull request #737 by sebastianruder (2014-05-12 11:33:20+00:00)
Title: Created test file with real world reasoning example

File can act as a starting point for RelEx2Logic/PLN test suite, added rwr temporal inference example

As per the talk I had with Cosmo yesterday, May 11th, about the implementation of a comprehensive test suite for RelEx2Logic and PLN. One difficulty would be in constructing reasonable PLN examples so falling back on already existing examples taken from the Real-World Reasoning book by Ben seemed like the sensible choice here. These can be leveraged to act as tests for the RelEx2Logic rules as well.