This is pretty interesting. How would this be different from traditional knowledge base programs? Is it that you are explicitly modelling beliefs and actions and things like that?