Abdukčnému uvažovaniu sa v posledných rokoch venuje veľká pozornosť vďaka jeho aplikáciám v rôznych disciplínach, od epistemológie cez lingvistiku až po umelú inteligenciu. Táto kniha predstavuje niektoré z najpopulárnejších prístupov k abdukcii v rámci klasickej logiky, výrokovej aj predikátovej.
Vzhľadom na záujem o abdukciu v logickom programovaní kniha obsahuje kapitolu venovanú aplikáciám abdukcie v automatickom uvažovaní. K dispozícii je aj abdukčný reasoner napísaný v jazyku Prolog.
Prílohy obsahujú zdrojový kód, ako aj krátky úvod do logického programovania. V celej knihe sú uvedené početné príklady abdukčných problémov riešených pomocou každého z predstavených systémov.