Rozumowanie abdukcyjne zyskało w ostatnich latach wiele uwagi dzięki swoim zastosowaniom w różnych dyscyplinach, od epistemologii przez językoznawstwo po sztuczną inteligencję. Niniejsza książka przedstawia niektóre z najpopularniejszych podejść do abdukcji w ramach logiki klasycznej, zarówno zdaniowej, jak i predykatowej.
Biorąc pod uwagę zainteresowanie abdukcją w programowaniu logicznym, książka zawiera rozdział poświęcony zastosowaniom abdukcji w automatycznym rozumowaniu. Dostarczony jest również abdukcyjny argumentator napisany w języku Prolog.
Załączniki zawierają kod źródłowy, a także krótkie wprowadzenie do programowania logicznego. Książka zawiera liczne przykłady problemów abdukcyjnych rozwiązanych za pomocą każdego z przedstawionych systemów.