L’intelligenza artificiale ha cercato per molti anni, ma con scarsi risultati, di simulare il ragionamento deduttivo.

Discussion