Mechanizing Hypothesis Formation

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