Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

by P. Hajek and T. Havranek

Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE',"Can computers think?" is specified to the question,"Can computers formulate and justify hypotheses?" Various attempts have been made to answer the latter question positively. The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive reasoning. Our ultimate question is:...

• Format: Paperback
• Language: English
• ISBN: 3540087389
• ISBN13: 9783540087380
• Release Date: April 1978
• Publisher: Springer
• Length: 398 Pages
• Weight: 1.46 lbs.
• Dimensions: 0.8" x 6.7" x 9.6"