The document discusses criticisms of using logical methods in artificial intelligence. It summarizes that logical methods must consider how knowledge will be used. When applied to problems, the QA3 system performs poorly unless the problem is formulated properly. Additionally, knowledge formulation and process modeling are interdependent and must be done simultaneously to be effective. The document also notes challenges with logical frameworks, including expressiveness, efficiency, and that they can be annoying to read.