PART V ADVANCED TOPICS FOR AI PROBLEM SOLVING 545

13 AUTOMATED REASONING 547

13.0 Introduction to Weak Methods in Theorem Proving 547

13.1 The General Problem Solver and Difference Tables 548

13.2 Resolution Theorem Proving 554

13.3 PROLOG and Automated Reasoning 575

13.4 Further Issues in Automated Reasoning 581

13.5 Epilogue and References 588

13.6 Exercises 589

14 UNDERSTANDING NATURAL LANGUAGE 591

14.0 Role of Knowledge in Language Understanding 591

14.1 Deconstructing Language: A Symbolic Analysis 594

14.2 Syntax 597

14.3 Syntax and Knowledge with ATN Parsers 606

14.4 Stochastic Tools for Language Analysis 616

14.5 Natural Language Applications 623

14.6 Epilogue and References 630

14.7 Exercises 632