RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors