Epistemic PLN

From OpenCog

Someone needs to make some test cases for these new "modal logic" PLN rules


(made by a GSoC student from last summer).... It would also be cool to apply these in the Minecraft world, to make one game character reason about what another game character knows. But this would require a bunch of Minecraft-character-control related work too, of course...