This book is about abduction, 'the logic of Sherlock Holmes', and about how some kinds of abductive reasoning can be programmed in a computer. The work brings together Artificial Intelligence and philosophy of science and is rich with implications for other areas such as, psychology, medical informatics, and linguistics. It also has subtle implications for evidence evaluation in areas such as accident investigation, confirmation of scientific theories, law, diagnosis, and financial auditing. The book is about certainty and the logico-computational foundations of knowledge; it is about inference in perception, reasoning strategies, and building expert systems.

‘This book is rich in detail and worthy of study either by those interested in the computational problems of abduction or by those interested in the transformation of philosophical questions about knowledge into ‘technical questions about the performance of information-processing systems’.

David Green Source: The Quarterly Journal of Experimental Psychology

‘The book provides a good general introduction to the effort of building abductive systems …’.

Hilan Bensusan Source: AISB Quarterly