Obiettivi formativi
<br />Il corso si propone di illustrare le principali tecniche dirappresentazione della conoscenza in particolare quelle utilizzate per il WebSemantico
Contenuti dell'insegnamento
<br />Conoscenza e risoluzione dei probelmi<br />Rappresentazione dellaconoscenza. Logica del primo ordine.<br />Ragionamento con conoscenzaincerta. <br />Pianificazione<br />Metadati, XML e ResourceDescription Framework. Esempi di metadati. Logica descrittiva<br />Tassonomie e Ontologie<br />Applicazioni al web semantico (OWL)<br />
Bibliografia
<br />M. C.Laconta, L. J. Obrst, K. T. Smith The Semantic Web, Wiley 2003 <br />S. J. Russel P. Norvig Intelligenza Artificiale, Unapproccio moderno, Prentice Hall Utet Libreria1998<br />N. J. Nilsson, Intelligenza Artificiale, Apogeo 2002