Epistemic PLN

From OpenCog
Jump to: navigation, search

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

https://github.com/sumitsourabh/opencog/tree/patch-1/opencog/reasoning/pln/rules/epistemic-reasoning

(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...