Rappresentazione della conoscenza nei sistemi esperti

Inquadrata la tematica nell'ambito dei Sistemi Esperti e dell'Intelligenza Artificiale, si descrivono i principali formalismi di rappresentazione della Conoscenza (regole di produzione, oggetti strutturati e logica dei predicati) e si esaminano le loro capacità in termini di adeguatezza logica, cioè, idoneità a descrivere ciò che si vuole trattare; potere euristico, cioè, possibilità di fornire la conoscenza giusta al momento giusto e convenienza notazionale, cioè, facilità nel comprendere le convenzioni su cui i formalismi si basano. Si presentano quindi le caratteristiche di alcuni linguaggi rappresentativi degli schemi descritti e si delineano le aree di ricerca corrente.