Symbolic Framework for Modeling and Identification of Robot Dynamics