Logica, Intelligenza Artificiale e Rappresentazione della Conoscenza