ABSTRACT
In this chapter, we will formalize the arguments of Chapter 2, using the tools developed in Chapter 5. In particular, we prove that BTs generalize decision trees (Section 6.1), the subsumption architecture (Section 6.2), sequential behavior compositions (Section 6.3) and the teleo-reactive programs (Section 6.4). Some of the results of this chapter were previously published in the journal paper [13].
