Theoretical Approaches to Non-Numerical Problem Solving : Proceedings of the IV Systems Symposium at Case Western Reserve University

I: Overviews -- An Overview of Mechanical Theorem Proving -- Game Playing Programs: An Approach and An Overview -- GPS and Decision Making: An Overview -- Natural Language Question Answering Systems: 1969 -- II: Problems in Foundations -- The Role of Weltanschauung in Problem Solving and Inquiry -- Remarks on Mathematics and Computers -- Systems Theoretic Approach to Formal Theory of Problem Solving -- On the Representation of Problems and Goal-Directed Procedures for Computers -- III: Current Research -- Heuristic Search Programs -- Dynamic Programming and Problem-Solving -- Computer Programs Can Be Proved Correct -- A Computer-Assisted Study of GO on M × N Boards -- Stating Problems as Procedures to a General Problem Solving Program -- IV: New Applications -- Remarks on the Relationship Between Artificial Intelligence and Cognitive Psychology -- A Heuristic Program for Solving Scientific Inference Problem: Summary of Motivation and Implementation -- Heuristic Techniques for Solving Large Combinatorial Problems on a Computer -- Help Stamp Out Programming -- The Relevance of Robot Research to Artificial Intelligence.