Machine Intelligence 12: Towards an Automated Logic of Human Thought

The twelfth volume of this well-known series of review volumes in artificial intelligence covers the following subjects: mechanics of knowledge processing, inductive formation of programs and descriptions, optimality and error in learning systems, qualitative representations of knowledge, and applications and models of knowledge acquisition. The associated workshop took place in Tallin, Estonia in October 1987.