books.google.co.uk - The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help of traditional notions of reasoning, such as classical logic. Understanding the contribution of...http://books.google.co.uk/books/about/Model_Based_Reasoning.html?id=4fz-HWgO78QC&utm_source=gb-gplus-shareModel-Based Reasoning