Denne boken utforsker emnet abduksjon, også kjent som 'logikken til Sherlock Holmes', samt hvordan visse typer abduktiv resonnement kan implementeres i datamaskiner. Verket forener kunstig intelligens med vitenskapsfilosofi, og har betydelige implikasjoner innenfor områder som psykologi, medisinsk informasjonsteknologi og lingvistikk. I tillegg antyder boken subtile men viktige henvisninger til bevisvurdering i sammenhenger som ulykksesundersøkelser, bekreftelse av vitenskapelige teorier, juss, diagnose og finansiell revisjon. Boken tar for seg temaer knyttet til sikkerhet og de logisk-komputasjonelle fundamentene for kunnskap, samt abduktiv resonnement i persepsjon, strategier for resonnement og utvikling av ekspertsystemer.
