Reasoning about Goal-Plan Trees in Autonomous Agents- Development of Petri net and Constraint-Based Approaches with Resulting Performance Comparisons رسالة دكتوراه