عنوان

Theoretical approaches to non-numerical problem solving :

364299976X

9783642999765

b565099

Theoretical approaches to non-numerical problem solving :

[Book]

proceedings of the.

Hermann Balzer

[Place of publication not identified]

Springer

1970

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 x 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.

Hermann Balzer

Hermann Balzer

[Book]

Y