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/