These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob- lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there).