Discussion

This section examines how ALFA tackles some of the issues discussed in Chapters 2 and 3 with regard to representing and reasoning about different mental attitudes, time, actions and effects of actions. It also discusses how ALFA can implement user instructions discussed in Section 1.3.10.