Thank you for the replies. I was afraid this would impossible task, or huge atleast. There are few bigger knowledge base projects such as Cyc and ConceptNet which try to model actions too, for example http://conceptnet.io/c/en/cake. But they are too random to be usable for any simulation.
Hi,
are there any attempts to make a machine readable definition of most common rules and actions (or a causal model) of physical world? I'm looking more a logical level of modelling, at the same level that human common sense works.
I have some experience on semantic tecnologies and ontologies...