German O.V. Problem Solving: Methods, Programming and Future Concepts

Elsevier, 1995 — 434 p. — (Studies in Computer Science and Artificial Intelligence 12) — ISBN: 978-0-444-82226-0, 0444822267.Problem-solving is the very area of artificial intelligence (AI) that, probably, will never result in a complete set of formalized theories, a pragmatic philosophy, or a "universal" applied discipline. Studying questions concerning this area encompasses different concepts, models, and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem-solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors, and other paradigms. Different groups of readers such as mathematicians, specialists in computer sciences, and programmers should find this title of interest. Post-graduates and students specializing in AI and applied mathematics should also find the work useful.Problem classification. Introduction to the solving methods.
Elements of problem-solving theory: Application of cutting strategies.
Solving discrete optimization problems based on ψ-transform method.
Weak methods and heuristic reasoning.
Logic-based problem solvers: Approaches and new methods.
Programming concepts in problem-solving.
Future concepts: Some philosophical issues.