[LeafStorm]

Have you looked at Inform? There's a paper on its Web site [1] discussing its approach to modeling the world.

[1] http://inform7.com/learn/papers/

[cpeterso]

I was reminded of Inform and also the world modeling languages for AI systems like Cyc.