Corso di Rappresentazione della Conoscenza A
Rappresentazione della Conoscenza
A.A. 2007/2008
Corso di Laurea in Specialistica in Ingegneria Informatica
(Prof. Daniele Nardi)
Esercitazioni
Esercitazioni
- 18/1 PROLOG: intro
- 22/1 PROLOG: strutture dati
- 31/1 PROLOG: strutture dati non
lineari
- 5/2 Sistemi esperti in Prolog
- 12/2 OWL ed il semantic web
- 15/2 Rappresentazione della
conoscenza in logiche descrittive
- 20/2 Rappresentazione della
conoscenza in Calcolo delle situazioni
- 27/2 GOLOG
- 5/3 Sistemi-multi-agente
- 11/3 5/3 Sistemi-multi-agente
Ringraziamenti
Il materiale delle esercitazioni è stato realizzato
utilizzando materiale didattico messo a disposizione dagli autori dei
testi e delle dispense utilizzati nel corso.
Compiti per casa
Durante il corso
vengono proposti degli esercizi per casa che lo studente è
tenuto a svolgere in modo autonomo e consegnare entro la scadenza
stabilita. . Lo svolgimento degli esercizi per casa può
comportare l'esonero dalle corrispondenti parti dell'esame.
- Logica e rappresentazione della conoscenza (consegna il 12/2/2008)
- Rappresentazione della conoscenza tassonomica (consegna il 26/2/2008)
- Rappresentazione della conoscenza e ragionamento su azioni
- Sistemi multi-agente
Home page