Problem
Stenning's (2002) research programme on the teaching of logic and reasoning is described and according to Stenning it is said that "reasoning can be considered as 'the search for systems that make problems tractable'; reasoning is thus 'largely a matter of deciding on a representation'". What connections do you think can be made between this notion and knowledge representation? What might these connections imply about research on logic and reasoning?