Razonamieto abductivo en lgica clsica

Conținutul cărții:

Raționamentul abductiv a primit o atenție deosebită în ultimii ani datorită aplicațiilor sale în diverse discipline, de la epistemologie la lingvistică și inteligență artificială. Această carte prezintă unele dintre cele mai populare abordări ale abducției în cadrul logicii clasice, atât propoziționale, cât și cu predicate.

Dat fiind interesul abducției în programarea logică, cartea include un capitol dedicat aplicațiilor abducției în raționamentul automat. De asemenea, este furnizat un raționament abductiv scris în Prolog.

Anexele conțin codul sursă, precum și o scurtă introducere în programarea logică. Pe parcursul cărții sunt incluse numeroase exemple de probleme abductive rezolvate cu fiecare dintre sistemele prezentate.