Symbolic Representation Of dynamiC Knowledge